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.
1850 Publications
2019 |Published| Journal Article | IST-REx-ID: 6972 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 6259 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
2019 |Published| Journal Article | IST-REx-ID: 7181 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
E. Garriga et al., “Large multiple sequence alignments with a root-to-leaf regressive method,” Nature Biotechnology, vol. 37, no. 12. Springer Nature, pp. 1466–1470, 2019.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 7179 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
L. Klotz, O. Wendler, R. Frischknecht, R. Shigemoto, H. Schulze, and R. Enz, “Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses,” FASEB Journal, vol. 33, no. 12. FASEB, pp. 13734–13746, 2019.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Conference Paper | IST-REx-ID: 7231 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
H. Kong, E. Bartocci, Y. Jiang, and T. A. Henzinger, “Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty,” in 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands, 2019, vol. 11750, pp. 123–141.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7422 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. R. Sokolowski et al., “eGFRD in all dimensions,” The Journal of Chemical Physics, vol. 150, no. 5. AIP Publishing, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7230 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. M. Arroyo Guevara, M. Derka, and I. Parada, “Extending simple drawings,” in 27th International Symposium on Graph Drawing and Network Visualization, Prague, Czech Republic, 2019, vol. 11904, pp. 230–243.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7411 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
H. M. Abusalah, C. Kamath Hosdurg, K. Klein, K. Z. Pietrzak, and M. Walter, “Reversible proofs of sequential work,” in Advances in Cryptology – EUROCRYPT 2019, Darmstadt, Germany, 2019, vol. 11477, pp. 277–291.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2019 |Published| Thesis | IST-REx-ID: 6681 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Y. Zhechev, “Algorithmic aspects of homotopy theory and embeddability,” Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
2019 |Published| Conference Paper | IST-REx-ID: 6556 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Huszár and J. Spreer, “3-manifold triangulations with small treewidth,” in 35th International Symposium on Computational Geometry, Portland, Oregon, United States, 2019, vol. 129, p. 44:1-44:20.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7093 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Huszár, J. Spreer, and U. Wagner, “On the treewidth of triangulated 3-manifolds,” Journal of Computational Geometry, vol. 10, no. 2. Computational Geometry Laborartoy, pp. 70–98, 2019.
[Published Version]
View
| Files available
| DOI
| arXiv