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.
5188 Publications
2020 | Patent | IST-REx-ID: 10557 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ford B, Gasse L, Kokoris Kogias E, Jovanovic P. 2020. Cryptographically verifiable data structure having multi-hop forward and backwards links and associated systems and methods.
[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)
Hasani R, Lechner M, Amini A, Rus D, Grosu R. 2020. A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits. Proceedings of the 37th International Conference on Machine Learning. ML: Machine LearningPMLR, PMLR, , 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)
Arbel-Raviv M, Brown TA, Morrison A. 2020. Getting to the root of concurrent binary search tree performance. Proceedings of the 2018 USENIX Annual Technical Conference. USENIX: Annual Technical Conference, 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)
Schmid L, Chatterjee K, Schmid S. 2020. The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game. Proceedings of the 23rd International Conference on Principles of Distributed Systems. OPODIS: International Conference on Principles of Distributed Systems, LIPIcs, vol. 153, 21.
[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)
Ferrere T, Henzinger TA, Kragl B. 2020. Monitoring event frequencies. 28th EACSL Annual Conference on Computer Science Logic. CSL: Computer Science Logic, LIPIcs, vol. 152, 20.
[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)
Choudhary A, Kachanovich S, Wintraecken M. 2020. Coxeter triangulations have good quality. Mathematics in Computer Science. 14, 141–176.
[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)
Gotfryd D, Paerschke E, Chaloupka J, Oles AM, Wohlfeld K. 2020. How spin-orbital entanglement depends on the spin-orbit coupling in a Mott insulator. Physical Review Research. 2(1), 013353.
[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)
Alistarh D-A, Fedorov A, Koval N. 2020. In search of the fastest concurrent union-find algorithm. 23rd International Conference on Principles of Distributed Systems. OPODIS: International Conference on Principles of Distributed Systems, LIPIcs, vol. 153, 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)
Wei Z, Tan S, Liu T, Wu Y, Lei J-G, Chen Z, Friml J, Xue H-W, Liao K. 2020. Plasmodesmata-like intercellular connections by plant remorin in animal cells. bioRxiv, 10.1101/791137.
[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)
Larsson J, Westram AM, Bengmark S, Lundh T, Butlin RK. 2020. A developmentally descriptive method for quantifying shape in gastropod shells. Journal of The Royal Society Interface. 17(163), 20190721.
[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)
Czumaj A, Davies P, Parter M. 2020. Simple, deterministic, constant-round coloring in the congested clique. Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing. PODC: Symposium on Principles of Distributed Computing, 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)
Filakovský M, Wagner U, Zhechev SY. 2020. Embeddability of simplicial complexes is undecidable. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2020–January, 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)
Beattie RJ, Hippenmeyer S, Pauler F. 2020. SCOPES: Sparking curiosity through Open-Source platforms in education and science. Frontiers in Education. 5, 48.
[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)
Fellner K, Kniely M. 2020. 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. 6, 529–598.
[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)
Mistakidis SI, Volosniev A, Schmelcher P. 2020. Induced correlations between impurities in a one-dimensional quenched Bose gas. Physical Review Research. 2, 023154.
[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)
Avvakumov S, Nivasch G. 2020. Homotopic curve shortening and the affine curve-shortening flow. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 12:1-12:15.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 7989 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Patakova Z. 2020. Bounding radon number via Betti numbers. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 61:1-61:13.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 7992 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Patakova Z, Tancer M, Wagner U. 2020. Barycentric cuts through a convex body. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 62:1-62:16.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 7994 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Arroyo Guevara AM, Bensmail J, Bruce Richter R. 2020. Extending drawings of graphs to arrangements of pseudolines. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 9:1-9:14.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8011 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Michailidis A, Turner CJ, Papić Z, Abanin DA, Serbyn M. 2020. Stabilizing two-dimensional quantum scars by deformation and synchronization. Physical Review Research. 2(2), 022065.
[Published Version]
View
| Files available
| DOI