Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1621 Publications
2019 | Conference Paper | IST-REx-ID: 6462 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avni, Guy, Roderick Bloem, Krishnendu Chatterjee, Thomas A Henzinger, Bettina Konighofer, and Stefan Pranger. “Run-Time Optimization for Learned Controllers through Quantitative Games.” In 31st International Conference on Computer-Aided Verification, 11561:630–49. Springer, 2019. https://doi.org/10.1007/978-3-030-25540-4_36.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Conference Paper | IST-REx-ID: 6493 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.” In 31st International Conference on Computer-Aided Verification, 11561:297–314. Springer, 2019. https://doi.org/10.1007/978-3-030-25540-4_16.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Conference Poster | IST-REx-ID: 6485
Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. Lock-Free Channels for Programming via Communicating Sequential Processes. Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming. ACM Press, 2019. https://doi.org/10.1145/3293883.3297000.
View
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6756 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pranav, Pratyush, Robert J. Adler, Thomas Buchert, Herbert Edelsbrunner, Bernard J.T. Jones, Armin Schwartzman, Hubert Wagner, and Rien Van De Weygaert. “Unexpected Topology of the Temperature Fluctuations in the Cosmic Microwave Background.” Astronomy and Astrophysics. EDP Sciences, 2019. https://doi.org/10.1051/0004-6361/201834916.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6832
Krndija, Denis, Fatima El Marjou, Boris Guirao, Sophie Richon, Olivier Leroy, Yohanns Bellaiche, Edouard B Hannezo, and Danijela Matic Vignjevic. “Active Cell Migration Is Critical for Steady-State Epithelial Turnover in the Gut.” Science. American Association for the Advancement of Science, 2019. https://doi.org/10.1126/science.aau3429.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6837
Tavano, Ste, and Carl-Philipp J Heisenberg. “Migrasomes Take Center Stage.” Nature Cell Biology. Springer Nature, 2019. https://doi.org/10.1038/s41556-019-0369-3.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Research Data Reference | IST-REx-ID: 9900 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 5 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808886.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Journal Article | IST-REx-ID: 6972 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lenzen, Christoph, and Joel Rybicki. “Self-Stabilising Byzantine Clock Synchronisation Is Almost as Easy as Consensus.” Journal of the ACM. ACM, 2019. https://doi.org/10.1145/3339471.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Conference Paper | IST-REx-ID: 6942 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ashok, Pranav, Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Christoph Lampert, and Viktor Toman. “Strategy Representation by Decision Trees with Linear Classifiers.” In 16th International Conference on Quantitative Evaluation of Systems, 11785:109–28. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-30281-8_7.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6259 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cao, Min, Rong Chen, Pan Li, Yongqiang Yu, Rui Zheng, Danfeng Ge, Wei Zheng, et al. “TMK1-Mediated Auxin Signalling Regulates Differential Growth of the Apical Hook.” Nature. Springer Nature, 2019. https://doi.org/10.1038/s41586-019-1069-7.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Book Chapter | IST-REx-ID: 6987 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
McDougall, Alex, Janet Chenevert, Benoit G Godard, and Remi Dumollard. “Emergence of Embryo Shape during Cleavage Divisions.” In Evo-Devo: Non-Model Species in Cell and Developmental Biology, edited by Waclaw Tworzydlo and Szczepan M. Bilinski, 68:127–54. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-23459-1_6.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 10874 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ionica, Sorina, Pınar Kılıçer, Kristin Lauter, Elisa Lorenzo García, Maria-Adelina Manzateanu, Maike Massierer, and Christelle Vincent. “Modular Invariants for Genus 3 Hyperelliptic Curves.” Research in Number Theory. Springer Nature, 2019. https://doi.org/10.1007/s40993-018-0146-6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7108 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goaoc, Xavier, Pavel Patak, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Shellability Is NP-Complete.” Journal of the ACM. ACM, 2019. https://doi.org/10.1145/3314024.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Conference Paper | IST-REx-ID: 7147
Guet, Calin C, Thomas A Henzinger, Claudia Igler, Tatjana Petrov, and Ali Sezgin. “Transient Memory in Gene Regulation.” In 17th International Conference on Computational Methods in Systems Biology, 11773:155–87. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-31304-3_9.
View
| DOI
| WoS
2019 | Conference Paper | IST-REx-ID: 7159
Ničković, Dejan, Xin Qin, Thomas Ferrere, Cristinel Mateis, and Jyotirmoy Deshmukh. “Shape Expressions for Specifying and Extracting Signal Features.” In 19th International Conference on Runtime Verification, 11757:292–309. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-32079-9_17.
View
| DOI
| WoS
2019 | Conference Paper | IST-REx-ID: 7183 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brázdil, Tomás, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, and Dominik Velan. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.” In International Symposium on Automated Technology for Verification and Analysis, 11781:462–78. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-31784-3_27.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 7179 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Klotz, Lisa, Olaf Wendler, Renato Frischknecht, Ryuichi Shigemoto, Holger Schulze, and Ralf Enz. “Localization of Group II and III Metabotropic Glutamate Receptors at Pre- and Postsynaptic Sites of Inner Hair Cell Ribbon Synapses.” FASEB Journal. FASEB, 2019. https://doi.org/10.1096/fj.201901543R.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 7228
Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. “Scalable FIFO Channels for Programming via Communicating Sequential Processes.” In 25th Anniversary of Euro-Par, 11725:317–33. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-29400-7_23.
View
| DOI
| WoS
2019 | Conference Paper | IST-REx-ID: 7231 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kong, Hui, Ezio Bartocci, Yu Jiang, and Thomas A Henzinger. “Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.” In 17th International Conference on Formal Modeling and Analysis of Timed Systems, 11750:123–41. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-29662-9_8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Conference Paper | IST-REx-ID: 7230 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Arroyo Guevara, Alan M, Martin Derka, and Irene Parada. “Extending Simple Drawings.” In 27th International Symposium on Graph Drawing and Network Visualization, 11904:230–43. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-35802-0_18.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv