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.
4947 Publications
2018 | Conference Paper | IST-REx-ID: 11 |
Leopold NK, Pickl P. 2018. Mean-field limits of particles in interaction with quantised radiation fields. MaLiQS: Macroscopic Limits of Quantum Systems vol. 270, 185–214.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 1215 |
Flandoli F, Russo F, Zanco GA. 2018. Infinite-dimensional calculus under weak spatial regularity of the processes. Journal of Theoretical Probability. 31(2), 789–826.
[Published Version]
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 185 |
Fulek R, Kynčl J. 2018. Hanani-Tutte for approximating maps of graphs. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 39.
[Published Version]
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 188 |
Edelsbrunner H, Virk Z, Wagner H. 2018. Smallest enclosing spheres and Chernoff points in Bregman geometry. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 35:1-35:13.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 306 |
De Martino A, De Martino D. 2018. An introduction to the maximum entropy approach and its application to inference problems in biology. Heliyon. 4(4), e00596.
[Published Version]
View
| Files available
| DOI
2018 | Book Chapter | IST-REx-ID: 37 |
Zagórski MP, Kicheva A. 2018.Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube. In: Morphogen Gradients . Methods in Molecular Biology, vol. 1863, 47–63.
[Submitted Version]
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 325 |
Agrawal S, Chatterjee K, Novotný P. 2018. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. POPL: Principles of Programming Languages vol. 2, 34.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Book Chapter | IST-REx-ID: 408
Trinh H, Verstraeten I, Geelen D. 2018.In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls. In: Root Development . MIMB, vol. 1761, 95–102.
View
| DOI
| PubMed | Europe PMC
2018 | Book Chapter | IST-REx-ID: 411
Karampelias M, Tejos R, Friml J, Vanneste S. 2018.Optimized whole mount in situ immunolocalization for Arabidopsis thaliana root meristems and lateral root primordia. In: Root Development. Methods and Protocols. Methods in Molecular Biology, vol. 1761, 131–143.
View
| DOI
2018 | Journal Article | IST-REx-ID: 53 |
Petritsch B, Porsche J. 2018. IST PubRep and IST DataRep: the institutional repositories at IST Austria. VÖB Mitteilungen. 71(1), 199–206.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 536 |
Alistarh D-A, Aspnes J, King V, Saia J. 2018. Communication-efficient randomized consensus. Distributed Computing. 31(6), 489–501.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 554 |
Napiórkowski MM, Reuvers R, Solovej J. 2018. The Bogoliubov free energy functional II: The dilute Limit. Communications in Mathematical Physics. 360(1), 347–403.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 | Book Chapter | IST-REx-ID: 562 |
Dimitrov D, Guillaud L, Eguchi K, Takahashi T. 2018.Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses. In: Neurotrophic Factors. Methods in Molecular Biology, vol. 1727, 201–215.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 6354 |
Fan S, Lorenz M, Massberg S, Gärtner FR. 2018. Platelet migration and bacterial trapping assay under flow. Bio-Protocol. 8(18), e3018.
[Published Version]
View
| Files available
| DOI
2018 | Conference Poster | IST-REx-ID: 6459 |
Petritsch B. 2018. Open Access at IST Austria 2009-2017, IST Austria,p.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 690 |
Lee J, Schnelli K. 2018. Local law and Tracy–Widom limit for sparse random matrices. Probability Theory and Related Fields. 171(1–2), 543–616.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 703 |
Shekhovtsov A, Swoboda P, Savchynskyy B. 2018. Maximum persistency via iterative relaxed inference with graphical models. IEEE Transactions on Pattern Analysis and Machine Intelligence. 40(7), 1668–1682.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 7116 |
Grubic D, Tam L, Alistarh D-A, Zhang C. 2018. Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study. Proceedings of the 21st International Conference on Extending Database Technology. EDBT: Conference on Extending Database Technology, 145–156.
[Published Version]
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 7407 |
Pietrzak KZ. 2018. Proofs of catalytic space. 10th Innovations in Theoretical Computer Science Conference (ITCS 2019). ITCS: Innovations in theoretical Computer Science Conference, LIPIcs, vol. 124, 59:1-59:25.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Journal Article | IST-REx-ID: 6001
Alistarh D-A, Leiserson W, Matveev A, Shavit N. 2018. ThreadScan: Automatic and scalable memory reclamation. ACM Transactions on Parallel Computing. 4(4), 18.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 7812 |
Polino A, Pascanu R, Alistarh D-A. 2018. Model compression via distillation and quantization. 6th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
[Published Version]
View
| Files available
| arXiv
2018 | Preprint | IST-REx-ID: 8547 |
Llorca A, Ciceri G, Beattie RJ, Wong FK, Diana G, Serafeimidou E, Fernández-Otero M, Streicher C, Arnold SJ, Meyer M, Hippenmeyer S, Maravall M, Marín O. Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture. bioRxiv, 10.1101/494088.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2018 | Book Chapter | IST-REx-ID: 86 |
Chatterjee K, Henzinger TA, Otop J. 2018.Computing average response time. In: Principles of Modeling. LNCS, vol. 10760, 143–161.
[Submitted Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 9229 |
Danzl JG. 2018. Diffraction-unlimited optical imaging for synaptic physiology. Opera Medica et Physiologica. 4(S1), 11.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 | Conference Paper | IST-REx-ID: 6005 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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