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.
5764 Publications
2020 | Published | Journal Article | IST-REx-ID: 7567 |

Choudhary, Aruni, Siargey Kachanovich, and Mathijs Wintraecken. “Coxeter Triangulations Have Good Quality.” Mathematics in Computer Science. Springer Nature, 2020. https://doi.org/10.1007/s11786-020-00461-5.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8699 |

Paris, Eugenio, Strain engineering of the charge and spin-orbital interactions in Sr2IrO4. Proceedings of the National Academy of Sciences of the United States of America 117 (40). 2020
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7994 |

Arroyo Guevara, Alan M, Extending drawings of graphs to arrangements of pseudolines. 36th International Symposium on Computational Geometry 164. 2020
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8670 |

Zhang, Haonan, Equality conditions of data processing inequality for α-z Rényi relative entropies. Journal of Mathematical Physics 61 (10). 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8534 |

Jecker, Ismael R, Unary prime languages. 45th International Symposium on Mathematical Foundations of Computer Science 170. 2020
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 7213 |

Bhatia, Sumit, A persistent homology perspective to the link prediction problem. Complex Networks and their applications VIII 881. 2020
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8955 |

Rizzo, Rossella, Xiyun Zhang, Jilin W.J.L. Wang, Fabrizio Lombardi, and Plamen Ch Ivanov. “Network Physiology of Cortico–Muscular Interactions.” Frontiers in Physiology. Frontiers, 2020. https://doi.org/10.3389/fphys.2020.558070.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8726 |

Gotfryd, Dorota, Ekaterina Paerschke, Krzysztof Wohlfeld, and Andrzej M. Oleś. “Evolution of Spin-Orbital Entanglement with Increasing Ising Spin-Orbit Coupling.” Condensed Matter. MDPI, 2020. https://doi.org/10.3390/condmat5030053.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8973 |

Redig, Frank, Ellen Saada, and Federico Sau. “Symmetric Simple Exclusion Process in Dynamic Environment: Hydrodynamics.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2020. https://doi.org/10.1214/20-EJP536.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8732
Arroyo Guevara, Alan M, Fabian Klute, Irene Parada, Raimund Seidel, Birgit Vogtenhuber, and Tilo Wiedera. “Inserting One Edge into a Simple Drawing Is Hard.” In Graph-Theoretic Concepts in Computer Science, 12301:325–38. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-60440-0_26.
View
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8747
Zhang, Yu, Yu Liu, Mariano Calcabrini, Congcong Xing, Xu Han, Jordi Arbiol, Doris Cadavid, Maria Ibáñez, and Andreu Cabot. “Bismuth Telluride-Copper Telluride Nanocomposites from Heterostructured Building Blocks.” Journal of Materials Chemistry C. Royal Society of Chemistry, 2020. https://doi.org/10.1039/D0TC02182B.
View
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7369 |

Cubero, Ryan J, Matteo Marsili, and Yasser Roudi. “Multiscale Relevance and Informative Encoding in Neuronal Spike Trains.” Journal of Computational Neuroscience. Springer Nature, 2020. https://doi.org/10.1007/s10827-020-00740-x.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7467 |

Cadavid, Doris, Silvia Ortega, Sergio Illera, Yu Liu, Maria Ibáñez, Alexey Shavel, Yu Zhang, et al. “Influence of the Ligand Stripping on the Transport Properties of Nanoparticle-Based PbSe Nanomaterials.” ACS Applied Energy Materials. American Chemical Society, 2020. https://doi.org/10.1021/acsaem.9b02137.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 7803 |

Czumaj, Artur, Peter Davies, and Merav Parter. “Simple, Deterministic, Constant-Round Coloring in the Congested Clique.” In Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing, 309–18. Association for Computing Machinery, 2020. https://doi.org/10.1145/3382734.3405751.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7802 |

Czumaj, Artur, Peter Davies, and Merav Parter. “Graph Sparsification for Derandomizing Massively Parallel Computation with Low Space.” In Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), 175–85. Association for Computing Machinery, 2020. https://doi.org/10.1145/3350755.3400282.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7594 |

Gotfryd, Dorota, Ekaterina Paerschke, Jiri Chaloupka, Andrzej M. Oles, and Krzysztof Wohlfeld. “How Spin-Orbital Entanglement Depends on the Spin-Orbit Coupling in a Mott Insulator.” Physical Review Research. American Physical Society, 2020. https://doi.org/10.1103/PhysRevResearch.2.013353.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7882 |

Armstrong, Jeremy R., Aksel S. Jensen, Artem Volosniev, and Nikolaj T. Zinner. “Clusters in Separated Tubes of Tilted Dipoles.” Mathematics. MDPI, 2020. https://doi.org/10.3390/math8040484.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7919 |

Mistakidis, S. I., Artem Volosniev, and P. Schmelcher. “Induced Correlations between Impurities in a One-Dimensional Quenched Bose Gas.” Physical Review Research. American Physical Society, 2020. https://doi.org/10.1103/physrevresearch.2.023154.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7509 |

Zhang, Haonan. “From Wigner-Yanase-Dyson Conjecture to Carlen-Frank-Lieb Conjecture.” Advances in Mathematics. Elsevier, 2020. https://doi.org/10.1016/j.aim.2020.107053.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8084 |

Lombardi, Fabrizio, Manuel Gómez-Extremera, Pedro Bernaola-Galván, Ramalingam Vetrivelan, Clifford B. Saper, Thomas E. Scammell, and Plamen Ch. Ivanov. “Critical Dynamics and Coupling in Bursts of Cortical Rhythms Indicate Non-Homeostatic Mechanism for Sleep-Stage Transitions and Dual Role of VLPO Neurons in Both Sleep and Wake.” Journal of Neuroscience. Society for Neuroscience, 2020. https://doi.org/10.1523/jneurosci.1278-19.2019.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8199 |

Gulden, Tobias, Erez Berg, Mark Spencer Rudner, and Netanel Lindner. “Exponentially Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.” SciPost Physics. SciPost Foundation, 2020. https://doi.org/10.21468/scipostphys.9.1.015.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8036 |

Collard, Ylona, Galien M Grosjean, and Nicolas Vandewalle. “Magnetically Powered Metachronal Waves Induce Locomotion in Self-Assemblies.” Communications Physics. Springer Nature, 2020. https://doi.org/10.1038/s42005-020-0380-9.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7236 |

Baskett, Carina, Lucy Schroeder, Marjorie G. Weber, and Douglas W. Schemske. “Multiple Metrics of Latitudinal Patterns in Insect Pollination and Herbivory for a Tropical‐temperate Congener Pair.” Ecological Monographs. Wiley, 2020. https://doi.org/10.1002/ecm.1397.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8769 |

Yakaboylu, Enderalp, Areg Ghazaryan, D. Lundholm, N. Rougerie, Mikhail Lemeshko, and Robert Seiringer. “Quantum Impurity Model for Anyons.” Physical Review B. American Physical Society, 2020. https://doi.org/10.1103/physrevb.102.144109.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8533 |

Chatterjee, Krishnendu, Simplified game of life: Algorithms and complexity. 45th International Symposium on Mathematical Foundations of Computer Science 170. 2020
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8789 |

Kleshnina, Maria, Sabrina Streipert, Jerzy Filar, and Krishnendu Chatterjee. “Prioritised Learning in Snowdrift-Type Games.” Mathematics. MDPI, 2020. https://doi.org/10.3390/math8111945.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8750 |

Forets, Marcelo, Daniel Freire, and Christian Schilling. “Efficient Reachability Analysis of Parametric Linear Hybrid Systems with Time-Triggered Transitions.” In 18th ACM-IEEE International Conference on Formal Methods and Models for System Design. IEEE, 2020. https://doi.org/10.1109/MEMOCODE51338.2020.9314994.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8571 |

Geretti, Luca, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In EPiC Series in Computing, 74:49–75. EasyChair, 2020. https://doi.org/10.29007/zkf6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Published | Journal Article | IST-REx-ID: 8127 |

Gonçalves, Pedro J., Jan-Matthis Lueckmann, Michael Deistler, Marcel Nonnenmacher, Kaan Öcal, Giacomo Bassetto, Chaitanya Chintaluri, et al. “Training Deep Neural Density Estimators to Identify Mechanistic Models of Neural Dynamics.” ELife. eLife Sciences Publications, 2020. https://doi.org/10.7554/eLife.56261.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Thesis | IST-REx-ID: 8390 |

Royer, Amélie. “Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8390.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 7936 |

Royer, Amélie, and Christoph Lampert. “Localizing Grouped Instances for Efficient Detection in Low-Resource Scenarios.” In IEEE Winter Conference on Applications of Computer Vision. IEEE, 2020. https://doi.org/10.1109/WACV45572.2020.9093288.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7937 |

Royer, Amélie, and Christoph Lampert. “A Flexible Selection Scheme for Minimum-Effort Transfer Learning.” In 2020 IEEE Winter Conference on Applications of Computer Vision. IEEE, 2020. https://doi.org/10.1109/WACV45572.2020.9093635.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Book Chapter | IST-REx-ID: 8092 |

Royer, Amélie, Konstantinos Bousmalis, Stephan Gouws, Fred Bertsch, Inbar Mosseri, Forrester Cole, and Kevin Murphy. “XGAN: Unsupervised Image-to-Image Translation for Many-to-Many Mappings.” In Domain Adaptation for Visual Understanding, edited by Richa Singh, Mayank Vatsa, Vishal M. Patel, and Nalini Ratha, 33–49. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-30671-7_3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 6944 |

Sun, Rémy, and Christoph Lampert. “KS(Conf): A Light-Weight Test If a Multiclass Classifier Operates Outside of Its Specifications.” International Journal of Computer Vision. Springer Nature, 2020. https://doi.org/10.1007/s11263-019-01232-x.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8766
Jeschke, Stefan, Christian Hafner, Nuttapong Chentanez, Miles Macklin, Matthias Müller-Fischer, and Chris Wojtan. “Making Procedural Water Waves Boundary-Aware.” Computer Graphics Forum. Wiley, 2020. https://doi.org/10.1111/cgf.14100.
View
| DOI
| WoS
2020 | Published | Thesis | IST-REx-ID: 8386 |

Zhang, Ran. “Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8386.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8562 |

Gavriil, Konstantinos, Ruslan Guseinov, Jesus Perez Rodriguez, Davide Pellis, Paul M Henderson, Florian Rist, Helmut Pottmann, and Bernd Bickel. “Computational Design of Cold Bent Glass Façades.” ACM Transactions on Graphics. Association for Computing Machinery, 2020. https://doi.org/10.1145/3414685.3417843.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 9299 |

Pach, János, Gábor Tardos, and Géza Tóth. “Crossings between Non-Homotopic Edges.” 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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7962 |

Pach, János, Bruce Reed, and Yelena Yuditsky. “Almost All String Graphs Are Intersection Graphs of Plane Convex Sets.” Discrete and Computational Geometry. Springer Nature, 2020. https://doi.org/10.1007/s00454-020-00213-z.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8163 |

Vegter, Gert, and Mathijs Wintraecken. “Refutation of a Claim Made by Fejes Tóth on the Accuracy of Surface Meshes.” Studia Scientiarum Mathematicarum Hungarica. Akadémiai Kiadó, 2020. https://doi.org/10.1556/012.2020.57.2.1454.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8787 |

Nicolai L, Schiefelbein K, Lipsky S, Leunig A, Hoffknecht M, Pekayvaz K, Raude B, Marx C, Ehrlich A, Pircher J, Zhang Z, Saleh I, Marel A-K, Löf A, Petzold T, Lorenz M, Stark K, Pick R, Rosenberger G, Weckbach L, Uhl B, Xia S, Reichel CA, Walzog B, Schulz C, Zheden V, Bender M, Li R, Massberg S, Gärtner FR. 2020. Vascular surveillance by haptotactic blood platelets in inflammation and infection. Nature Communications. 11, 5778.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7684 |

Gridchyn, Igor, Philipp Schönenberger, Joseph O’Neill, and Jozsef L Csicsvari. “Assembly-Specific Disruption of Hippocampal Replay Leads to Selective Memory Deficit.” Neuron. Elsevier, 2020. https://doi.org/10.1016/j.neuron.2020.01.021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 9194 |

Lauk, Nikolai, Neil Sinclair, Shabir Barzanjeh, Jacob P Covey, Mark Saffman, Maria Spiropulu, and Christoph Simon. “Perspectives on Quantum Transduction.” Quantum Science and Technology. IOP Publishing, 2020. https://doi.org/10.1088/2058-9565/ab788a.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8142 |

Montesinos López, Juan C, A Abuzeineh, Aglaja Kopf, Alba Juanes Garcia, Krisztina Ötvös, J Petrášek, Michael K Sixt, and Eva Benková. “Phytohormone Cytokinin Guides Microtubule Dynamics during Cell Progression from Proliferative to Differentiated Stage.” The Embo Journal. Embo Press, 2020. https://doi.org/10.15252/embj.2019104238.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7695 |

Wang, J, E Mylle, Alexander J Johnson, N Besbrugge, G De Jaeger, Jiří Friml, R Pleskot, and D van Damme. “High Temporal Resolution Reveals Simultaneous Plasma Membrane Recruitment of TPLATE Complex Subunits.” Plant Physiology. American Society of Plant Biologists, 2020. https://doi.org/10.1104/pp.20.00178.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8336 |

Kubiasova, Karolina, Juan C Montesinos López, Olga Šamajová, Jaroslav Nisler, Václav Mik, Hana Semerádová, Lucie Plíhalová, et al. “Cytokinin Fluoroprobe Reveals Multiple Sites of Cytokinin Perception at Plasma Membrane and Endoplasmic Reticulum.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-17949-0.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7875 |

Kopf, Aglaja, Jörg Renkawitz, Robert Hauschild, Irute Girkontaite, Kerry Tedford, Jack Merrin, Oliver Thorn-Seshold, et al. “Microtubules Control Cellular Shape and Coherence in Amoeboid Migrating Cells.” The Journal of Cell Biology. Rockefeller University Press, 2020. https://doi.org/10.1083/jcb.201907154.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8011 |

Michailidis, Alexios, C. J. Turner, Z. Papić, D. A. Abanin, and Maksym Serbyn. “Stabilizing Two-Dimensional Quantum Scars by Deformation and Synchronization.” Physical Review Research. American Physical Society, 2020. https://doi.org/10.1103/physrevresearch.2.022065.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 7272 |

Arbel-Raviv, Maya, Trevor A Brown, and Adam Morrison. “Getting to the Root of Concurrent Binary Search Tree Performance.” In Proceedings of the 2018 USENIX Annual Technical Conference, 295–306. USENIX Association, 2020.
[Published Version]
View
| Download Published Version (ext.)
2020 | Published | Thesis | IST-REx-ID: 7460 |

Ölsböck, Katharina. “The Hole System of Triangulated Shapes.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7460.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 9249 |

Biswas, Ranita, Gaëlle Largeteau-Skapin, Rita Zrour, and Eric Andres. “Digital Objects in Rhombic Dodecahedron Grid.” Mathematical Morphology - Theory and Applications. De Gruyter, 2020. https://doi.org/10.1515/mathm-2020-0106.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 9156 |

Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Gaussian Curvature Derivative of a Space-Filling Diagram.” Computational and Mathematical Biophysics. De Gruyter, 2020. https://doi.org/10.1515/cmb-2020-0101.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 9157 |

Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Mean Curvature Derivative of a Space-Filling Diagram.” Computational and Mathematical Biophysics. De Gruyter, 2020. https://doi.org/10.1515/cmb-2020-0100.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7554 |

Edelsbrunner, Herbert, Weighted Poisson–Delaunay mosaics. Theory of Probability and its Applications 64 (4). 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7666 |

Edelsbrunner, Herbert, and Katharina Ölsböck. “Tri-Partitions and Bases of an Ordered Complex.” Discrete and Computational Geometry. Springer Nature, 2020. https://doi.org/10.1007/s00454-020-00188-x.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 9630 |

Edelsbrunner, Herbert, Ziga Virk, and Hubert Wagner. “Topological Data Analysis in Information Space.” Journal of Computational Geometry. Carleton University, 2020. https://doi.org/10.20382/jocg.v11i2a7.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7582 |

Moturu, Taraka Ramji, Sansrity Sinha, Hymavathi Salava, Sravankumar Thula, Tomasz Nodzyński, Radka Svobodová Vařeková, Jiří Friml, and Sibu Simon. “Molecular Evolution and Diversification of Proteins Involved in MiRNA Maturation Pathway.” Plants. MDPI, 2020. https://doi.org/10.3390/plants9030299.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Submitted | Preprint | IST-REx-ID: 8616 |

Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. Reduction of neuronal activity mediated by blood-vessel regression in the brain. bioRxiv, 10.1101/2020.09.15.262782.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 | Published | Journal Article | IST-REx-ID: 7814 |

Beattie, Robert J, Simon Hippenmeyer, and Florian Pauler. “SCOPES: Sparking Curiosity through Open-Source Platforms in Education and Science.” Frontiers in Education. Frontiers Media, 2020. https://doi.org/10.3389/feduc.2020.00048.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7957 |

Parenti, Ilaria, Luis E Garcia Rabaneda, Hanna Schön, and Gaia Novarino. “Neurodevelopmental Disorders: From Genetics to Functional Pathways.” Trends in Neurosciences. Elsevier, 2020. https://doi.org/10.1016/j.tins.2020.05.004.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8671 |

Shakiba, A., Amir Kafshdar Goharshady, M.R. Hooshmandasl, and M. Alambardar Meybodi. “A Note on Belief Structures and S-Approximation Spaces.” Iranian Journal of Mathematical Sciences and Informatics. Iranian Academic Center for Education, Culture and Research, 2020. https://doi.org/10.29252/ijmsi.15.2.117.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7212 |

Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Limits on Amplifiers of Natural Selection under Death-Birth Updating.” PLoS Computational Biology. Public Library of Science, 2020. https://doi.org/10.1371/journal.pcbi.1007494.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7933 |

Maslov, Mikhail, Synthetic spin-orbit coupling mediated by a bosonic environment. Physical Review B 101 (18). 2020
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8170 |

Chatterley, Adam S., Lars Christiansen, Constant A. Schouder, Anders V. Jørgensen, Benjamin Shepperson, Igor Cherepanov, Giacomo Bighin, Robert E. Zillich, Mikhail Lemeshko, and Henrik Stapelfeldt. “Rotational Coherence Spectroscopy of Molecules in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.” Physical Review Letters. American Physical Society, 2020. https://doi.org/10.1103/PhysRevLett.125.013001.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8588 |

Hubert, C., K. Cohen, Areg Ghazaryan, Mikhail Lemeshko, R. Rapaport, and P. V. Santos. “Attractive Interactions, Molecular Complexes, and Polarons in Coupled Dipolar Exciton Fluids.” Physical Review B. American Physical Society, 2020. https://doi.org/10.1103/physrevb.102.045307.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8652 |

Ghazaryan, Areg, Mikhail Lemeshko, and Artem Volosniev. “Filtering Spins by Scattering from a Lattice of Point Magnets.” Communications Physics. Springer Nature, 2020. https://doi.org/10.1038/s42005-020-00445-8.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 14694 |

Alt, Johannes, László Erdös, and Torben H Krüger. “The Dyson Equation with Linear Self-Energy: Spectral Bands, Edges and Cusps.” Documenta Mathematica. EMS Press, 2020. https://doi.org/10.4171/dm/780.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7512 |

Erdös, László, Local laws for polynomials of Wigner matrices. Journal of Functional Analysis 278 (12). 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 9104 |

Bao, Zhigang, On the support of the free additive convolution. Journal d'Analyse Mathematique 142. 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 10862 |

Bao, Zhigang, László Erdös, and Kevin Schnelli. “Spectral Rigidity for Addition of Random Matrices at the Regular Edge.” Journal of Functional Analysis. Elsevier, 2020. https://doi.org/10.1016/j.jfa.2020.108639.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 15063 |

Cipolloni, Giorgio, Optimal lower bound on the least singular value of the shifted Ginibre ensemble. Probability and Mathematical Physics 1 (1). 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 6488 |

Cipolloni, Giorgio, Fluctuations for differences of linear eigenvalue statistics for sample covariance matrices. Random Matrices: Theory and Application 9 (3). 2020
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 6185 |

Erdös, László, Torben H Krüger, and Dominik J Schröder. “Cusp Universality for Random Matrices I: Local Law and the Complex Hermitian Case.” Communications in Mathematical Physics. Springer Nature, 2020. https://doi.org/10.1007/s00220-019-03657-4.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 6184 |

Alt, Johannes, László Erdös, Torben H Krüger, and Dominik J Schröder. “Correlated Random Matrices: Band Rigidity and Edge Universality.” Annals of Probability. Institute of Mathematical Statistics, 2020. https://doi.org/10.1214/19-AOP1379.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Thesis | IST-REx-ID: 8353 |

Steiner, Julia. “Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8353.
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8284 |

Steiner, Julia, and Leonid A Sazanov. “Structure and Mechanism of the Mrp Complex, an Ancient Cation/Proton Antiporter.” ELife. eLife Sciences Publications, 2020. https://doi.org/10.7554/eLife.59407.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Conference Paper | IST-REx-ID: 7348 |

Ferrere, Thomas, Thomas A Henzinger, and Bernhard Kragl. “Monitoring Event Frequencies.” In 28th EACSL Annual Conference on Computer Science Logic, Vol. 152. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.CSL.2020.20.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 9197
Avni, Guy, Rasmus Ibsen-Jensen, and Josef Tkadlec. “All-Pay Bidding Games on Graphs.” Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2020. https://doi.org/10.1609/aaai.v34i02.5546.
[Preprint]
View
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 6761 |

Avni, Guy, Thomas A Henzinger, and Orna Kupferman. “Dynamic Resource Allocation Games.” Theoretical Computer Science. Elsevier, 2020. https://doi.org/10.1016/j.tcs.2019.06.031.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8600 |

Chatterjee, Krishnendu, Multi-dimensional long-run average problems for vector addition systems with states. 31st International Conference on Concurrency Theory 171. 2020
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7808 |

Giacobbe, Mirco, Thomas A Henzinger, and Mathias Lechner. “How Many Bits Does It Take to Quantize Your Neural Network?” In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 12079:79–97. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-45237-7_5.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 7346 |

Schmid, Laura, Krishnendu Chatterjee, and Stefan 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, Vol. 153. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.OPODIS.2019.21.
[Preprint]
View
| Files available
| DOI
| arXiv
2020 | Published | Thesis | IST-REx-ID: 8332 |

Kragl, Bernhard. “Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8332.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 7505 |

Henzinger, Thomas A, Anna Lukina, and Christian Schilling. “Outside the Box: Abstraction-Based Monitoring of Neural Networks.” In 24th European Conference on Artificial Intelligence, 325:2433–40. IOS Press, 2020. https://doi.org/10.3233/FAIA200375.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8788
Pavlogiannis, Andreas, Nico Schaumberger, Ulrich Schmid, and Krishnendu Chatterjee. “Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE, 2020. https://doi.org/10.1109/TCAD.2020.3012803.
View
| DOI
| WoS
2020 | Published | Thesis | IST-REx-ID: 7196 |

Tkadlec, Josef. “A Role of Graphs in Evolutionary Processes.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7196.
[Published Version]
View
| Files available
| DOI
2020 | Research Data Reference | IST-REx-ID: 9814 |

