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.
4528 Publications
2017 | Journal Article | IST-REx-ID: 696 | 
Lukacisinova M, Novak S, Paixao T. Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes. PLoS Computational Biology. 2017;13(7). doi:10.1371/journal.pcbi.1005609
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1027 |
Lukacisinova M, Bollenbach MT. Toward a quantitative understanding of antibiotic resistance evolution. Current Opinion in Biotechnology. 2017;46:90-97. doi:10.1016/j.copbio.2017.02.013
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 661 |
Smutny M, Ákos Z, Grigolon S, et al. Friction forces position the neural anlage. Nature Cell Biology. 2017;19:306-317. doi:10.1038/ncb3492
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 735
Barone V, Lang M, Krens G, et al. An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate. Developmental Cell. 2017;43(2):198-211. doi:10.1016/j.devcel.2017.09.014
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 960 |
Hansen AH, Düllberg CF, Mieck C, Loose M, Hippenmeyer S. Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. Frontiers in Cellular Neuroscience. 2017;11. doi:10.3389/fncel.2017.00176
View
| Files available
| DOI
| WoS
2016 | Journal Article | IST-REx-ID: 1008
Gnügge R, Dharmarajan L, Lang M, Stelling J. An orthogonal permease–inducer–repressor feedback loop shows bistability. ACS Synthetic Biology. 2016;5(10):1098-1107. doi:10.1021/acssynbio.6b00013
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1068 |
Chatterjee K, Dvorák W, Henzinger MH, 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
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1069 |
Chonev VK, Ouaknine J, Worrell J. On the skolem problem for continuous linear dynamical systems. In: Vol 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.100
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1070 |
Chatterjee K, Doyen L. Computation tree logic for synchronization properties. In: Vol 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.98
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1081 |
Ł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
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1082 |
Chalk MJ, Marre O, Tkačik G. Relevant sparse codes with variational information bottleneck. In: Vol 29. Neural Information Processing Systems; 2016:1965-1973.
View
| Files available
| Download Preprint (ext.)
2016 | 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
2016 | Conference Paper | IST-REx-ID: 1090 |
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
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1095 |
Haas A, Henzinger TA, Holzer A, et al. Local linearizability for concurrent container-type data structures. In: Leibniz International Proceedings in Informatics. Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.CONCUR.2016.6
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1097 |
Du T, Schulz A, Zhu B, Bickel B, Matusik W. Computational multicopter design. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982427
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1098 |
Pentina A, Urner R. Lifelong learning with weighted majority votes. In: Vol 29. Neural Information Processing Systems; 2016:3619-3627.
View
| Files available
2016 | Conference Paper | IST-REx-ID: 1099 |
Malomo L, Pietroni N, Bickel B, Cignoni P. FlexMolds: Automatic design of flexible shells for molding. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982397
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1102 |
Kolesnikov A, Lampert C. Improving weakly-supervised object localization by micro-annotation. In: Proceedings of the British Machine Vision Conference 2016. Vol 2016-September. BMVA Press; 2016:92.1-92.12. doi:10.5244/C.30.92
View
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1103 |
Gurung A, Deka A, Bartocci E, Bogomolov S, Grosu R, Ray R. Parallel reachability analysis for hybrid systems. In: IEEE; 2016. doi:10.1109/MEMCOD.2016.7797741
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1105
Savin C, Tkačik G. Estimating nonlinear neural response functions using GP priors and Kronecker methods. In: Vol 29. Neural Information Processing Systems; 2016:3610-3618.
View
| Download None (ext.)