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.
5165 Publications
2018 |Submitted| Preprint | IST-REx-ID: 8547 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Llorca et al., “Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture,” bioRxiv. Cold Spring Harbor Laboratory.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2018 |Published| Book Chapter | IST-REx-ID: 86 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee, T. A. Henzinger, and J. Otop, “Computing average response time,” in Principles of Modeling, vol. 10760, M. Lohstroh, P. Derler, and M. Sirjani, Eds. Springer, 2018, pp. 143–161.
[Submitted Version]
View
| Files available
| DOI
2018 |Published| Journal Article | IST-REx-ID: 9229 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. G. Danzl, “Diffraction-unlimited optical imaging for synaptic physiology,” Opera Medica et Physiologica, vol. 4, no. S1. Lobachevsky State University of Nizhny Novgorod, p. 11, 2018.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 |Published| Conference Paper | IST-REx-ID: 6005 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. Avni, S. Guha, and O. Kupferman, “Timed network games with clocks,” presented at the MFCS: Mathematical Foundations of Computer Science, Liverpool, United Kingdom, 2018, vol. 117.
[Published Version]
View
| Files available
| DOI
2018 |Published| Journal Article | IST-REx-ID: 315 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. Polechova, “Is the sky the limit? On the expansion threshold of a species’ range,” PLoS Biology, vol. 16, no. 6. Public Library of Science, 2018.
[Published Version]
View
| Files available
| DOI
2018 |Published| Conference Paper | IST-REx-ID: 186 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Fulek and J. Kynčl, “The ℤ2-Genus of Kuratowski minors,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99, p. 40.1-40.14.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 |Published| Conference Paper | IST-REx-ID: 433 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Fulek and J. Pach, “Thrackles: An improved upper bound,” presented at the GD 2017: Graph Drawing and Network Visualization, Boston, MA, United States, 2018, vol. 10692, pp. 160–166.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 | Research Data Reference | IST-REx-ID: 9837 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Faria et al., “Data from: Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes.” Dryad, 2018.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2018 |Published| Technical Report | IST-REx-ID: 5457 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous, Cost analysis of nondeterministic probabilistic programs. IST Austria, 2018.
[Published Version]
View
| Files available
2018 |Published| Book Chapter | IST-REx-ID: 10864 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Kazda, M. Kozik, R. McKenzie, and M. Moore, “Absorption and directed Jónsson terms,” in Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, vol. 16, J. Czelakowski, Ed. Cham: Springer Nature, 2018, pp. 203–220.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Conference Paper | IST-REx-ID: 184 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Shellability is NP-complete,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99, p. 41:1-41:16.
[Published Version]
View
| Files available
| DOI
2018 |Published| Conference Paper | IST-REx-ID: 285 |
![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,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2018 | Research Data Reference | IST-REx-ID: 13059 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
E. Garriga et al., “Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method.” Zenodo, 2018.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2018 |Published| Thesis | IST-REx-ID: 49 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
H. Watzinger, “Ge hut wires - from growth to hole spin resonance,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 |Published| Thesis | IST-REx-ID: 201 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Iglesias Ham, “Multiple covers with balls,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 |Published| Thesis | IST-REx-ID: 68 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Zimin, “Learning from dependent data,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 |Published| Thesis | IST-REx-ID: 83 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
H. M. Abusalah, “Proof systems for sustainable decentralized cryptocurrencies,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 |Published| Thesis | IST-REx-ID: 197 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Kolesnikov, “Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 |Published| Journal Article | IST-REx-ID: 6774 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Filakovský, P. Franek, U. Wagner, and S. Y. Zhechev, “Computing simplicial representatives of homotopy group elements,” Journal of Applied and Computational Topology, vol. 2, no. 3–4. Springer, pp. 177–231, 2018.
[Published Version]
View
| Files available
| DOI
2018 |Published| Conference Paper | IST-REx-ID: 133 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
B. Kragl, S. Qadeer, and T. A. Henzinger, “Synchronizing the asynchronous,” presented at the CONCUR: International Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.
[Published Version]
View
| Files available
| DOI