Ibsen-Jensen, Rasmus, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Data and Mathematica Notebooks for Plotting Figures from Language Learning with Communication between Learners from Language Acquisition with Communication between Learners.” Royal Society, 2020. https://doi.org/10.6084/m9.figshare.5973013.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Published | 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. https://doi.org/10.15479/AT:ISTA:8358.
[Published Version]
View
| Files available
| DOI
2020 | Published | Book Chapter | IST-REx-ID: 7572 |

Dos Santos Caldas, Paulo R, Computational analysis of filament polymerization dynamics in cytoskeletal networks. Methods in Cell Biology 158. 2020
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8099 |

Gammerdinger, William J, Melissa A Toups, and Beatriz Vicoso. “Disagreement in FST Estimators: A Case Study from Sex Chromosomes.” Molecular Ecology Resources. Wiley, 2020. https://doi.org/10.1111/1755-0998.13210.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Research Data Reference | IST-REx-ID: 13065 |

Arnoux, Stephanie, Christelle Fraisse, and Christopher Sauvage. “VCF Files of Synonymous SNPs Related to: Genomic Inference of Complex Domestication Histories in Three Solanaceae Species.” Dryad, 2020. https://doi.org/10.5061/DRYAD.Q2BVQ83HD.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Published | Journal Article | IST-REx-ID: 8978 |

Laukoter, Susanne, Nicole Amberg, Florian Pauler, and Simon Hippenmeyer. “Generation and Isolation of Single Cells from Mouse Brain with Mosaic Analysis with Double Markers-Induced Uniparental Chromosome Disomy.” STAR Protocols. Elsevier, 2020. https://doi.org/10.1016/j.xpro.2020.100215.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7464 |

Dick, Robert A., Chaoyi Xu, Dustin R. Morado, Vladyslav Kravchuk, Clifton L. Ricana, Terri D. Lyddon, Arianna M. Broad, et al. “Structures of Immature EIAV Gag Lattices Reveal a Conserved Role for IP6 in Lentivirus Assembly.” PLOS Pathogens. Public Library of Science, 2020. https://doi.org/10.1371/journal.ppat.1008277.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8971 |

Fäßler, Florian, Georgi A Dimchev, Victor-Valentin Hodirnau, William Wan, and Florian KM Schur. “Cryo-Electron Tomography Structure of Arp2/3 Complex in Cells Reveals New Insights into the Branch Junction.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-20286-x.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 6649 |

Benedikter, Niels P, Phan Thành Nam, Marcello Porta, Benjamin Schlein, and Robert Seiringer. “Optimal Upper Bound for the Correlation Energy of a Fermi Gas in the Mean-Field Regime.” Communications in Mathematical Physics. Springer Nature, 2020. https://doi.org/10.1007/s00220-019-03505-5.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8261 |

Zhang, Xiaomin, Alois Schlögl, and Peter M Jonas. “Selective Routing of Spatial Information Flow from Input to Output in Hippocampal Granule Cells.” Neuron. Elsevier, 2020. https://doi.org/10.1016/j.neuron.2020.07.006.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Conference Paper | IST-REx-ID: 8572 |

Althoff, Matthias, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Dynamics.” In EPiC Series in Computing, 74:16–48. EasyChair, 2020. https://doi.org/10.29007/7dt2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Published | Conference Paper | IST-REx-ID: 8287 |

Bogomolov, Sergiy, Reachability analysis of linear hybrid systems via block decomposition. Proceedings of the International Conference on Embedded Software. 2020
[Preprint]
View
| Files available
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8790 |

Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE, 2020. https://doi.org/10.1109/TCAD.2020.3012859.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8001 |

Vandael, David H, Carolina Borges Merjane, Xiaomin Zhang, and Peter M Jonas. “Short-Term Plasticity at Hippocampal Mossy Fiber Synapses Is Induced by Natural Activity Patterns and Associated with Vesicle Pool Engram Formation.” Neuron. Elsevier, 2020. https://doi.org/10.1016/j.neuron.2020.05.013.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC