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

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




4074 Publications

2015 | Journal Article | IST-REx-ID: 1554 | OA
Liao C, Smet W, Brunoud G, Yoshida S, Vernoux T, Weijers D. 2015. Reporters for sensitive and quantitative measurement of auxin response. Nature Methods. 12(3), 207–210.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1555 | OA
Knipl D, Pilarczyk P, Röst G. 2015. Rich bifurcation structure in a two patch vaccination model. SIAM Journal on Applied Dynamical Systems. 14(2), 980–1017.
View | DOI | Download Published Version (ext.)
 
2015 | Journal Article | IST-REx-ID: 1556 | OA
Jia Y, Tian H, Li H, Yu Q, Wang L, Friml J, Ding Z. 2015. The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development. Journal of Experimental Botany. 66(15), 4631–4642.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1557
Javdani F, Holló K, Hegedűs K, Kis G, Hegyi Z, Dócs K, Kasugai Y, Fukazawa Y, Shigemoto R, Antal M. 2015. Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats. Journal of Comparative Neurology. 523(13), 1967–1983.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1558
Ivanchenko M, Zhu J, Wang B, Medvecka E, Du Y, Azzarello E, Mancuso S, Megraw M, Filichkin S, Dubrovsky J, Friml J, Geisler M. 2015. The cyclophilin a DIAGEOTROPICA gene affects auxin transport in both root and shoot to control lateral root formation. Development. 142(4), 712–721.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1559 | OA
Ibsen-Jensen R, Chatterjee K, Nowak M. 2015. Computational complexity of ecological and evolutionary spatial dynamics. PNAS. 112(51), 15636–15641.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1560
Hons M, Sixt MK. 2015. The lymph node filter revealed. Nature Immunology. 16(4), 338–340.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1561
Heger K, Kober M, Rieß D, Drees C, de Vries I, Bertossi A, Roers A, Sixt MK, Schmidt Supprian M. 2015. A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors. European Journal of Immunology. 45(6), 1614–1620.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1562
Grones P, Chen X, Simon S, Kaufmann W, De Rycke R, Nodzyński T, Zažímalová E, Friml J. 2015. Auxin-binding pocket of ABP1 is crucial for its gain-of-function cellular and developmental roles. Journal of Experimental Botany. 66(16), 5055–5065.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1563
Graff G, Pilarczyk P. 2015. An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds. Topological Methods in Nonlinear Analysis. 45(1), 273–286.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1564 | OA
Gilson M, Savin C, Zenke F. 2015. Editorial: Emergent neural computation from the interaction of different forms of plasticity. Frontiers in Computational Neuroscience. 9(11), 145.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1565 | OA
Gavello D, Vandael DH, Gosso S, Carbone E, Carabelli V. 2015. 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. 593(22), 4835–4853.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1566 | OA
Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. 2015. An exploration of the universe of polyglutamine structures. PLoS Computational Biology. 11(10), e1004541.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1567
Edelsbrunner H. 2015. Shape, homology, persistence, and stability. 23rd International Symposium. GD: Graph Drawing and Network Visualization, LNCS, vol. 9411.
View
 
2015 | Conference Paper | IST-REx-ID: 1568
Dunaeva O, Edelsbrunner H, Lukyanov A, Machin M, Malkova D. 2015. The classification of endoscopy images with persistent homology. Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, 7034731.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1569 | OA
Doyle S, Haegera A, Vain T, Rigala A, Viotti C, Łangowskaa M, Maa Q, Friml J, Raikhel N, Hickse G, Robert S. 2015. An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana. PNAS. 112(7), E806–E815.
View | DOI | Download Published Version (ext.)
 
2015 | Journal Article | IST-REx-ID: 1570 | OA
Der R, Martius GS. 2015. Novel plasticity rule can explain the development of sensorimotor intelligence. PNAS. 112(45), E6224–E6232.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1571
de Vos M, Dawid A, Šunderlíková V, Tans S. 2015. Breaking evolutionary constraint with a tradeoff ratchet. PNAS. 112(48), 14906–14911.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1572 | OA
Correggi M, Giuliani A, Seiringer R. 2015. Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet. Communications in Mathematical Physics. 339(1), 279–307.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1573 | OA
Chen T, Hainzl C, Pavlović N, Seiringer R. 2015. Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti. Communications on Pure and Applied Mathematics. 68(10), 1845–1884.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1574 | OA
Chen Q, Liu Y, Maere S, Lee E, Van Isterdael G, Xie Z, Xuan W, Lucas J, Vassileva V, Kitakura S, Marhavý P, Wabnik KT, Geldner N, Benková E, Le J, Fukaki H, Grotewold E, Li C, Friml J, Sack F, Beeckman T, Vanneste S. 2015. A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development. Nature Communications. 6, 8821.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1575 | OA
Chabaud M, Heuzé M, Bretou M, Vargas P, Maiuri P, Solanes P, Maurin M, Terriac E, Le Berre M, Lankar D, Piolot T, Adelstein R, Zhang Y, Sixt MK, Jacobelli J, Bénichou O, Voituriez R, Piel M, Lennon Duménil A. 2015. Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells. Nature Communications. 6, 7526.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1576 | OA
Cepeda Humerez SA, Rieckh G, Tkačik G. 2015. Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation. Physical Review Letters. 115(24), 248101.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1577 | OA
Carvalho A, Vicoso B, Russo C, Swenor B, Clark A. 2015. Birth of a new gene on the Y chromosome of Drosophila melanogaster. PNAS. 112(40), 12450–12455.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1578
Cao T, Edelsbrunner H, Tan T. 2015. Triangulations from topologically correct digital Voronoi diagrams. Computational Geometry. 48(7), 507–519.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1579 | OA
Brooks C, Martin del Campo Sanchez A, Sottile F. 2015. Galois groups of Schubert problems of lines are at least alternating. Transactions of the American Mathematical Society. 367(6), 4183–4206.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1580 | OA
Brenes O, Vandael DH, Carbone E, Montarolo P, Ghirardi M. 2015. Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons. Neuroscience. 311, 430–443.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1582 | OA
Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. 48(2), 120–133.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1583 | OA
Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. A simple algorithm for computing positively weighted straight skeletons of monotone polygons. Information Processing Letters. 115(2), 243–247.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1584 | OA
Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. Reprint of: Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. 48(5), 429–442.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1585
Bao Z, Pan G, Zhou W. 2015. Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices. IEEE Transactions on Information Theory. 61(6), 3413–3426.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1586
Angermayr A, Gorchs A, Hellingwerf K. 2015. Metabolic engineering of cyanobacteria for the synthesis of commodity products. Trends in Biotechnology. 33(6), 352–361.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1587 | OA
Amaro P, Fratini F, Safari L, Antognini A, Indelicato P, Pohl R, Santos J. 2015. Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A - Atomic, Molecular, and Optical Physics. 92(6), 062506.
View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 1588
Altmeyer S, Do Y, Lai Y. 2015. Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows. Physical Review E. 92(5), 053018.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1589 | OA
Altmeyer S, Do Y, Lai Y. 2015. Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system. Scientific Reports. 5, 18589.
View | Files available | DOI
 
2015 | Book Chapter | IST-REx-ID: 1590 | OA
Aichholzer O, Biedl T, Hackl T, Held M, Huber S, Palfrader P, Vogtenhuber B. 2015.Representing directed trees as straight skeletons. In: Graph Drawing and Network Visualization. LNCS, vol. 9411, 335–347.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1591 | OA
Adamowski M, Friml J. 2015. PIN-dependent auxin transport: Action, regulation, and evolution. Plant Cell. 27(1), 20–32.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1593 | OA
Žádníková P, Smet D, Zhu Q, Van Der Straeten D, Benková E. 2015. Strategies of seedlings to overcome their sessile nature: Auxin in mobility control. Frontiers in Plant Science. 6(4).
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1594
Forejt V, Krčál J, Kretinsky J. 2015. Controller synthesis for MDPs and frequency LTL\GU. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 9450, 162–177.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1595 | OA
Fulek R, Pelsmajer M, Schaefer M. 2015. Hanani-Tutte for radial planarity. GD: Graph Drawing and Network Visualization, LNCS, vol. 9411, 99–110.
View | Files available | DOI
 
2015 | Book Chapter | IST-REx-ID: 1596 | OA
Fulek R, Radoičić R. 2015.Vertical visibility among parallel polygons in three dimensions. In: Graph Drawing and Network Visualization. LNCS, vol. 9411, 373–379.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1598 | OA
Chatterjee K, Joglekar M, Shah N. 2015. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. Theoretical Computer Science. 573(3), 71–89.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Conference Paper | IST-REx-ID: 1601 | OA
Babiak T, Blahoudek F, Duret Lutz A, Klein J, Kretinsky J, Mueller D, Parker D, Strejček J. 2015. The Hanoi omega-automata format. CAV: Computer Aided Verification, LNCS, vol. 9206, 479–486.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1602 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A, Goyal P. 2015. Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. ACM SIGPLAN Notices. 50(1), 97–109.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Conference Paper | IST-REx-ID: 1603 | OA
Brázdil T, Chatterjee K, Chmelik M, Fellner A, Kretinsky J. 2015. Counterexample explanation by learning small strategies in Markov decision processes. CAV: Computer Aided Verification, LNCS, vol. 9206, 158–177.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1604
Chatterjee K, Pavlogiannis A, Velner Y. 2015. Quantitative interprocedural analysis. Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . 50(1), 539–551.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1605 | OA
Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. 2015. Abstraction-based parameter synthesis for multiaffine systems. HVC: Haifa Verification Conference, LNCS, vol. 9434, 19–35.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1606
Nguyen L, Schilling C, Bogomolov S, Johnson T. 2015. Runtime verification for hybrid analysis tools. 6th International Conference. RV: Runtime Verification, LNCS, vol. 9333, 281–286.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1607 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2015. Faster algorithms for quantitative verification in constant treewidth graphs. CAV: Computer Aided Verification, LNCS, vol. 9206, 140–157.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1609 | OA
Chatterjee K, Doyen L, Vardi M. 2015. The complexity of synthesis from probabilistic components. 42nd International Colloquium. ICALP: Automata, Languages and Programming, LNCS, vol. 9135, 108–120.
View | DOI | Download Preprint (ext.)
 

Search

Filter Publications