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.
5069 Publications
2020 | Conference Paper | IST-REx-ID: 8012 |
Kragl, Bernhard, et al. “Inductive Sequentialization of Asynchronous Programs.” Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–42, doi:10.1145/3385412.3385980.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2020 | Thesis | IST-REx-ID: 8358 |
Dos Santos Caldas, Paulo R. Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8358.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8703 |
Osang, Georg F., et al. “Generalizing CGAL Periodic Delaunay Triangulations.” 28th Annual European Symposium on Algorithms, vol. 173, 75, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.ESA.2020.75.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 7481 |
Phuong, Mary, and Christoph Lampert. “Functional vs. Parametric Equivalence of ReLU Networks.” 8th International Conference on Learning Representations, 2020.
[Published Version]
View
| Files available
2020 | Journal Article | IST-REx-ID: 9781 |
Feliciangeli, Dario, and Robert Seiringer. “Uniqueness and Nondegeneracy of Minimizers of the Pekar Functional on a Ball.” SIAM Journal on Mathematical Analysis, vol. 52, no. 1, Society for Industrial & Applied Mathematics , 2020, pp. 605–22, doi:10.1137/19m126284x.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv