Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

3017 Publications


2016 | Conference Paper | IST-REx-ID: 1428 | OA
M. Könenberg, T. Moser, R. Seiringer, and J. Yngvason, “Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential,” in Journal of Physics: Conference Series, Shanghai, China, 2016, vol. 691, no. 1.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1429 | OA
C. Husko et al., “Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides,” Nature Communications, vol. 7, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1431 | OA
A. Tartally, A. Kelager, M. Fürst, and D. Nash, “Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon,” PeerJ, vol. 2016, no. 3, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1432 | OA
R. K. Mishra, S. Kim, J. Guzmán, and P. M. Jonas, “Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks,” Nature Communications, vol. 7, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1434 | OA
Z. Bao, L. Erdös, and K. Schnelli, “Local stability of the free additive convolution,” Journal of Functional Analysis, vol. 271, no. 3, pp. 672–719, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1435 | OA
J. Guzmán and Z. Gerevich, “P2Y receptors in synaptic transmission and plasticity: Therapeutic potential in cognitive dysfunction,” Neural Plasticity, vol. 2016, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1436 | OA
V. Bach, S. Breteaux, S. P. Petrat, P. Pickl, and T. Tzaneteas, “Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction,” Journal de Mathématiques Pures et Appliquées, vol. 105, no. 1, pp. 1–30, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1437 | OA
K. Chatterjee, A. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Algorithms for algebraic path properties in concurrent systems of constant treewidth components,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 733–747.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1438 | OA
K. Chatterjee, H. Fu, P. Novotny, and R. Hasheminezhad, “Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 327–342.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1439 | OA
C. Dragoi, T. A. Henzinger, and D. Zufferey, “PSYNC: A partially synchronous language for fault-tolerant distributed algorithms,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 400–415.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1441 | OA
E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, and H. L. Janovjak, “A phytochrome sensory domain permits receptor activation by red light,” Angewandte Chemie - International Edition, vol. 55, no. 21, pp. 6339–6342, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1446 | OA
M. Calatrava Moreno, T. Auzinger, and H. Werthner, “On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data,” Scientometrics, vol. 107, no. 1, pp. 213–232, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1448 | OA
M. Fathi and J. Maas, “Entropic Ricci curvature bounds for discrete interacting systems,” The Annals of Applied Probability, vol. 26, no. 3, pp. 1774–1806, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1475 | OA
J. Toshima et al., “Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton,” eLife, vol. 5, no. February 2016, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1476 | OA
J. Toshima et al., “Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis,” Journal of Cell Science, vol. 129, no. 2, pp. 367–379, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477 | OA
K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially observable Markov decision processes with ω-regular objectives,” Journal of Computer and System Sciences, vol. 82, no. 5, pp. 878–911, 2016.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1478 | OA
R. Seiringer and S. Warzel, “Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas,” New Journal of Physics, vol. 18, no. 3, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1479 | OA
S. Krenn, K. Z. Pietrzak, A. Wadia, and D. Wichs, “A counterexample to the chain rule for conditional HILL entropy,” Computational Complexity, vol. 25, no. 3, pp. 567–605, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1480 | OA
M. Michałek, B. Sturmfels, C. Uhler, and P. Zwiernik, “Exponential varieties,” Proceedings of the London Mathematical Society, vol. 112, no. 1, pp. 27–56, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1482 | OA
M. Adibi, S. Yoshida, D. Weijers, and C. Fleck, “Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization,” PLoS One, vol. 11, no. 2, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1484 | OA
X. Chen, S. Wu, Z. Liu, and J. Friml, “Environmental and endogenous control of cortical microtubule orientation,” Trends in Cell Biology, vol. 26, no. 6, pp. 409–419, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1485 | OA
D. De Martino, “Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis,” Physical Biology, vol. 13, no. 1, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1486 | OA
C. Hainzl and R. Seiringer, “The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties,” Journal of Mathematical Physics, vol. 57, no. 2, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1487 | OA
N. Grion, A. Akrami, Y. Zuo, F. Stella, and M. Diamond, “Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination,” PLoS Biology, vol. 14, no. 2, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1488 | OA
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis,” PLoS Biology, vol. 14, no. 2, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1489 | OA
O. H. Ajanki, L. Erdös, and T. H. Krüger, “Local spectral statistics of Gaussian matrices with correlated entries,” Journal of Statistical Physics, vol. 163, no. 2, pp. 280–302, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1490 | OA
E. Russo et al., “Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels,” Cell Reports, vol. 14, no. 7, pp. 1723–1734, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1491 | OA
M. Lewin, P. Nam, and N. Rougerie, “The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases,” Transactions of the American Mathematical Society, vol. 368, no. 9, pp. 6131–6157, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1492 | OA
P. Marhavý et al., “Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation,” Genes and Development, vol. 30, no. 4, pp. 471–483, 2016.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1493 | OA
S. P. Petrat and P. Pickl, “A new method and a new scaling for deriving fermionic mean-field dynamics,” Mathematical Physics, Analysis and Geometry, vol. 19, no. 1, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1496 | OA
P. Amaro et al., “Relativistic evaluation of the two-photon decay of the metastable 1s22s2p3P0 state in berylliumlike ions with an effective-potential model,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 93, no. 3, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1518 | OA
K. Lohse, M. Chmelik, S. Martin, and N. H. Barton, “Efficient strategies for calculating blockwise likelihoods under the coalescent,” Genetics, vol. 202, no. 2, pp. 775–786, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1522 | OA
S. Avvakumov, “The classification of certain linked 3-manifolds in 6-space,” Moscow Mathematical Journal, vol. 16, no. 1, pp. 1–25, 2016.
View | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1523 | OA
A. Gundert and U. Wagner, “On topological minors in random simplicial complexes,” Proceedings of the American Mathematical Society, vol. 144, no. 4, pp. 1815–1828, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1524 | OA
A. Beica, C. C. Guet, and T. Petrov, “Efficient reduction of kappa models by static inspection of the rule-set,” presented at the HSB: Hybrid Systems Biology, Madrid, Spain, 2016, vol. 9271, pp. 173–191.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526 | OA
T. A. Henzinger, J. Otop, and R. Samanta, “Lipschitz robustness of timed I/O systems,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 250–267.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1529 | OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” Artificial Intelligence, vol. 234, pp. 26–48, 2016.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 100 | OA
D. Aasen et al., “Milestones toward Majorana-based quantum computing,” Physical Review X, vol. 6, no. 3, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 101 | OA
S. M. Albrecht et al., “Exponential protection of zero modes in Majorana islands,” Nature, vol. 531, no. 7593, pp. 206–209, 2016.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 102 | OA
R. Mishmash, D. Aasen, A. P. Higginbotham, and J. Alicea, “Approaching a topological phase transition in Majorana nanowires,” Physical Review B, vol. 93, no. 24, 2016.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
K. Chatterjee, W. Dvorák, M. Henzinger, and V. Loitzenbauer, “Conditionally optimal algorithms for generalized Büchi Games,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow, Poland, 2016, vol. 58.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1069 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On the skolem problem for continuous linear dynamical systems,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
K. Chatterjee and L. Doyen, “Computation tree logic for synchronization properties,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs,” presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark, 2016, vol. 57.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Ł. Łangowski et al., “Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells,” Cell Discovery, vol. 2, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1082 | OA
M. J. Chalk, O. Marre, and G. Tkacik, “Relevant sparse codes with variational information bottleneck,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 1965–1973.
View | Files available | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1090 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted limit-average automata of bounded width,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland, 2016, vol. 58.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1093 | OA
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Linear distances between Markov chains,” presented at the CONCUR: Concurrency Theory, Quebec City; Canada, 2016, vol. 59.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095 | OA
A. Haas et al., “Local linearizability for concurrent container-type data structures,” in Leibniz International Proceedings in Informatics, Quebec City; Canada, 2016, vol. 59.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1097 | OA
T. Du, A. Schulz, B. Zhu, B. Bickel, and W. Matusik, “Computational multicopter design,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications