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: 12368 | OA
Arslan, Feyza N. Remodeling of E-Cadherin-Mediated Contacts via Cortical  Flows. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12153.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11196 | OA
Kim, Olena. Nanoarchitecture of Hippocampal Mossy Fiber-CA3 Pyramidal Neuron Synapses. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11196.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 10727 | OA
Metzler, Sina. Pathogen-Mediated Sexual Selection and Immunization in Ant Colonies. Institute of Science and Technology Austria, 2022, doi:10.15479/AT:ISTA:10727.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11879 | OA
Artner, Christina. Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11879.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11393 | OA
Jevtic, Marijo. Contextual Fear Learning Induced Changes in AMPA Receptor Subtypes along the Proximodistal Axis in Dorsal Hippocampus. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11393.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 12366 | OA
Redchenko, Elena. Controllable States of Superconducting Qubit Ensembles. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12132.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11932 | OA
Nardin, Michele. On the Encoding, Transfer, and Consolidation of Spatial Memories. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11932.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 12378 | OA
Colombo, Gloria. MorphOMICs, a Tool for Mapping Microglial Morphology, Reveals Brain Region- and Sex-Dependent Phenotypes. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12378.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11388 | OA
Belohlavy, Stefanie. The Genetic Basis of Complex Traits Studied via Analysis of Evolve and Resequence Experiments. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11388.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 12401 | OA
Tasciyan, Saren. Role of Microenvironment Heterogeneity in Cancer Cell Invasion. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12401.
[Published Version] View | Files available | DOI
 

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, doi: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, doi: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, doi:10.15479/AT:ISTA:11653.
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10080 | OA
Nardin, Michele, et al. “The Generalized Spatial Representation in the Prefrontal Cortex Is Inherited from the Hippocampus.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2021.09.30.462269.
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 10635 | OA
Nardin, Michele, et al. “Nonlinear Computations in Spiking Neural Networks through Multiplicative Synapses.” Peer Community Journal, vol. 1, e68, Centre Mersenne ; Peer Community In, 2021, doi:10.24072/pcjournal.69.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10669 | OA
Grunbacher, Sophie, et al. “On the Verification of Neural ODEs with Stochastic Guarantees.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 13, AAAI Press, 2021, pp. 11525–35.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10671 | OA
Hasani, Ramin, et al. “Liquid Time-Constant Networks.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 9, AAAI Press, 2021, pp. 7657–66.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

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

2021 | Conference Paper | IST-REx-ID: 10670 | OA
Vorbach, Charles J., et al. “Causal Navigation by Continuous-Time Neural Networks.” 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, et al. “Infinite-Duration All-Pay Bidding Games.” Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, edited by Dániel Marx, Society for Industrial and Applied Mathematics, 2021, pp. 617–36, doi: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.” Deliberate Ignorance: Choosing Not To Know, edited by Ralph Hertwig and Christoph Engel, vol. 29, MIT Press, 2021, pp. 139–52.
[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.” Proceedings of the 33rd Canadian Conference on Computational Geometry.
[Submitted Version] View | Files available | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9826 | OA
Auerbach, Benedikt, et al. “Inverse-Sybil Attacks in Automated Contact Tracing.” Topics in Cryptology – CT-RSA 2021, vol. 12704, Springer Nature, 2021, pp. 399–421, doi: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, et al. “AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural Networks.” 35th Conference on Neural Information Processing Systems, vol. 34, Curran Associates, 2021, pp. 8557–70.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10665 | OA
Henzinger, Thomas A., et al. “Scalable Verification of Quantized Neural Networks.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 5A, AAAI Press, 2021, pp. 3787–95.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10667 | OA
Lechner, Mathias, et al. “Infinite Time Horizon Safety of Bayesian Neural Networks.” 35th Conference on Neural Information Processing Systems, 2021, doi: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., et al. Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids. Vol. 24, Springer Nature, 2021, doi: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, et al. “Two Linked Loci under Mutation-Selection Balance and Muller’s Ratchet.” Journal of Theoretical Biology, vol. 524, 110729, Elsevier , 2021, doi: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.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 9470547, Institute of Electrical and Electronics Engineers, 2021, doi:10.1109/LICS52264.2021.9470547.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9558 | OA
Yalniz, Gökhan, et al. “Coarse Graining the State Space of a Turbulent Flow Using Periodic Orbits.” Physical Review Letters, vol. 126, no. 24, 244502, American Physical Society, 2021, doi: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, et al. “Mechanics-Aware Deformation of Yarn Pattern Geometry.” ACM Transactions on Graphics, vol. 40, no. 4, 168, Association for Computing Machinery, 2021, doi: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, et al. Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data). IST Austria, 2021, doi: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, vol. 62, no. 8, 083305, AIP Publishing, 2021, doi:10.1063/5.0053494.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9903 | OA
Karle, Volker, et al. “Area-Law Entangled Eigenstates from Nullspaces of Local Hamiltonians.” Physical Review Letters, vol. 127, no. 6, 060602, American Physical Society, 2021, doi:10.1103/physrevlett.127.060602.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10666 | OA
Lechner, Mathias, et al. “Adversarial Training Is Not Ready for Robot Learning.” 2021 IEEE International Conference on Robotics and Automation, 2021, pp. 4140–47, doi: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, vol. 111, 20, Springer Nature, 2021, doi: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, doi: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, doi: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.” 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, doi:10.15479/at:ista:10007.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 10191 | OA
Bui, Truc Lam, et al. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA, 164, Association for Computing Machinery, 2021, doi: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, doi: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, doi: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, doi: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, doi: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, 2111.12171, doi: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, doi: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, doi: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, doi: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, vol. 5, 491, Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, 2021, doi:10.22331/Q-2021-07-01-491.
[Published Version] View | Files available | DOI | WoS | arXiv
 

Filters and Search Terms

department=Various

Search

Filter Publications