Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

237 Publications


2022 | Thesis | IST-REx-ID: 11193 | OA
Wachner, Stephanie. “Transcriptional Regulation by Dfos and BMP-Signaling Support Tissue Invasion of Drosophila Immune Cells.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11193.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 12364 | OA
Dotter, Christoph. “Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12094.
[Published Version] View | Files available | DOI
 

2022 | Research Data | IST-REx-ID: 11653 | OA
Elkrewi, Marwan N. “Data from Elkrewi, Khauratovich, Toups et Al. 2022, ‘ZW Sex-Chromosome Evolution and Contagious Parthenogenesis in Artemia Brine Shrimp.’” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/AT:ISTA:11653.
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10080 | OA
Nardin, Michele, Karola Käfer, and Jozsef L Csicsvari. “The Generalized Spatial Representation in the Prefrontal Cortex Is Inherited from the Hippocampus.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2021.09.30.462269.
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 10635 | OA
Nardin, Michele, James W. Phillips, William F. Podlaski, and Sander W. Keemink. “Nonlinear Computations in Spiking Neural Networks through Multiplicative Synapses.” Peer Community Journal. Centre Mersenne ; Peer Community In, 2021. https://doi.org/10.24072/pcjournal.69.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10669 | OA
Grunbacher, Sophie, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A Smolka, and Radu Grosu. “On the Verification of Neural ODEs with Stochastic Guarantees.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:11525–35. AAAI Press, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10671 | OA
Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “Liquid Time-Constant Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:7657–66. AAAI Press, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10668 | OA
Babaiee, Zahra, Ramin Hasani, Mathias Lechner, Daniela Rus, and Radu Grosu. “On-off Center-Surround Receptive Fields for Accurate and Robust Image Classification.” In Proceedings of the 38th International Conference on Machine Learning, 139:478–89. ML Research Press, 2021.
[Published Version] View | Files available | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 10670 | OA
Vorbach, Charles J, Ramin Hasani, Alexander Amini, Mathias Lechner, and Daniela Rus. “Causal Navigation by Continuous-Time Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10694 | OA
Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Infinite-Duration All-Pay Bidding Games.” In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, edited by Dániel Marx, 617–36. Society for Industrial and Applied Mathematics, 2021. https://doi.org/10.1137/1.9781611976465.38.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Book Chapter | IST-REx-ID: 9403 | OA
Schmid, Laura, and Christian Hilbe. “The Evolution of Strategic Ignorance in Strategic Interaction.” In Deliberate Ignorance: Choosing Not To Know, edited by Ralph Hertwig and Christoph Engel, 29:139–52. Strüngmann Forum Reports. MIT Press, 2021.
[Published Version] View | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9592 | OA
Dvorak, Martin, and Sara Nicholson. “Massively Winning Configurations in the Convex Grabbing Game on the Plane.” In Proceedings of the 33rd Canadian Conference on Computational Geometry, n.d.
[Submitted Version] View | Files available | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9826 | OA
Auerbach, Benedikt, Suvradip Chakraborty, Karen Klein, Guillermo Pascual Perez, Krzysztof Z Pietrzak, Michael Walter, and Michelle X Yeo. “Inverse-Sybil Attacks in Automated Contact Tracing.” In Topics in Cryptology – CT-RSA 2021, 12704:399–421. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-75539-3_17.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 11458 | OA
Peste, Elena-Alexandra, Eugenia B Iofinova, Adrian Vladu, and Dan-Adrian Alistarh. “AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural Networks.” In 35th Conference on Neural Information Processing Systems, 34:8557–70. Curran Associates, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10665 | OA
Henzinger, Thomas A, Mathias Lechner, and Dorde Zikelic. “Scalable Verification of Quantized Neural Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:3787–95. AAAI Press, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10667 | OA
Lechner, Mathias, Ðorđe Žikelić, Krishnendu Chatterjee, and Thomas A Henzinger. “Infinite Time Horizon Safety of Bayesian Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021. https://doi.org/10.48550/arXiv.2111.03165.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Technical Report | IST-REx-ID: 6995 | OA
Samarasinghe, Ranmal A., Osvaldo Miranda, Jessie E. Buth, Simon Mitchell, Isabella Ferando, Momoko Watanabe, Arinnae Kurdian, et al. Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids. Vol. 24. Springer Nature, 2021. https://doi.org/10.1038/s41593-021-00906-5.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9387 | OA
Khudiakova, Kseniia, Tatiana Yu. Neretina, and Alexey S. Kondrashov. “Two Linked Loci under Mutation-Selection Balance and Muller’s Ratchet.” Journal of Theoretical Biology. Elsevier , 2021. https://doi.org/10.1016/j.jtbi.2021.110729.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2021 | Conference Paper | IST-REx-ID: 9356 | OA
Henzinger, Thomas A, and Naci E Sarac. “Quantitative and Approximate Monitoring.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470547.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9558 | OA
Yalniz, Gökhan, Björn Hof, and Nazmi B Budanur. “Coarse Graining the State Space of a Turbulent Flow Using Periodic Orbits.” Physical Review Letters. American Physical Society, 2021. https://doi.org/10.1103/PhysRevLett.126.244502.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9818 | OA
Sperl, Georg, Rahul Narain, and Chris Wojtan. “Mechanics-Aware Deformation of Yarn Pattern Geometry.” ACM Transactions on Graphics. Association for Computing Machinery, 2021. https://doi.org/10.1145/3450626.3459816.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2021 | Scientific Software | IST-REx-ID: 9327 | OA
Sperl, Georg, Rahul Narain, and Chris Wojtan. “Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data).” IST Austria, 2021. https://doi.org/10.15479/AT:ISTA:9327.
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9891 | OA
Lauritsen, Asbjørn Bækgaard. “Floating Wigner Crystal and Periodic Jellium Configurations.” Journal of Mathematical Physics. AIP Publishing, 2021. https://doi.org/10.1063/5.0053494.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9903 | OA
Karle, Volker, Maksym Serbyn, and Alexios Michailidis. “Area-Law Entangled Eigenstates from Nullspaces of Local Hamiltonians.” Physical Review Letters. American Physical Society, 2021. https://doi.org/10.1103/physrevlett.127.060602.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10666 | OA
Lechner, Mathias, Ramin Hasani, Radu Grosu, Daniela Rus, and Thomas A Henzinger. “Adversarial Training Is Not Ready for Robot Learning.” In 2021 IEEE International Conference on Robotics and Automation, 4140–47. ICRA, 2021. https://doi.org/10.1109/ICRA48506.2021.9561036.
View | Files available | DOI | Download None (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9121 | OA
Lauritsen, Asbjørn Bækgaard. “The BCS Energy Gap at Low Density.” Letters in Mathematical Physics. Springer Nature, 2021. https://doi.org/10.1007/s11005-021-01358-5.
[Published Version] View | Files available | DOI | WoS
 

2021 | Thesis | IST-REx-ID: 9056 | OA
Osang, Georg F. “Multi-Cover Persistence and Delaunay Mosaics.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9056.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9022 | OA
Cipolloni, Giorgio. “Fluctuations in the Spectrum of Random Matrices.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9022.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9416 | OA
Phuong, Mary, and Christoph Lampert. “The Inductive Bias of ReLU Networks on Orthogonally Separable Data.” In 9th International Conference on Learning Representations, 2021.
[Published Version] View | Files available | Download Published Version (ext.)
 

2021 | Thesis | IST-REx-ID: 10007 | OA
Hensel, Sebastian. “Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10007.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 10191 | OA
Bui, Truc Lam, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, and Viktor Toman. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2021. https://doi.org/10.1145/3485541.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Thesis | IST-REx-ID: 10030 | OA
Portinale, Lorenzo. “Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10030.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9920 | OA
Peruzzo, Matilda. “Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:9920.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10422 | OA
Piankov, Anton. “Towards Designer Materials Using Customizable Particle Shape.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10422.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9418 | OA
Phuong, Mary. “Underspecification in Deep Learning.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9418.
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 14278 | OA
Koval, Illya. “Local Strong Birkhoff Conjecture and Local Spectral Rigidity of Almost Every Ellipse.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2111.12171.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Thesis | IST-REx-ID: 10199 | OA
Toman, Viktor. “Improved Verification Techniques for Concurrent Systems.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10199.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10035 | OA
Klein, Karen. “On the Adaptive Security of Graph-Based Games.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10035.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10429 | OA
Nadiradze, Giorgi. “On Achieving Scalability through Relaxation.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10429.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9760 | OA
Sack, Stefan, and Maksym Serbyn. “Quantum Annealing Initialization of the Quantum Approximate Optimization Algorithm.” Quantum. Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, 2021. https://doi.org/10.22331/Q-2021-07-01-491.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Research Data | IST-REx-ID: 9323 | OA
Jirovec, Daniel. “Research Data for ‘A Singlet-Triplet Hole Spin Qubit Planar Ge.’” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9323.
[Published Version] View | Files available | DOI
 

2021 | Research Data | IST-REx-ID: 9389 | OA
Valentini, Marco. “Research Data for ‘Non-Topological Zero Bias Peaks in Full-Shell Nanowires Induced by Flux Tunable Andreev States.’” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9389.
[Published Version] View | Files available | DOI
 

2021 | Research Data | IST-REx-ID: 9192 | OA
Surendranadh, Parvathy, Louise S Arathoon, Carina Baskett, David Field, Melinda Pickup, and Nicholas H Barton. “Effects of Fine-Scale Population Structure on the Distribution of Heterozygosity in a Long-Term Study of Antirrhinum Majus.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9192.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9733 | OA
Feliciangeli, Dario. “The Polaron at Strong Coupling.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:9733.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9992 | OA
Hörmayer, Lukas. “Wound Healing in the Arabidopsis Root Meristem.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:9992.
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10077 | OA
Nardin, Michele, Jozsef L Csicsvari, Gašper Tkačik, and Cristina Savin. “The Structure of Hippocampal CA1 Interactions Optimizes Spatial Coding across Experience.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2021.09.28.460602.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2021 | Thesis | IST-REx-ID: 9623 | OA
Caballero Mancebo, Silvia. “Fertilization-Induced Deformations Are Controlled by the Actin Cortex and a Mitochondria-Rich Subcortical Layer in Ascidian Oocytes.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:9623.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10058 | OA
Jirovec, Daniel. “Singlet-Triplet Qubits and Spin-Orbit Interaction in 2-Dimensional Ge Hole Gases.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10058.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 8909 | OA
Jirovec, Daniel, Andrea C Hofmann, Andrea Ballabio, Philipp M. Mutter, Giulio Tavani, Marc Botifoll, Alessandro Crippa, et al. “A Singlet Triplet Hole Spin Qubit in Planar Ge.” Nature Materials. Springer Nature, 2021. https://doi.org/10.1038/s41563-021-01022-2.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Thesis | IST-REx-ID: 9397 | OA
Huljev, Karla. “Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:9397.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

department=Various

Search

Filter Publications