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.

4133 Publications


2018 | Conference Paper | IST-REx-ID: 6005 | OA
Avni G, Guha S, Kupferman O. 2018. Timed network games with clocks. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 117, 23.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 315 | OA
Polechova J. 2018. Is the sky the limit? On the expansion threshold of a species’ range. PLoS Biology. 16(6), e2005372.
[Published Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 186 | OA
Fulek R, Kynčl J. 2018. The ℤ2-Genus of Kuratowski minors. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 99, 40.1-40.14.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 433 | OA
Fulek R, Pach J. 2018. Thrackles: An improved upper bound. GD 2017: Graph Drawing and Network Visualization, LNCS, vol. 10692, 160–166.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Research Data Reference | IST-REx-ID: 9837 | OA
Faria R, Chaube P, Morales HE, Larsson T, Lemmon AR, Lemmon EM, Rafajlović M, Panova M, Ravinet M, Johannesson K, Westram AM, Butlin RK. 2018. Data from: Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes, Dryad, 10.5061/dryad.72cg113.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2018 | Technical Report | IST-REx-ID: 5457 | OA
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4, Anonymous 5, Anonymous 6. 2018. Cost analysis of nondeterministic probabilistic programs, IST Austria, 27p.
[Published Version] View | Files available
 

2018 | Book Chapter | IST-REx-ID: 10864 | OA
Kazda A, Kozik M, McKenzie R, Moore M. 2018.Absorption and directed Jónsson terms. In: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. vol. 16, 203–220.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 184 | OA
Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2018. Shellability is NP-complete. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 41:1-41:16.
[Published Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 285 | OA
Huszár K, Spreer J, Wagner U. 2018. On the treewidth of triangulated 3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 99, 46.
[Submitted Version] View | Files available | DOI | arXiv
 

2018 | Research Data Reference | IST-REx-ID: 13059 | OA
Garriga E, di Tommaso P, Magis C, Erb I, Mansouri L, Baltzis A, Laayouni H, Kondrashov F, Floden E, Notredame C. 2018. Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method, Zenodo, 10.5281/ZENODO.2025846.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2018 | Thesis | IST-REx-ID: 49 | OA
Watzinger H. 2018. Ge hut wires - from growth to hole spin resonance. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 201 | OA
Iglesias Ham M. 2018. Multiple covers with balls. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 68 | OA
Zimin A. 2018. Learning from dependent data. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 83 | OA
Abusalah HM. 2018. Proof systems for sustainable decentralized cryptocurrencies. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 197 | OA
Kolesnikov A. 2018. Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6774 | OA
Filakovský M, Franek P, Wagner U, Zhechev SY. 2018. Computing simplicial representatives of homotopy group elements. Journal of Applied and Computational Topology. 2(3–4), 177–231.
[Published Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 133 | OA
Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 118, 21.
[Published Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 187 | OA
Edelsbrunner H, Osang GF. 2018. The multi-cover persistence of Euclidean balls. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 99, 34.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 692 | OA
Akopyan A. 2018. 3-Webs generated by confocal conics and circles. Geometriae Dedicata. 194(1), 55–64.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 77 | OA
Watzinger H, Kukucka J, Vukušić L, Gao F, Wang T, Schäffler F, Zhang J, Katsaros G. 2018. A germanium hole spin qubit. Nature Communications. 9(3902).
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications