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.

5758 Publications


2015 | Journal Article | IST-REx-ID: 1559 | OA
R. Ibsen-Jensen, K. Chatterjee, and M. Nowak, “Computational complexity of ecological and evolutionary spatial dynamics,” PNAS, vol. 112, no. 51, pp. 15636–15641, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1560
M. Hons and M. K. Sixt, “The lymph node filter revealed,” Nature Immunology, vol. 16, no. 4, pp. 338–340, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1561
K. Heger et al., “A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors,” European Journal of Immunology, vol. 45, no. 6, pp. 1614–1620, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1562
P. Grones et al., “Auxin-binding pocket of ABP1 is crucial for its gain-of-function cellular and developmental roles,” Journal of Experimental Botany, vol. 66, no. 16, pp. 5055–5065, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1563
G. Graff and P. Pilarczyk, “An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds,” Topological Methods in Nonlinear Analysis, vol. 45, no. 1, pp. 273–286, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1564 | OA
M. Gilson, C. Savin, and F. Zenke, “Editorial: Emergent neural computation from the interaction of different forms of plasticity,” Frontiers in Computational Neuroscience, vol. 9, no. 11, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1565 | OA
D. Gavello, D. H. Vandael, S. Gosso, E. Carbone, and V. Carabelli, “Dual action of leptin on rest-firing and stimulated catecholamine release via phosphoinositide 3-kinase-riven BK channel up-regulation in mouse chromaffin cells,” Journal of Physiology, vol. 593, no. 22, pp. 4835–4853, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1566 | OA
À. Gómez Sicilia, M. K. Sikora, M. Cieplak, and M. Carrión Vázquez, “An exploration of the universe of polyglutamine structures,” PLoS Computational Biology, vol. 11, no. 10, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1567
H. Edelsbrunner, “Shape, homology, persistence, and stability,” vol. 9411. Springer, 2015.
View
 

2015 | Conference Paper | IST-REx-ID: 1568
O. Dunaeva, H. Edelsbrunner, A. Lukyanov, M. Machin, and D. Malkova, “The classification of endoscopy images with persistent homology,” in Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 2015, p. 7034731.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1569 | OA
S. Doyle et al., “An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana,” PNAS, vol. 112, no. 7, pp. E806–E815, 2015.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1570 | OA
R. Der and G. S. Martius, “Novel plasticity rule can explain the development of sensorimotor intelligence,” PNAS, vol. 112, no. 45, pp. E6224–E6232, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1571
M. De Vos, A. Dawid, V. Šunderlíková, and S. Tans, “Breaking evolutionary constraint with a tradeoff ratchet,” PNAS, vol. 112, no. 48, pp. 14906–14911, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1572 | OA
M. Correggi, A. Giuliani, and R. Seiringer, “Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet,” Communications in Mathematical Physics, vol. 339, no. 1, pp. 279–307, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1573 | OA
T. Chen, C. Hainzl, N. Pavlović, and R. Seiringer, “Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti,” Communications on Pure and Applied Mathematics, vol. 68, no. 10, pp. 1845–1884, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1574 | OA
Q. Chen et al., “A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development,” Nature Communications, vol. 6, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1575 | OA
M. Chabaud et al., “Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells,” Nature Communications, vol. 6, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1576 | OA
S. A. Cepeda Humerez, G. Rieckh, and G. Tkacik, “Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation,” Physical Review Letters, vol. 115, no. 24, 2015.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1577 | OA
A. Carvalho, B. Vicoso, C. Russo, B. Swenor, and A. Clark, “Birth of a new gene on the Y chromosome of Drosophila melanogaster,” PNAS, vol. 112, no. 40, pp. 12450–12455, 2015.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1578
T. Cao, H. Edelsbrunner, and T. Tan, “Triangulations from topologically correct digital Voronoi diagrams,” Computational Geometry, vol. 48, no. 7, pp. 507–519, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1580 | OA
O. Brenes, D. H. Vandael, E. Carbone, P. Montarolo, and M. Ghirardi, “Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons,” Neuroscience, vol. 311, pp. 430–443, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1581
M. T. Bollenbach and C.-P. J. Heisenberg, “Gradients are shaping up,” Cell, vol. 161, no. 3, pp. 431–432, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1582 | OA
T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader, “Weighted straight skeletons in the plane,” Computational Geometry: Theory and Applications, vol. 48, no. 2, pp. 120–133, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1583 | OA
T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader, “A simple algorithm for computing positively weighted straight skeletons of monotone polygons,” Information Processing Letters, vol. 115, no. 2, pp. 243–247, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1584 | OA
T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader, “Reprint of: Weighted straight skeletons in the plane,” Computational Geometry: Theory and Applications, vol. 48, no. 5, pp. 429–442, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1585
Z. Bao, G. Pan, and W. Zhou, “Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices,” IEEE Transactions on Information Theory, vol. 61, no. 6, pp. 3413–3426, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1586
A. Angermayr, A. Gorchs, and K. Hellingwerf, “Metabolic engineering of cyanobacteria for the synthesis of commodity products,” Trends in Biotechnology, vol. 33, no. 6, pp. 352–361, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1587 | OA
P. Amaro et al., “Quantum interference shifts in laser spectroscopy with elliptical polarization,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 92, no. 6, p. 062506, 2015.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1588
S. Altmeyer, Y. Do, and Y. Lai, “Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows,” Physical Review E, vol. 92, no. 5, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1589 | OA
S. Altmeyer, Y. Do, and Y. Lai, “Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system,” Scientific Reports, vol. 5, 2015.
View | Files available | DOI
 

2015 | Book Chapter | IST-REx-ID: 1590 | OA
O. Aichholzer et al., “Representing directed trees as straight skeletons,” in Graph Drawing and Network Visualization, vol. 9411, Springer, 2015, pp. 335–347.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1591 | OA
M. Adamowski and J. Friml, “PIN-dependent auxin transport: Action, regulation, and evolution,” Plant Cell, vol. 27, no. 1, pp. 20–32, 2015.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1593 | OA
P. Žádníková, D. Smet, Q. Zhu, D. Van Der Straeten, and E. Benková, “Strategies of seedlings to overcome their sessile nature: Auxin in mobility control,” Frontiers in Plant Science, vol. 6, no. 4, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1594
V. Forejt, J. Krčál, and J. Kretinsky, “Controller synthesis for MDPs and frequency LTL\GU,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji, 2015, vol. 9450, pp. 162–177.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1595 | OA
R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity,” presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA, 2015, vol. 9411, pp. 99–110.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1596 | OA
R. Fulek and R. Radoičić, “Vertical visibility among parallel polygons in three dimensions,” vol. 9411. Springer, pp. 373–379, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1598 | OA
K. Chatterjee, M. Joglekar, and N. Shah, “Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives,” Theoretical Computer Science, vol. 573, no. 3, pp. 71–89, 2015.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1601 | OA
T. Babiak et al., “The Hanoi omega-automata format,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 479–486.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1602 | OA
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, and P. Goyal, “Faster algorithms for algebraic path properties in recursive state machines with constant treewidth,” ACM SIGPLAN Notices, vol. 50, no. 1, pp. 97–109, 2015.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1603 | OA
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, and J. Kretinsky, “Counterexample explanation by learning small strategies in Markov decision processes,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 158–177.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1604
K. Chatterjee, A. Pavlogiannis, and Y. Velner, “Quantitative interprocedural analysis,” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT , vol. 50, no. 1, pp. 539–551, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1605 | OA
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, and R. Grosu, “Abstraction-based parameter synthesis for multiaffine systems,” presented at the HVC: Haifa Verification Conference, Haifa, Israel, 2015, vol. 9434, pp. 19–35.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1606
L. Nguyen, C. Schilling, S. Bogomolov, and T. Johnson, “Runtime verification for hybrid analysis tools,” vol. 9333. Springer, pp. 281–286, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1607 | OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for quantitative verification in constant treewidth graphs,” presented at the CAV: Computer Aided Verification, San Francisco, CA, USA, 2015, vol. 9206, pp. 140–157.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1609 | OA
K. Chatterjee, L. Doyen, and M. Vardi, “The complexity of synthesis from probabilistic components,” vol. 9135. Springer, pp. 108–120, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1610
K. Chatterjee, T. A. Henzinger, R. Ibsen-Jensen, and J. Otop, “Edit distance for pushdown automata,” vol. 9135, no. Part II. Springer, pp. 121–133, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1611 | OA
J. Whitfield et al., “Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction,” Protein Science, vol. 24, no. 9, pp. 1412–1422, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1614 | OA
M. Strüber, P. M. Jonas, and M. Bartos, “Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells,” PNAS, vol. 112, no. 4, pp. 1220–1225, 2015.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1615 | OA
M. Hammer et al., “Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism,” Cell Reports, vol. 13, no. 3, pp. 516–523, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1618 | OA
C. Veldkamp et al., “Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites,” Biochemistry, vol. 54, no. 27, pp. 4163–4166, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1619 | OA
G. Chevereau et al., “Quantifying the determinants of evolutionary dynamics leading to drug resistance,” PLoS Biology, vol. 13, no. 11, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1623 | OA
P. Hammar et al., “Single-cell screening of photosynthetic growth and lactate production by cyanobacteria,” Biotechnology for Biofuels, vol. 8, no. 1, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1624 | OA
A. Pavlogiannis, K. Chatterjee, B. Adlam, and M. Nowak, “Cellular cooperation with shift updating and repulsion,” Scientific Reports, vol. 5, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1625
A. Bermano, T. Beeler, Y. Kozlov, D. Bradley, B. Bickel, and M. Gross, “Detailed spatio-temporal reconstruction of eyelids,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1626
T. Martin, N. Umetani, and B. Bickel, “OmniAD: Data-driven omni-directional aerodynamics,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1627
J. Pérez et al., “Design and fabrication of flexible rod meshes,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1628 | OA
C. Schumacher, B. Bickel, J. Rys, S. Marschner, C. Daraio, and M. Gross, “Microstructures to control elasticity in 3D printing,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA, 2015, vol. 34, no. 4, p. 136.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 594
S. Sainsbury, C. Bernecky, and P. Cramer, “Structural basis of transcription initiation by RNA polymerase II,” Nature Reviews Molecular Cell Biology, vol. 16, no. 3, pp. 129–143, 2015.
View | DOI
 

2015 | Preprint | IST-REx-ID: 8183 | OA
S. Avvakumov, I. Mabillard, A. Skopenkov, and U. Wagner, “Eliminating higher-multiplicity intersections, III. Codimension 2.” arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1513 | OA
A. Pal and B. Vicoso, “The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression,” Genome Biology and Evolution, vol. 7, no. 12, pp. 3259–3268, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1827 | OA
T. Friedlander, A. Mayo, T. Tlusty, and U. Alon, “Evolution of bow-tie architectures in biology,” PLoS Computational Biology, vol. 11, no. 3, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1579 | OA
C. Brooks, A. Martin del Campo Sanchez, and F. Sottile, “Galois groups of Schubert problems of lines are at least alternating,” Transactions of the American Mathematical Society, vol. 367, no. 6, pp. 4183–4206, 2015.
View | DOI | Download Preprint (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1643 | OA
G. Fuchsbauer, “Constrained Verifiable Random Functions ,” in SCN 2014, Amalfi, Italy, 2014, vol. 8642, pp. 95–114.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1702 | OA
A. Gupta, C. Popeea, and A. Rybalchenko, “Generalised interpolation by solving recursion free-horn clauses,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Vienna, Austria, 2014, vol. 169, pp. 31–38.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1708
C. Savin and S. Denève, “Spatio-temporal representations of uncertainty in spiking neural networks,” presented at the NIPS: Neural Information Processing Systems, Montreal, Canada, 2014, vol. 3, no. January, pp. 2024–2032.
View | Download None (ext.)
 

2014 | Journal Article | IST-REx-ID: 1733 | OA
P. Cerny, M. Chmelik, T. A. Henzinger, and A. Radhakrishna, “Interface simulation distances,” Theoretical Computer Science, vol. 560, no. 3, pp. 348–363, 2014.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1761 | OA
M. Mongillo et al., “PtSi clustering in silicon probed by transport spectroscopy,” Physical Review X, vol. 3, no. 4, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1791
S. Baek et al., “Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation,” Neuron, vol. 82, no. 6, pp. 1255–1262, 2014.
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 1806
P. Baster and J. Friml, “Auxin on the road navigated by cellular PIN polarity,” in Auxin and Its Role in Plant Development, E. Zažímalová, J. Petrášek, and E. Benková, Eds. Springer, 2014, pp. 143–170.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1816 | OA
S. Huber, M. Held, P. Meerwald, and R. Kwitt, “Topology-preserving watermarking of vector graphics,” International Journal of Computational Geometry and Applications, vol. 24, no. 1, pp. 61–86, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1821 | OA
R. Seiringer, “Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation,” Journal of Mathematical Physics, vol. 55, no. 7, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1822
V. Jakšić, C. Pillet, and R. Seiringer, “Introduction,” Journal of Mathematical Physics, vol. 55, no. 7, 2014.
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 1829
K. Muelling, O. Kroemer, C. Lampert, and B. Schölkopf, “Movement templates for learning of hitting and batting,” in Learning Motor Skills, vol. 97, J. Kober and J. Peters, Eds. Springer, 2014, pp. 69–82.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1842 | OA
J. Cibulka, P. Gao, M. Krcál, T. Valla, and P. Valtr, “On the geometric ramsey number of outerplanar graphs,” Discrete & Computational Geometry, vol. 53, no. 1, pp. 64–79, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1844 | OA
V. Risso et al., “Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history,” Molecular Biology and Evolution, vol. 32, no. 2, pp. 440–455, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1852 | OA
M. Sassi et al., “An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis,” Current Biology, vol. 24, no. 19, pp. 2335–2342, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1853
S. Jha, S. Tripakis, S. Seshia, and K. Chatterjee, “Game theoretic secure localization in wireless sensor networks,” presented at the IOT: Internet of Things, Cambridge, USA, 2014, pp. 85–90.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1854 | OA
P. Guerrero, T. Auzinger, M. Wimmer, and S. Jeschke, “Partial shape matching using transformation parameter similarity,” Computer Graphics Forum, vol. 34, no. 1, pp. 239–252, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1862 | OA
X. Chen et al., “Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules,” Nature, vol. 516, no. 729, pp. 90–93, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1869
G. Hofferek and A. Gupta, “Suraq - a controller synthesis tool using uninterpreted functions,” in HVC 2014, Haifa, Israel, 2014, vol. 8855, pp. 68–74.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1870 | OA
T. A. Henzinger, J. Otop, and R. Samanta, “Lipschitz robustness of finite-state transducers,” in Leibniz International Proceedings in Informatics, LIPIcs, Delhi, India, 2014, vol. 29, pp. 431–443.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1872 | OA
A. Gupta, L. Kovács, B. Kragl, and A. Voronkov, “Extensional crisis and proving identity,” in ATVA 2014, Sydney, Australia, 2014, vol. 8837, pp. 185–200.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1875 | OA
R. Samanta, O. Olivo, and E. Allen, “Cost-aware automatic program repair,” presented at the SAS: Static Analysis Symposium, Munich, Germany, 2014, vol. 8723, pp. 268–284.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1876 | OA
N. Dolbilin, H. Edelsbrunner, A. Glazyrin, and O. Musin, “Functionals on triangulations of delaunay sets,” Moscow Mathematical Journal, vol. 14, no. 3, pp. 491–504, 2014.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1877
M. K. Sixt and K. Vaahtomeri, “Physiology: Relax and come in,” Nature, vol. 514, no. 7523, pp. 441–442, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1884
D. Landau et al., “Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples,” Blood, vol. 124, no. 21, pp. 1952–1952, 2014.
View | Download None (ext.)
 

2014 | Journal Article | IST-REx-ID: 1886 | OA
A. Hermundstad, J. Briguglio, M. Conte, J. Victor, V. Balasubramanian, and G. Tkačik, “Variance predicts salience in central sensory processing,” eLife, no. November, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1887
S. Cremer, “Gemeinsame Krankheitsabwehr in Ameisengesellschaften,” Zoologie, pp. 23–30, 2014.
View | Download None (ext.)
 

2014 | Book Chapter | IST-REx-ID: 1888
S. Cremer, “Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt  Bayerische Akademie der Wissenschaften,” in Soziale Insekten in einer sich wandelnden Welt, vol. 43, Pfeil, 2014, pp. 65–72.
View
 

2014 | Journal Article | IST-REx-ID: 1889 | OA
G. Bräunlich, C. Hainzl, and R. Seiringer, “Translation-invariant quasi-free states for fermionic systems and the BCS approximation,” Reviews in Mathematical Physics, vol. 26, no. 7, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1890 | OA
C. Körner, V. Braunstein, M. Stangl, A. Schlögl, C. Neuper, and A. Ischebeck, “Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection,” Psychophysiology, vol. 51, no. 4, pp. 385–395, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1891
M. Chwastyk, A. Galera Prat, M. K. Sikora, À. Gómez Sicilia, M. Carrión Vázquez, and M. Cieplak, “Theoretical tests of the mechanical protection strategy in protein nanomechanics,” Proteins: Structure, Function and Bioinformatics, vol. 82, no. 5, pp. 717–726, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1892 | OA
S. Ocana, P. Meidl, D. Bonfils, and M. Taborsky, “Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 281, no. 1794, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893 | OA
P. Nováková et al., “SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis,” PNAS, vol. 111, no. 7, pp. 2818–2823, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1894 | OA
A. Grabowska et al., “Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA,” PLoS One, vol. 9, no. 9, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1895 | OA
M. Edamura et al., “Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice,” PLoS One, vol. 9, no. 9, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1896 | OA
R. Kollár, K. Bod’ová, J. Nosek, and Ľ. Tomáška, “Mathematical model of alternative mechanism of telomere length maintenance,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 3, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1897 | OA
S. Naramoto et al., “Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis,” Plant Cell, vol. 26, no. 7, pp. 3062–3076, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1898
A. Ritzau Jost et al., “Ultrafast action potentials mediate kilohertz signaling at a central synapse,” Neuron, vol. 84, no. 1, pp. 152–163, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1899 | OA
S. Williams, L. Ratliff, M. P. Postiglione, J. Knoblich, and E. Fuchs, “Par3-mInsc and Gα i3 cooperate to promote oriented epidermal cell divisions through LGN,” Nature Cell Biology, vol. 16, no. 8, pp. 758–769, 2014.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications