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.
5025 Publications
2018 |Published| Book Chapter | IST-REx-ID: 86 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Computing average response time
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
2018 |Published| Journal Article | IST-REx-ID: 9229 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Diffraction-unlimited optical imaging for synaptic physiology
J.G. Danzl, Opera Medica et Physiologica 4 (2018) 11.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J.G. Danzl, Opera Medica et Physiologica 4 (2018) 11.
2018 |Published| Conference Paper | IST-REx-ID: 6005 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 |Published| Journal Article | IST-REx-ID: 315 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Is the sky the limit? On the expansion threshold of a species’ range
J. Polechova, PLoS Biology 16 (2018).
[Published Version]
View
| Files available
| DOI
J. Polechova, PLoS Biology 16 (2018).
2018 |Published| Journal Article | IST-REx-ID: 9471 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
FACT complex is required for DNA demethylation at heterochromatin during reproduction in Arabidopsis
J.M. Frost, M.Y. Kim, G.T. Park, P.-H. Hsieh, M. Nakamura, S.J.H. Lin, H. Yoo, J. Choi, Y. Ikeda, T. Kinoshita, Y. Choi, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 115 (2018) E4720–E4729.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J.M. Frost, M.Y. Kim, G.T. Park, P.-H. Hsieh, M. Nakamura, S.J.H. Lin, H. Yoo, J. Choi, Y. Ikeda, T. Kinoshita, Y. Choi, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 115 (2018) E4720–E4729.
2018 |Published| Conference Paper | IST-REx-ID: 186 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The ℤ2-Genus of Kuratowski minors
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14.
2018 |Published| Conference Paper | IST-REx-ID: 433 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Thrackles: An improved upper bound
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
2018 | Research Data Reference | IST-REx-ID: 9837 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Data from: Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, (2018).
2018 |Published| Book Chapter | IST-REx-ID: 10864 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Absorption and directed Jónsson terms
A. Kazda, M. Kozik, R. McKenzie, M. Moore, in:, J. Czelakowski (Ed.), Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Springer Nature, Cham, 2018, pp. 203–220.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Kazda, M. Kozik, R. McKenzie, M. Moore, in:, J. Czelakowski (Ed.), Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Springer Nature, Cham, 2018, pp. 203–220.
2018 |Published| Conference Paper | IST-REx-ID: 184 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shellability is NP-complete
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16.
[Published Version]
View
| Files available
| DOI
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16.
2018 |Published| Conference Paper | IST-REx-ID: 285 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On the treewidth of triangulated 3-manifolds
K. Huszár, J. Spreer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Submitted Version]
View
| Files available
| DOI
| arXiv
K. Huszár, J. Spreer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Research Data Reference | IST-REx-ID: 13059 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method
E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).
2018 |Published| Thesis | IST-REx-ID: 49 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ge hut wires - from growth to hole spin resonance
H. Watzinger, Ge Hut Wires - from Growth to Hole Spin Resonance, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
H. Watzinger, Ge Hut Wires - from Growth to Hole Spin Resonance, Institute of Science and Technology Austria, 2018.
2018 |Published| Thesis | IST-REx-ID: 201 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Multiple covers with balls
M. Iglesias Ham, Multiple Covers with Balls, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
M. Iglesias Ham, Multiple Covers with Balls, Institute of Science and Technology Austria, 2018.
2018 |Published| Thesis | IST-REx-ID: 68 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Learning from dependent data
A. Zimin, Learning from Dependent Data, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
A. Zimin, Learning from Dependent Data, Institute of Science and Technology Austria, 2018.
2018 |Published| Thesis | IST-REx-ID: 83 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Proof systems for sustainable decentralized cryptocurrencies
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, Institute of Science and Technology Austria, 2018.
2018 |Published| Thesis | IST-REx-ID: 197 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images
A. Kolesnikov, Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
A. Kolesnikov, Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images, Institute of Science and Technology Austria, 2018.
2018 |Published| Journal Article | IST-REx-ID: 6774 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Computing simplicial representatives of homotopy group elements
M. Filakovský, P. Franek, U. Wagner, S.Y. Zhechev, Journal of Applied and Computational Topology 2 (2018) 177–231.
[Published Version]
View
| Files available
| DOI
M. Filakovský, P. Franek, U. Wagner, S.Y. Zhechev, Journal of Applied and Computational Topology 2 (2018) 177–231.
2018 |Published| Conference Paper | IST-REx-ID: 133 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Synchronizing the asynchronous
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 |Published| Conference Paper | IST-REx-ID: 187 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The multi-cover persistence of Euclidean balls
H. Edelsbrunner, G.F. Osang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, G.F. Osang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.