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.
5148 Publications
2017 |Published| Journal Article | IST-REx-ID: 676 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Krens G, Veldhuis J, Barone V, Capek D, Maître J-L, Brodland W, Heisenberg C-PJ. 2017. Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation. Development. 144(10), 1798–1806.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 |Published| Journal Article | IST-REx-ID: 704 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Steinrück M, Guet CC. 2017. Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection. eLife. 6, e25100.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 696 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lukacisinova M, Novak S, Paixao T. 2017. Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes. PLoS Computational Biology. 13(7), e1005609.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 1027 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lukacisinova M, Bollenbach MT. 2017. Toward a quantitative understanding of antibiotic resistance evolution. Current Opinion in Biotechnology. 46, 90–97.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 661 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Smutny M, Ákos Z, Grigolon S, Shamipour S, Ruprecht V, Capek D, Behrndt M, Papusheva E, Tada M, Hof B, Vicsek T, Salbreux G, Heisenberg C-PJ. 2017. Friction forces position the neural anlage. Nature Cell Biology. 19, 306–317.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 |Published| Journal Article | IST-REx-ID: 735
Barone V, Lang M, Krens G, Pradhan S, Shamipour S, Sako K, Sikora MK, Guet CC, Heisenberg C-PJ. 2017. An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate. Developmental Cell. 43(2), 198–211.
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 960 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hansen AH, Düllberg CF, Mieck C, Loose M, Hippenmeyer S. 2017. Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. Frontiers in Cellular Neuroscience. 11, 176.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 639 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Fu H, Goharshady AK. 2017. Non-polynomial worst case analysis of recursive programs. CAV: Computer Aided Verification, LNCS, vol. 10427, 41–63.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 |Published| Conference Paper | IST-REx-ID: 949 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Goharshady AK, Pavlogiannis A. 2017. JTDec: A tool for tree decompositions in soot. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 10482, 59–66.
[Submitted Version]
View
| Files available
| DOI
| WoS
2016 |Published| Conference Paper | IST-REx-ID: 1068 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Dvorák W, Henzinger MH, Loitzenbauer V. 2016. Conditionally optimal algorithms for generalized Büchi Games. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 58, 25.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1069 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chonev VK, Ouaknine J, Worrell J. 2016. On the skolem problem for continuous linear dynamical systems. ICALP: Automata, Languages and Programming, LIPIcs, vol. 55, 100.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1070 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Doyen L. 2016. Computation tree logic for synchronization properties. ICALP: Automata, Languages and Programming, LIPIcs, vol. 55, 98.
[Published Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1081 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Łangowski Ł, Wabnik KT, Li H, Vanneste S, Naramoto S, Tanaka H, Friml J. 2016. Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells. Cell Discovery. 2, 16018.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1082 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalk MJ, Marre O, Tkačik G. 2016. Relevant sparse codes with variational information bottleneck. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 29, 1965–1973.
[Preprint]
View
| Files available
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1083
Booker S, Althof D, Gross A, Loreth D, Müller J, Unger A, Fakler B, Varro A, Watanabe M, Gassmann M, Bettler B, Shigemoto R, Vida I, Kulik Á. 2016. KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. 27(3), 2318–2334.
View
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1090 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Henzinger TA, Otop J. 2016. Nested weighted limit-average automata of bounded width. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 58, 24.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1095 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Haas A, Henzinger TA, Holzer A, Kirsch C, Lippautz M, Payer H, Sezgin A, Sokolova A, Veith H. 2016. Local linearizability for concurrent container-type data structures. Leibniz International Proceedings in Informatics. CONCUR: Concurrency Theory, LIPIcs, vol. 59, 6.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1097 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Du T, Schulz A, Zhu B, Bickel B, Matusik W. 2016. Computational multicopter design. SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, ACM Transactions on Graphics, vol. 35, 227.
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1098 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pentina A, Urner R. 2016. Lifelong learning with weighted majority votes. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 29, 3619–3627.
[Published Version]
View
| Files available