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.




4929 Publications

2017 | Journal Article | IST-REx-ID: 1029 | OA
Lukacisin, M., Landon, M., & Jajoo, R. (2017). Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0174066
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 664
Assen, F. P., & Sixt, M. K. (2017). The dynamic cytokine niche. Immunity. Cell Press. https://doi.org/10.1016/j.immuni.2017.04.006
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 682 | OA
Ukai, H., Kawahara, A., Hirayama, K., Case, M. J., Aino, S., Miyabe, M., … Ito, I. (2017). PirB regulates asymmetries in hippocampal circuitry. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0179377
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1028 | OA
Kainrath, S., Stadler, M., Gschaider-Reichhart, E., Distel, M., & Janovjak, H. L. (2017). Green-light-induced inactivation of receptor signaling using cobalamin-binding domains. Angewandte Chemie - International Edition. Wiley-Blackwell. https://doi.org/10.1002/anie.201611998
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 1024 | OA
Hurny, A., & Benková, E. (2017). Methodological advances in auxin and cytokinin biology. Auxins and Cytokinins in Plant Biology. Springer. https://doi.org/10.1007/978-1-4939-6831-2_1
[Submitted Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 679 | OA
Ebner, F., Sedlyarov, V., Tasciyan, S., Ivin, M., Kratochvill, F., Gratz, N., … Kovarik, P. (2017). The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection. The Journal of Clinical Investigation. American Society for Clinical Investigation. https://doi.org/10.1172/JCI80631
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 676 | OA
Krens, G., Veldhuis, J., Barone, V., Capek, D., Maître, J.-L., Brodland, W., & Heisenberg, C.-P. J. (2017). Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.144964
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 704 | OA
Steinrück, M., & Guet, C. C. (2017). Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.25100
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 696 | OA
Lukacisinova, M., Novak, S., & Paixao, T. (2017). Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1027 | OA
Lukacisinova, M., & Bollenbach, M. T. (2017). Toward a quantitative understanding of antibiotic resistance evolution. Current Opinion in Biotechnology. Elsevier. https://doi.org/10.1016/j.copbio.2017.02.013
[Published Version] View | Files available | DOI | WoS
 
2017 | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee, K., Fu, H., & Goharshady, A. K. (2017). Non-polynomial worst case analysis of recursive programs. In R. Majumdar & V. Kunčak (Eds.) (Vol. 10427, pp. 41–63). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer. https://doi.org/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 | OA
Chatterjee, K., Goharshady, A. K., & Pavlogiannis, A. (2017). JTDec: A tool for tree decompositions in soot. In D. D’Souza (Ed.) (Vol. 10482, pp. 59–66). Presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India: Springer. https://doi.org/10.1007/978-3-319-68167-2_4
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 661 | OA
Smutny, M., Ákos, Z., Grigolon, S., Shamipour, S., Ruprecht, V., Capek, D., … Heisenberg, C.-P. J. (2017). Friction forces position the neural anlage. Nature Cell Biology. Nature Publishing Group. https://doi.org/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., Pradhan, S., Shamipour, S., Sako, K., … Heisenberg, C.-P. J. (2017). An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2017.09.014
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 960 | OA
Hansen, A. H., Düllberg, C. F., Mieck, C., Loose, M., & Hippenmeyer, S. (2017). Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. Frontiers in Cellular Neuroscience. Frontiers Research Foundation. https://doi.org/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. (2016). An orthogonal permease–inducer–repressor feedback loop shows bistability. ACS Synthetic Biology. American Chemical Society. https://doi.org/10.1021/acssynbio.6b00013
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee, K., Dvorák, W., Henzinger, M. H., & Loitzenbauer, V. (2016). Conditionally optimal algorithms for generalized Büchi Games (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.25
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1069 | OA
Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On the skolem problem for continuous linear dynamical systems (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.100
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee, K., & Doyen, L. (2016). Computation tree logic for synchronization properties (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.98
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1081 | OA
Łangowski, Ł., Wabnik, K. T., 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. Nature Publishing Group. https://doi.org/10.1038/celldisc.2016.18
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1082 | OA
Chalk, M. J., Marre, O., & Tkačik, G. (2016). Relevant sparse codes with variational information bottleneck (Vol. 29, pp. 1965–1973). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain: Neural Information Processing Systems.
[Preprint] View | Files available | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1083
Booker, S., Althof, D., Gross, A., Loreth, D., Müller, J., Unger, A., … Kulik, Á. (2016). KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. Oxford University Press. https://doi.org/10.1093/cercor/bhw090
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Nested weighted limit-average automata of bounded width (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.24
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1095 | OA
Haas, A., Henzinger, T. A., Holzer, A., Kirsch, C., Lippautz, M., Payer, H., … Veith, H. (2016). Local linearizability for concurrent container-type data structures. In Leibniz International Proceedings in Informatics (Vol. 59). Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2016.6
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1097 | OA
Du, T., Schulz, A., Zhu, B., Bickel, B., & Matusik, W. (2016). Computational multicopter design (Vol. 35). Presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China: ACM. https://doi.org/10.1145/2980179.2982427
[Submitted Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1098 | OA
Pentina, A., & Urner, R. (2016). Lifelong learning with weighted majority votes (Vol. 29, pp. 3619–3627). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain: Neural Information Processing Systems.
[Published Version] View | Files available
 
2016 | Conference Paper | IST-REx-ID: 1099 | OA
Malomo, L., Pietroni, N., Bickel, B., & Cignoni, P. (2016). FlexMolds: Automatic design of flexible shells for molding (Vol. 35). Presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China: ACM. https://doi.org/10.1145/2980179.2982397
[Submitted Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1102 | OA
Kolesnikov, A., & Lampert, C. (2016). Improving weakly-supervised object localization by micro-annotation. In Proceedings of the British Machine Vision Conference 2016 (Vol. 2016–September, p. 92.1-92.12). York, United Kingdom: BMVA Press. https://doi.org/10.5244/C.30.92
[Published Version] View | DOI | Download Published Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1103 | OA
Gurung, A., Deka, A., Bartocci, E., Bogomolov, S., Grosu, R., & Ray, R. (2016). Parallel reachability analysis for hybrid systems. Presented at the MEMOCODE: International Conference on Formal Methods and Models for System Design, Kanpur, India : IEEE. https://doi.org/10.1109/MEMCOD.2016.7797741
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1105
Savin, C., & Tkačik, G. (2016). Estimating nonlinear neural response functions using GP priors and Kronecker methods (Vol. 29, pp. 3610–3618). Presented at the NIPS: Neural Information Processing Systems, Barcelona; Spain: Neural Information Processing Systems.
View | Download None (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1115 | OA
Rueda, A., Sedlmeir, F., Collodo, M., Vogl, U., Stiller, B., Schunk, G., … Schwefel, H. (2016). Efficient single sideband microwave to optical conversion using a LiNbO₃ WGM-resonator. Presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, USA: IEEE. https://doi.org/10.1364/CLEO_SI.2016.SF2G.3
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1135 | OA
Avni, G., Guha, S., & Rodríguez Navas, G. (2016). Synthesizing time triggered schedules for switched networks with faulty links. In Proceedings of the 13th International Conference on Embedded Software . Pittsburgh, PA, USA: ACM. https://doi.org/10.1145/2968478.2968499
[Submitted Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1134
Duggirala, P., Fan, C., Potok, M., Qi, B., Mitra, S., Viswanathan, M., … Xiang, W. (2016). Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP. In 2016 IEEE Conference on Control Applications. Buenos Aires, Argentina : IEEE. https://doi.org/10.1109/CCA.2016.7587948
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1136 | OA
Manteaux, P., Vimont, U., Wojtan, C., Rohmer, D., & Cani, M. (2016). Space-time sculpting of liquid animation. In Proceedings of the 9th International Conference on Motion in Games . San Francisco, CA, USA: ACM. https://doi.org/10.1145/2994258.2994261
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1137 | OA
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 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Quantitative automata under probabilistic semantics. In Proceedings of the 31st Annual ACM/IEEE Symposium (pp. 76–85). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2933588
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Conference Paper | IST-REx-ID: 1140 | OA
Chatterjee, K., Dvoák, W., Henzinger, M. H., & Loitzenbauer, V. (2016). 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 (pp. 197–206). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2935304
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1142 | OA
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, E. P. (2016). Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization. Journal of Computational Science. Elsevier. https://doi.org/10.1016/j.jocs.2016.03.004
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1143 | OA
Nam, P., Rougerie, N., & Seiringer, R. (2016). Ground states of large bosonic systems: The gross Pitaevskii limit revisited. Analysis and PDE. Mathematical Sciences Publishers. https://doi.org/10.2140/apde.2016.9.459
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1145 | OA
Nodzyński, T., Vanneste, S., Zwiewka, M., Pernisová, M., Hejátko, J., & Friml, J. (2016). Enquiry into the topology of plasma membrane localized PIN auxin transport components. Molecular Plant. Cell Press. https://doi.org/10.1016/j.molp.2016.08.010
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1147 | OA
Balla, J., Medved’Ová, Z., Kalousek, P., Matiješčuková, N., Friml, J., Reinöhl, V., & Procházka, S. (2016). Auxin flow mediated competition between axillary buds to restore apical dominance. Scientific Reports. Nature Publishing Group. https://doi.org/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. (2016). A study of rigorous ODE integrators for multi scale set oriented computations. Applied Numerical Mathematics. Elsevier. https://doi.org/10.1016/j.apnum.2016.04.005
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1150
Renkawitz, J., & Sixt, M. K. (2016). A Radical Break Restraining Neutrophil Migration. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2016.08.017
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1151 | OA
Simonini, S., Deb, J., Moubayidin, L., Stephenson, P., Valluru, M., Freire Rios, A., … Östergaard, L. (2016). A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.285361.116
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 1153 | OA
Žádníková, P., Wabnik, K. T., Abuzeineh, A., Gallemí, M., Van Der Straeten, D., Smith, R., … Benková, E. (2016). A model of differential growth guided apical hook formation in plants. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.15.00569
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1154 | OA
Schwarz, J., Bierbaum, V., Merrin, J., Frank, T., Hauschild, R., Bollenbach, M. T., … Mehling, M. (2016). A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep36440
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1157 | OA
Lee, J., & Schnelli, K. (2016). Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population. Annals of Applied Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/16-AAP1193
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1170
Lang, M., & Stelling, J. (2016). Modular parameter identification of biomolecular networks. SIAM Journal on Scientific Computing. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/15M103306X
[Submitted Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1171
Tkačik, G. (2016). 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. Elsevier. https://doi.org/10.1016/j.plrev.2016.06.005
View | DOI
 

Search

Filter Publications