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.
10785 Publications
2018 | Published | Conference Paper | IST-REx-ID: 143 | 
Brázdil T, Chatterjee K, Kučera A, Novotný P, Velan D, Zuleger F. 2018. Efficient algorithms for asymptotic bounds on termination time in VASS. LICS: Logic in Computer Science, ACM/IEEE Symposium on Logic in Computer Science, vol. F138033, 185–194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 328 |
Choueiri GH, Lopez Alonso JM, Hof B. 2018. Exceeding the asymptotic limit of polymer drag reduction. Physical Review Letters. 120(12), 124501.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 458 |
Akopyan A, Bobenko A. 2018. Incircular nets and confocal conics. Transactions of the American Mathematical Society. 370(4), 2825–2854.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 420 |
Bighin G, Salasnich L. 2018. Renormalization of the superfluid density in the two-dimensional BCS-BEC crossover. International Journal of Modern Physics B. 32(17), 1840022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 6032 |
Kazda A, Kolmogorov V, Rolinek M. 2018. Even delta-matroids and the complexity of planar boolean CSPs. ACM Transactions on Algorithms. 15(2), 22.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 19806 |
Bahramy MS, Clark OJ, Yang B-J, Feng J, Bawden L, Riley JM, Marković I, Mazzola F, Sunko V, Biswas D, Cooil SP, Jorge M, Wells JW, Leandersson M, Balasubramanian T, Fujii J, Vobornik I, Rault JE, Kim TK, Hoesch M, Okawa K, Asakawa M, Sasagawa T, Eknapakul T, Meevasana W, King PDC. 2018. Ubiquitous formation of bulk Dirac cones and topological surface states from a single orbital manifold in transition-metal dichalcogenides. Nature Materials. 17, 21–28.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 19808 |
Nandi N, Scaffidi T, Kushwaha P, Khim S, Barber ME, Sunko V, Mazzola F, King PDC, Rosner H, Moll PJW, König M, Moore JE, Hartnoll S, Mackenzie AP. 2018. Unconventional magneto-transport in ultrapure PdCoO2 and PtCoO2. npj Quantum Materials. 3, 66.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2018 | Published | 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 | Published | Conference Paper | IST-REx-ID: 6665 |
Fazeli A, Hassani H, Mondelli M, Vardy A. 2018. Binary linear codes with optimal scaling: Polar codes with large kernels. 2018 IEEE Information Theory Workshop. ITW: Information Theory Workshop, 1–5.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 6589 |
Alistarh D-A, Hoefler T, Johansson M, Konstantinov NH, Khirirat S, Renggli C. 2018. The convergence of sparsified gradient methods. Advances in Neural Information Processing Systems 31. NeurIPS: Conference on Neural Information Processing Systems vol. Volume 2018, 5973–5983.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | 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 | Published | Conference Paper | IST-REx-ID: 7407 |
Pietrzak KZ. 2018. Proofs of catalytic space. 10th Innovations in Theoretical Computer Science Conference. ITCS: Innovations in Theoretical Computer Science, LIPIcs, vol. 124, 59:1-59:25.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Published | Journal Article | IST-REx-ID: 54 |
Nunes Pinheiro DC, Bellaïche Y. 2018. Mechanical force-driven adherents junction remodeling and epithelial dynamics. Developmental Cell. 47(1), 3–19.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2018 | Published | Journal Article | IST-REx-ID: 6006 |
Avni G, Guha S, Kupferman O. 2018. An abstraction-refinement methodology for reasoning about network games. Games. 9(3), 39.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 1012 |
Erdös L, Schröder DJ. 2018. Fluctuations of rectangular young diagrams of interlacing wigner eigenvalues. International Mathematics Research Notices. 2018(10), 3255–3298.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Thesis | IST-REx-ID: 418 |
Gschaider-Reichhart E. 2018. Optical and optogenetic control of proliferation and survival . Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 200 |
Ringbauer H. 2018. Inferring recent demography from spatial genetic structure. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 10883 |
Chatterjee K, Dvořák W, Henzinger M, Svozil A. 2018. Quasipolynomial set-based symbolic algorithms for parity games. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. LPAR: Logic for Programming, Artificial Intelligence and Reasoning, EPiC Series in Computing, vol. 57, 233–253.
[Published Version]
View
| Files available
| DOI
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 434
Jiang Y, Liu H, Song H, Kong H, Wang R, Guan Y, Sha L. 2018. Safety-assured model-driven design of the multifunction vehicle bus controller. IEEE Transactions on Intelligent Transportation Systems. 19(10), 3320–3333.
View
| Files available
| DOI
| WoS
2018 | Published | Conference Paper | IST-REx-ID: 156 |
Ferrere T. 2018. The compound interest in relaxing punctuality. FM: Formal Methods, LNCS, vol. 10951, 147–164.
[Submitted Version]
View
| Files available
| DOI
| WoS