Hauschild, Robert. “Amplified Centrosomes in Dendritic Cells Promote Immune Cell Effector Functions.”https://doi.org/10.15479/AT:ISTA:8181__IST Austria, 2020.https://doi.org/10.15479/AT:ISTA:8181 .
LibreCat: https://research-explorer.ista.ac.at/record/8181
DOI: 10.15479/AT:ISTA:8181

Hauschild, Robert. “RGtracker.”https://doi.org/10.15479/AT:ISTA:8294__IST Austria, 2020.https://doi.org/10.15479/AT:ISTA:8294 .
LibreCat: https://research-explorer.ista.ac.at/record/8294
DOI: 10.15479/AT:ISTA:8294

Chakraborty, Suvradip, Stefan Dziembowski, and Jesper Buus Nielsen. “Reverse Firewalls for Actively Secure MPCs.”https://doi.org/10.1007/978-3-030-56880-1_26__In Advances in Cryptology – CRYPTO 2020, 12171:732–62. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-56880-1_26 .
LibreCat: https://research-explorer.ista.ac.at/record/8322
DOI: 10.1007/978-3-030-56880-1_26

Genise, Nicholas, Daniele Micciancio, Chris Peikert, and Michael Walter. “Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography.”https://doi.org/10.1007/978-3-030-45374-9_21__In 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, 12110:623–51. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-45374-9_21 .
LibreCat: https://research-explorer.ista.ac.at/record/8339
DOI: 10.1007/978-3-030-45374-9_21

Althoff, Matthias, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, et al. “ARCH-COM Category Report: Continuous and Hybrid Systems with Linear Dynamics.”https://doi.org/10.29007/7dt2__In EPiC Series in Computing, 74:16–48. EasyChair, 2020.https://doi.org/10.29007/7dt2 .
LibreCat: https://research-explorer.ista.ac.at/record/8572
DOI: 10.29007/7dt2

Geretti, Luca, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, et al. “ARCH-COM Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.”https://doi.org/10.29007/zkf6__In EPiC Series in Computing, 74:49–75. EasyChair, 2020.https://doi.org/10.29007/zkf6 .
LibreCat: https://research-explorer.ista.ac.at/record/8571
DOI: 10.29007/zkf6

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States.”https://doi.org/10.4230/LIPIcs.CONCUR.2020.23__In 31st International Conference on Concurrency Theory, Vol. 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.CONCUR.2020.23 .
LibreCat: https://research-explorer.ista.ac.at/record/8600
DOI: 10.4230/LIPIcs.CONCUR.2020.23
arXiv: 2007.08917

Avni, Guy, and Thomas A Henzinger. “A Survey of Bidding Games on Graphs.”https://doi.org/10.4230/LIPIcs.CONCUR.2020.2__In 31st International Conference on Concurrency Theory, Vol. 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.CONCUR.2020.2 .
LibreCat: https://research-explorer.ista.ac.at/record/8599
DOI: 10.4230/LIPIcs.CONCUR.2020.2

Aksenov, Vitaly, Dan-Adrian Alistarh, Alexandra Drozdova, and Amirkeivan Mohtashami. “The Splay-List: A Distribution-Adaptive Concurrent Skip-List.”https://doi.org/10.4230/LIPIcs.DISC.2020.3__In 34th International Symposium on Distributed Computing, 179:3:1-3:18. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.DISC.2020.3 .
LibreCat: https://research-explorer.ista.ac.at/record/8725
DOI: 10.4230/LIPIcs.DISC.2020.3
arXiv: 2008.01009

Gotfryd, Dorota, Ekaterina Paerschke, Krzysztof Wohlfeld, and Andrzej M. Oleb. “Evolution of Spin-Orbital Entanglement with Increasing Ising Spin-Orbit Coupling.”https://doi.org/10.3390/condmat5030053__Condensed Matter. MDPI, 2020.https://doi.org/10.3390/condmat5030053 .
LibreCat: https://research-explorer.ista.ac.at/record/8726
DOI: 10.3390/condmat5030053
arXiv: 2009.11773

Alamdari, Par Alizadeh, Guy Avni, Thomas A Henzinger, and Anna Lukina. “Formal Methods with a Touch of Magic.”https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21__In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, 138–47. TU Wien Academic Press, 2020.https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21 .
LibreCat: https://research-explorer.ista.ac.at/record/9040
DOI: 10.34727/2020/isbn.978-3-85448-042-6_21

Schmid-Hempel, Paul, and Sylvia Cremer. “Parasites and Pathogens.”https://doi.org/10.1007/978-3-319-90306-4_94-1__In Encyclopedia of Social Insects, edited by C Starr. Cham: Springer Nature, 2020.https://doi.org/10.1007/978-3-319-90306-4_94-1 .
LibreCat: https://research-explorer.ista.ac.at/record/9096
DOI: 10.1007/978-3-319-90306-4_94-1

Westram, Anja M, Rui Faria, Roger Butlin, and Kerstin Johannesson. “Inversions and Evolution.”https://doi.org/10.1002/9780470015902.a0029007__In ELS. Wiley, 2020.https://doi.org/10.1002/9780470015902.a0029007 .
LibreCat: https://research-explorer.ista.ac.at/record/9123
DOI: 10.1002/9780470015902.a0029007

Biswas, Ranita, Gaëlle Largeteau-Skapin, Rita Zrour, and Eric Andres. “Digital Objects in Rhombic Dodecahedron Grid.”https://doi.org/10.1515/mathm-2020-0106__Mathematical Morphology - Theory and Applications. De Gruyter, 2020.https://doi.org/10.1515/mathm-2020-0106 .
LibreCat: https://research-explorer.ista.ac.at/record/9249
DOI: 10.1515/mathm-2020-0106

Pach, János, Gábor Tardos, and Géza Tóth. “Crossings between Non-Homotopic Edges.”https://doi.org/10.1007/978-3-030-68766-3_28__In 28th International Symposium on Graph Drawing and Network Visualization, 12590:359–71. LNCS. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-68766-3_28 .
LibreCat: https://research-explorer.ista.ac.at/record/9299
DOI: 10.1007/978-3-030-68766-3_28
arXiv: 2006.14908

Singh, Sidak Pal, and Dan-Adrian Alistarh. “WoodFisher: Efficient Second-Order Approximation for Neural Network Compression.” In Advances in Neural Information Processing Systems, 33:18098–109. Curran Associates, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/9632
arXiv: 2004.14340

Edelsbrunner, Herbert, Ziga Virk, and Hubert Wagner. “Topological Data Analysis in Information Space.”https://doi.org/10.20382/jocg.v11i2a7__Journal of Computational Geometry. Carleton University, 2020.https://doi.org/10.20382/jocg.v11i2a7 .
LibreCat: https://research-explorer.ista.ac.at/record/9630
DOI: 10.20382/jocg.v11i2a7

Aksenov, Vitaly, Dan-Adrian Alistarh, and Janne Korhonen. “Scalable Belief Propagation via Relaxed Scheduling.” In Advances in Neural Information Processing Systems, 33:22361–72. Curran Associates, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/9631
arXiv: 2002.11505

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Ismael R Jecker, and Jakub Svoboda. “Simplified Game of Life: Algorithms and Complexity.”https://doi.org/10.4230/LIPIcs.MFCS.2020.22__In 45th International Symposium on Mathematical Foundations of Computer Science, Vol. 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.MFCS.2020.22 .
LibreCat: https://research-explorer.ista.ac.at/record/8533
DOI: 10.4230/LIPIcs.MFCS.2020.22
arXiv: 2007.02894

Jecker, Ismael R, Orna Kupferman, and Nicolas Mazzocchi. “Unary Prime Languages.”https://doi.org/10.4230/LIPIcs.MFCS.2020.51__In 45th International Symposium on Mathematical Foundations of Computer Science, Vol. 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.MFCS.2020.51 .
LibreCat: https://research-explorer.ista.ac.at/record/8534
DOI: 10.4230/LIPIcs.MFCS.2020.51