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.
5046 Publications
2017 | Journal Article | IST-REx-ID: 704 | 
Steinrück M, Guet CC. Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection. eLife. 2017;6. doi:10.7554/eLife.25100
[Published Version]
View
| Files available
| DOI
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
[Published Version]
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
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 639 |
Chatterjee K, Fu H, Goharshady AK. Non-polynomial worst case analysis of recursive programs. In: Majumdar R, Kunčak V, eds. Vol 10427. Springer; 2017:41-63. doi:10.1007/978-3-319-63390-9_3
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 949 |
Chatterjee K, Goharshady AK, Pavlogiannis A. JTDec: A tool for tree decompositions in soot. In: D’Souza D, ed. Vol 10482. Springer; 2017:59-66. doi:10.1007/978-3-319-68167-2_4
[Submitted Version]
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
[Submitted Version]
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
[Published Version]
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
[Published Version]
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
[Published Version]
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
[Published Version]
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
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 10810 |
Rubel P, Pani D, Schlögl A, et al. SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography. In: 2016 Computing in Cardiology Conference. Vol 43. Computing in Cardiology; 2016:309-312. doi:10.22489/cinc.2016.090-500
[Published Version]
View
| DOI
| Download Published Version (ext.)
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.
[Preprint]
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
[Published Version]
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
[Published Version]
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
[Submitted Version]
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.
[Published Version]
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
[Submitted Version]
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
[Published Version]
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
[Preprint]
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.)
2016 | Conference Paper | IST-REx-ID: 1115 |
Rueda A, Sedlmeir F, Collodo M, et al. Efficient single sideband microwave to optical conversion using a LiNbO₃ WGM-resonator. In: IEEE; 2016. doi:10.1364/CLEO_SI.2016.SF2G.3
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1135 |
Avni G, Guha S, Rodríguez Navas G. Synthesizing time triggered schedules for switched networks with faulty links. In: Proceedings of the 13th International Conference on Embedded Software . ACM; 2016. doi:10.1145/2968478.2968499
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1134
Duggirala P, Fan C, Potok M, et al. Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP. In: 2016 IEEE Conference on Control Applications. IEEE; 2016. doi:10.1109/CCA.2016.7587948
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1136 |
Manteaux P, Vimont U, Wojtan C, Rohmer D, Cani M. Space-time sculpting of liquid animation. In: Proceedings of the 9th International Conference on Motion in Games . ACM; 2016. doi:10.1145/2994258.2994261
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1137 |
Salzer E, Çaǧdaş D, Hons M, Mace E, Garncarz W, Petronczki O, Platzer R, Pfajfer L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 17(12), 1352–1360.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2016 | Conference Paper | IST-REx-ID: 1138 |
Chatterjee K, Henzinger TA, Otop J. Quantitative automata under probabilistic semantics. In: Proceedings of the 31st Annual ACM/IEEE Symposium. IEEE; 2016:76-85. doi:10.1145/2933575.2933588
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 1140 |
Chatterjee K, Dvoák W, Henzinger MH, Loitzenbauer V. Model and objective separation with conditional lower bounds: disjunction is harder than conjunction. In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2016:197-206. doi:10.1145/2933575.2935304
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1142 |
Martins R, Maier J, Gorki A, Huber K, Sharif O, Starkl P, Saluzzo S, Quattrone F, Gawish R, Lakovits K, Aichinger M, Radic Sarikas B, Lardeau C, Hladik A, Korosec A, Brown M, Vaahtomeri K, Duggan M, Kerjaschki D, Esterbauer H, Colinge J, Eisenbarth S, Decker T, Bennett K, Kubicek S, Sixt MK, Superti Furga G, Knapp S. 2016. Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. 17(12), 1361–1372.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1141
Łazarz R, Idzik M, Gądek K, Gajda-Zagorska EP. Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization. Journal of Computational Science. 2016;17(1):249-260. doi:10.1016/j.jocs.2016.03.004
View
| DOI
2016 | Journal Article | IST-REx-ID: 1143 |
Nam P, Rougerie N, Seiringer R. Ground states of large bosonic systems: The gross Pitaevskii limit revisited. Analysis and PDE. 2016;9(2):459-485. doi:10.2140/apde.2016.9.459
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1145 |
Nodzyński T, Vanneste S, Zwiewka M, Pernisová M, Hejátko J, Friml J. Enquiry into the topology of plasma membrane localized PIN auxin transport components. Molecular Plant. 2016;9(11):1504-1519. doi:10.1016/j.molp.2016.08.010
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1147 |
Balla J, Medved’Ová Z, Kalousek P, et al. Auxin flow mediated competition between axillary buds to restore apical dominance. Scientific Reports. 2016;6. doi:10.1038/srep35955
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1149
Miyaji T, Pilarczyk P, Gameiro M, Kokubu H, Mischaikow K. A study of rigorous ODE integrators for multi scale set oriented computations. Applied Numerical Mathematics. 2016;107:34-47. doi:10.1016/j.apnum.2016.04.005
View
| DOI
2016 | Journal Article | IST-REx-ID: 1150
Renkawitz J, Sixt MK. A Radical Break Restraining Neutrophil Migration. Developmental Cell. 2016;38(5):448-450. doi:10.1016/j.devcel.2016.08.017
View
| DOI
2016 | Journal Article | IST-REx-ID: 1151 |
Simonini S, Deb J, Moubayidin L, et al. A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis. Genes and Development. 2016;30(20):2286-2296. doi:10.1101/gad.285361.116
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1153 |
Žádníková P, Wabnik KT, Abuzeineh A, et al. A model of differential growth guided apical hook formation in plants. Plant Cell. 2016;28(10):2464-2477. doi:10.1105/tpc.15.00569
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1154 |
Schwarz J, Bierbaum V, Merrin J, et al. A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients. Scientific Reports. 2016;6. doi:10.1038/srep36440
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1157 |
Lee J, Schnelli K. Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population. Annals of Applied Probability. 2016;26(6):3786-3839. doi:10.1214/16-AAP1193
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1170
Lang M, Stelling J. Modular parameter identification of biomolecular networks. SIAM Journal on Scientific Computing. 2016;38(6):B988-B1008. doi:10.1137/15M103306X
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1171
Tkačik G. Understanding regulatory networks requires more than computing a multitude of graph statistics: Comment on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function" by O. C. Martin et al. Physics of Life Reviews. 2016;17:166-167. doi:10.1016/j.plrev.2016.06.005
View
| DOI
2016 | Journal Article | IST-REx-ID: 1172 |
Sachdeva H, Barma M, Rao M. Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae. Scientific Reports. 2016;6. doi:10.1038/srep38840
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1177 |
Kamath Hosdurg C, Chatterjee S. A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound. Algorithmica. 2016;74(4):1321-1362. doi:10.1007/s00453-015-9997-6
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1179 |
Pietrzak KZ, Maciej S. Pseudoentropy: Lower-bounds for chain rules and transformations. In: Vol 9985. Springer; 2016:183-203. doi:10.1007/978-3-662-53641-4_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1181
Dwyer N, Chen B, Chou S, Hippenmeyer S, Nguyen L, Ghashghaei T. Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity. Journal of Neuroscience. 2016;36(45):11394-11401. doi:10.1523/JNEUROSCI.2359-16.2016
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1182 |
Chatterjee K, Ibsen-Jensen R, Tkadlec J. Robust draws in balanced knockout tournaments. In: Vol 2016-January. AAAI Press; 2016:172-179.
[Preprint]
View
| Files available
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1184 |
Metzler S, Heinze J, Schrempf A. Mating and longevity in ant males. Ecology and Evolution. 2016;6(24):8903-8906. doi:10.1002/ece3.2474
[Published Version]
View
| Files available
| DOI