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.
5250 Publications
2021 |Published| Thesis | IST-REx-ID: 8934 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. K. Goharshady, “Parameterized and algebro-geometric advances in static program analysis,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 |Published| Journal Article | IST-REx-ID: 8909 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D. Jirovec et al., “A singlet triplet hole spin qubit in planar Ge,” Nature Materials, vol. 20, no. 8. Springer Nature, pp. 1106–1112, 2021.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 10066 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Severin B, Lennon DT, Camenzind LC, Vigneau F, Fedele F, Jirovec D, Ballabio A, Chrastina D, Isella G, Kruijf M de, Carballido MJ, Svab S, Kuhlmann AV, Braakman FR, Geyer S, Froning FNM, Moon H, Osborne MA, Sejdinovic D, Katsaros G, Zumbühl DM, Briggs GAD, Ares N. Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning. arXiv, 10.48550/arXiv.2107.12975.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Thesis | IST-REx-ID: 10058 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D. Jirovec, “Singlet-Triplet qubits and spin-orbit interaction in 2-dimensional Ge hole gases,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2020 | Patent | IST-REx-ID: 10557 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
B. Ford, L. Gasse, E. Kokoris Kogias, and P. Jovanovic, “Cryptographically verifiable data structure having multi-hop forward and backwards links and associated systems and methods.” 2020.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 10673 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Hasani, M. Lechner, A. Amini, D. Rus, and R. Grosu, “A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits,” in Proceedings of the 37th International Conference on Machine Learning, Virtual, 2020, pp. 4082–4093.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 7272 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Arbel-Raviv, T. A. Brown, and A. Morrison, “Getting to the root of concurrent binary search tree performance,” in Proceedings of the 2018 USENIX Annual Technical Conference, Boston, MA, United States, 2020, pp. 295–306.
[Published Version]
View
| Download Published Version (ext.)
2020 |Published| Conference Paper | IST-REx-ID: 7346 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
L. Schmid, K. Chatterjee, and S. Schmid, “The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game,” in Proceedings of the 23rd International Conference on Principles of Distributed Systems, Neuchâtel, Switzerland, 2020, vol. 153.
[Preprint]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 7348 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. Ferrere, T. A. Henzinger, and B. Kragl, “Monitoring event frequencies,” in 28th EACSL Annual Conference on Computer Science Logic, Barcelona, Spain, 2020, vol. 152.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7567 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Choudhary, S. Kachanovich, and M. Wintraecken, “Coxeter triangulations have good quality,” Mathematics in Computer Science, vol. 14. Springer Nature, pp. 141–176, 2020.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 7594 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D. Gotfryd, E. Paerschke, J. Chaloupka, A. M. Oles, and K. Wohlfeld, “How spin-orbital entanglement depends on the spin-orbit coupling in a Mott insulator,” Physical Review Research, vol. 2, no. 1. American Physical Society, 2020.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7605 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D.-A. Alistarh, A. Fedorov, and N. Koval, “In search of the fastest concurrent union-find algorithm,” in 23rd International Conference on Principles of Distributed Systems, Neuchatal, Switzerland, 2020, vol. 153, p. 15:1-15:16.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Preprint | IST-REx-ID: 7601 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Z. Wei et al., “Plasmodesmata-like intercellular connections by plant remorin in animal cells,” bioRxiv. Cold Spring Harbor Laboratory, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Journal Article | IST-REx-ID: 7651 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. Larsson, A. M. Westram, S. Bengmark, T. Lundh, and R. K. Butlin, “A developmentally descriptive method for quantifying shape in gastropod shells,” Journal of The Royal Society Interface, vol. 17, no. 163. The Royal Society, 2020.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7803 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Czumaj, P. Davies, and M. Parter, “Simple, deterministic, constant-round coloring in the congested clique,” in Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing, Salerno, Italy, 2020, pp. 309–318.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 7806 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Filakovský, U. Wagner, and S. Y. Zhechev, “Embeddability of simplicial complexes is undecidable,” in Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Salt Lake City, UT, United States, 2020, vol. 2020–January, pp. 767–785.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |Published| Journal Article | IST-REx-ID: 7814 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. J. Beattie, S. Hippenmeyer, and F. Pauler, “SCOPES: Sparking curiosity through Open-Source platforms in education and science,” Frontiers in Education, vol. 5. Frontiers Media, 2020.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 7866 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Fellner and M. Kniely, “Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model,” Journal of Elliptic and Parabolic Equations, vol. 6. Springer Nature, pp. 529–598, 2020.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 7919 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. I. Mistakidis, A. Volosniev, and P. Schmelcher, “Induced correlations between impurities in a one-dimensional quenched Bose gas,” Physical Review Research, vol. 2. American Physical Society, 2020.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7991 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Avvakumov and G. Nivasch, “Homotopic curve shortening and the affine curve-shortening flow,” in 36th International Symposium on Computational Geometry, Zürich, Switzerland, 2020, vol. 164.
[Published Version]
View
| Files available
| DOI
| arXiv