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.
1790 Publications
2019 |Published| Conference Paper | IST-REx-ID: 6462 | 
G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger, “Run-time optimization for learned controllers through quantitative games,” in 31st International Conference on Computer-Aided Verification, New York, NY, United States, 2019, vol. 11561, pp. 630–649.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 6493 |
M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6564 |
A.-M. Tichy, E. J. Gerrard, J. M. D. Legrand, R. M. Hobbs, and H. L. Janovjak, “Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions,” Journal of Molecular Biology, vol. 431, no. 17. Elsevier, pp. 3046–3055, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6756 |
P. Pranav et al., “Unexpected topology of the temperature fluctuations in the cosmic microwave background,” Astronomy and Astrophysics, vol. 627. EDP Sciences, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 6832
D. Krndija et al., “Active cell migration is critical for steady-state epithelial turnover in the gut,” Science, vol. 365, no. 6454. American Association for the Advancement of Science, pp. 705–710, 2019.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 6837
S. Tavano and C.-P. J. Heisenberg, “Migrasomes take center stage,” Nature Cell Biology, vol. 21, no. 8. Springer Nature, pp. 918–920, 2019.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Research Data Reference | IST-REx-ID: 9901 |
O. M. Sigalova et al., “Additional file 9 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction.” Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Research Data Reference | IST-REx-ID: 9900 |
O. M. Sigalova et al., “Additional file 5 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction.” Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 6972 |
C. Lenzen and J. Rybicki, “Self-stabilising Byzantine clock synchronisation is almost as easy as consensus,” Journal of the ACM, vol. 66, no. 5. ACM, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 6942 |
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, and V. Toman, “Strategy representation by decision trees with linear classifiers,” in 16th International Conference on Quantitative Evaluation of Systems, Glasgow, United Kingdom, 2019, vol. 11785, pp. 109–128.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7000 |
Y. Shehu, O. S. Iyiola, X.-H. Li, and Q.-L. Dong, “Convergence analysis of projection method for variational inequalities,” Computational and Applied Mathematics, vol. 38, no. 4. Springer Nature, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7009
K. Yamada and M. K. Sixt, “Mechanisms of 3D cell migration,” Nature Reviews Molecular Cell Biology, vol. 20, no. 12. Springer Nature, pp. 738–752, 2019.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 6259 |
M. Cao et al., “TMK1-mediated auxin signalling regulates differential growth of the apical hook,” Nature, vol. 568. Springer Nature, pp. 240–243, 2019.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Book Chapter | IST-REx-ID: 6987 |
A. McDougall, J. Chenevert, B. G. Godard, and R. Dumollard, “Emergence of embryo shape during cleavage divisions,” in Evo-Devo: Non-model species in cell and developmental biology, vol. 68, W. Tworzydlo and S. M. Bilinski, Eds. Springer Nature, 2019, pp. 127–154.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 10874 |
S. Ionica et al., “Modular invariants for genus 3 hyperelliptic curves,” Research in Number Theory, vol. 5. Springer Nature, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7108 |
X. Goaoc, P. Patak, Z. Patakova, M. Tancer, and U. Wagner, “Shellability is NP-complete,” Journal of the ACM, vol. 66, no. 3. ACM, 2019.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7159
D. Ničković, X. Qin, T. Ferrere, C. Mateis, and J. Deshmukh, “Shape expressions for specifying and extracting signal features,” in 19th International Conference on Runtime Verification, Porto, Portugal, 2019, vol. 11757, pp. 292–309.
View
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 7183 |
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, and D. Velan, “Deciding fast termination for probabilistic VASS with nondeterminism,” in International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, 2019, vol. 11781, pp. 462–478.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv