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.




6293 Publications

2016 | Published | Journal Article | IST-REx-ID: 1492 | OA
Marhavý P, Montesinos López JC, Abuzeineh A, et al. Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation. Genes and Development. 2016;30(4):471-483. doi:10.1101/gad.276964.115
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2016 | Published | Journal Article | IST-REx-ID: 1493 | OA
Petrat SP, Pickl P. A new method and a new scaling for deriving fermionic mean-field dynamics. Mathematical Physics, Analysis and Geometry. 2016;19(1). doi:10.1007/s11040-016-9204-2
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1494
Lemoult GM, Shi L, Avila K, Jalikop SV, Avila M, Hof B. Directed percolation phase transition to sustained turbulence in Couette flow. Nature Physics. 2016;12(3):254-258. doi:10.1038/nphys3675
View | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1496 | OA
Amaro P, Fratini F, Safari L, 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. 2016;93(3). doi:10.1103/PhysRevA.93.032502
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1518 | OA
Lohse K, Chmelik M, Martin S, Barton NH. Efficient strategies for calculating blockwise likelihoods under the coalescent. Genetics. 2016;202(2):775-786. doi:10.1534/genetics.115.183814
[Preprint] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2016 | Published | Journal Article | IST-REx-ID: 1521
Berrisford J, Baradaran R, Sazanov LA. Structure of bacterial respiratory complex I. Biochimica et Biophysica Acta - Bioenergetics. 2016;1857(7):892-901. doi:10.1016/j.bbabio.2016.01.012
View | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1522 | OA
Avvakumov S. The classification of certain linked 3-manifolds in 6-space. Moscow Mathematical Journal. 2016;16(1):1-25. doi:10.17323/1609-4514-2016-16-1-1-25
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1523 | OA
Gundert A, Wagner U. On topological minors in random simplicial complexes. Proceedings of the American Mathematical Society. 2016;144(4):1815-1828. doi:10.1090/proc/12824
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1524 | OA
Beica A, Guet CC, Petrov T. Efficient reduction of kappa models by static inspection of the rule-set. In: Vol 9271. Springer; 2016:173-191. doi:10.1007/978-3-319-26916-0_10
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1526 | OA
Henzinger TA, Otop J, Samanta R. Lipschitz robustness of timed I/O systems. In: Vol 9583. Springer; 2016:250-267. doi:10.1007/978-3-662-49122-5_12
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1529 | OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. 2016;234:26-48. doi:10.1016/j.artint.2016.01.007
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1545 | OA
Nam P, Napiórkowski MM, Solovej J. Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. 2016;270(11):4340-4368. doi:10.1016/j.jfa.2015.12.007
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee K, Dvorák W, Henzinger M, Loitzenbauer V. Conditionally optimal algorithms for generalized Büchi Games. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.MFCS.2016.25
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1069 | OA
Chonev VK, Ouaknine J, Worrell J. On the skolem problem for continuous linear dynamical systems. In: Vol 55. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.100
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee K, Doyen L. Computation tree logic for synchronization properties. In: Vol 55. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.98
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1071 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. In: Vol 57. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.ESA.2016.28
[Published Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1081 | OA
Łangowski Ł, Wabnik KT, Li H, et al. Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells. Cell Discovery. 2016;2. doi:10.1038/celldisc.2016.18
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 1082 | OA
Chalk MJ, Marre O, Tkačik G. Relevant sparse codes with variational information bottleneck. In: Vol 29. Neural Information Processing Systems Foundation; 2016:1965-1973.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1083
Booker S, Althof D, Gross A, et al. KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. 2016;27(3):2318-2334. doi:10.1093/cercor/bhw090
View | DOI | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee K, Henzinger TA, Otop J. Nested weighted limit-average automata of bounded width. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.MFCS.2016.24
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed