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 |Published| Conference Paper | IST-REx-ID: 6462 | 
Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. Run-time optimization for learned controllers through quantitative games. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:630-649. doi:10.1007/978-3-030-25540-4_36
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 6493 |
Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. Membership-based synthesis of linear hybrid automata. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:297-314. doi:10.1007/978-3-030-25540-4_16
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Poster | IST-REx-ID: 6485
Koval N, Alistarh D-A, Elizarov R. Lock-Free Channels for Programming via Communicating Sequential Processes. ACM Press; 2019:417-418. doi:10.1145/3293883.3297000
View
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6756 |
Pranav P, Adler RJ, Buchert T, et al. Unexpected topology of the temperature fluctuations in the cosmic microwave background. Astronomy and Astrophysics. 2019;627. doi:10.1051/0004-6361/201834916
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 6832
Krndija D, Marjou FE, Guirao B, et al. Active cell migration is critical for steady-state epithelial turnover in the gut. Science. 2019;365(6454):705-710. doi:10.1126/science.aau3429
View
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 6837
Tavano S, Heisenberg C-PJ. Migrasomes take center stage. Nature Cell Biology. 2019;21(8):918-920. doi:10.1038/s41556-019-0369-3
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Research Data Reference | IST-REx-ID: 9900 |
Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 5 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808886.v1
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 6972 |
Lenzen C, Rybicki J. Self-stabilising Byzantine clock synchronisation is almost as easy as consensus. Journal of the ACM. 2019;66(5). doi:10.1145/3339471
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 6942 |
Ashok P, Brázdil T, Chatterjee K, Křetínský J, Lampert C, Toman V. Strategy representation by decision trees with linear classifiers. In: 16th International Conference on Quantitative Evaluation of Systems. Vol 11785. Springer Nature; 2019:109-128. doi:10.1007/978-3-030-30281-8_7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 6259 |
Cao M, Chen R, Li P, et al. TMK1-mediated auxin signalling regulates differential growth of the apical hook. Nature. 2019;568:240-243. doi:10.1038/s41586-019-1069-7
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Book Chapter | IST-REx-ID: 6987 |
McDougall A, Chenevert J, Godard BG, Dumollard R. Emergence of embryo shape during cleavage divisions. In: Tworzydlo W, Bilinski SM, eds. Evo-Devo: Non-Model Species in Cell and Developmental Biology. Vol 68. Springer Nature; 2019:127-154. doi:10.1007/978-3-030-23459-1_6
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 10874 |
Ionica S, Kılıçer P, Lauter K, et al. Modular invariants for genus 3 hyperelliptic curves. Research in Number Theory. 2019;5. doi:10.1007/s40993-018-0146-6
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7108 |
Goaoc X, Patak P, Patakova Z, Tancer M, Wagner U. Shellability is NP-complete. Journal of the ACM. 2019;66(3). doi:10.1145/3314024
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7147
Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. Transient memory in gene regulation. In: 17th International Conference on Computational Methods in Systems Biology. Vol 11773. Springer Nature; 2019:155-187. doi:10.1007/978-3-030-31304-3_9
View
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 7159
Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. Shape expressions for specifying and extracting signal features. In: 19th International Conference on Runtime Verification. Vol 11757. Springer Nature; 2019:292-309. doi:10.1007/978-3-030-32079-9_17
View
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 7183 |
Brázdil T, Chatterjee K, Kucera A, Novotný P, Velan D. Deciding fast termination for probabilistic VASS with nondeterminism. In: International Symposium on Automated Technology for Verification and Analysis. Vol 11781. Springer Nature; 2019:462-478. doi:10.1007/978-3-030-31784-3_27
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7179 |
Klotz L, Wendler O, Frischknecht R, Shigemoto R, Schulze H, Enz R. Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses. FASEB Journal. 2019;33(12):13734-13746. doi:10.1096/fj.201901543R
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Conference Paper | IST-REx-ID: 7228
Koval N, Alistarh D-A, Elizarov R. Scalable FIFO channels for programming via communicating sequential processes. In: 25th Anniversary of Euro-Par. Vol 11725. Springer Nature; 2019:317-333. doi:10.1007/978-3-030-29400-7_23
View
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 7231 |
Kong H, Bartocci E, Jiang Y, Henzinger TA. Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In: 17th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 11750. Springer Nature; 2019:123-141. doi:10.1007/978-3-030-29662-9_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7230 |
Arroyo Guevara AM, Derka M, Parada I. Extending simple drawings. In: 27th International Symposium on Graph Drawing and Network Visualization. Vol 11904. Springer Nature; 2019:230-243. doi:10.1007/978-3-030-35802-0_18
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv