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.

236 Publications


2022 | Thesis | IST-REx-ID: 11196 | OA
Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses
O. Kim, Nanoarchitecture of Hippocampal Mossy Fiber-CA3 Pyramidal Neuron Synapses, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 10727 | OA
Pathogen-mediated sexual selection and immunization in ant colonies
S. Metzler, Pathogen-Mediated Sexual Selection and Immunization in Ant Colonies, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11879 | OA
Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature
C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11393 | OA
Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus
M. Jevtic, Contextual Fear Learning Induced Changes in AMPA Receptor Subtypes along the Proximodistal Axis in Dorsal Hippocampus, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 12366 | OA
Controllable states of superconducting Qubit ensembles
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11932 | OA
On the encoding, transfer, and consolidation of spatial memories
M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 12378 | OA
MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes
G. Colombo, MorphOMICs, a Tool for Mapping Microglial Morphology, Reveals Brain Region- and Sex-Dependent Phenotypes, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11388 | OA
The genetic basis of complex traits studied via analysis of evolve and resequence experiments
S. Belohlavy, The Genetic Basis of Complex Traits Studied via Analysis of Evolve and Resequence Experiments, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 12401 | OA
Role of microenvironment heterogeneity in cancer cell invasion
S. Tasciyan, Role of Microenvironment Heterogeneity in Cancer Cell Invasion, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11193 | OA
Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells
S. Wachner, Transcriptional Regulation by Dfos and BMP-Signaling Support Tissue Invasion of Drosophila Immune Cells, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 12364 | OA
Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder
C. Dotter, Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Research Data | IST-REx-ID: 11653 | OA
Data from Elkrewi, Khauratovich, Toups et al. 2022, "ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp"
M.N. Elkrewi, (2022).
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10080 | OA
The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus
M. Nardin, K. Käfer, J.L. Csicsvari, BioRxiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 10635 | OA
Nonlinear computations in spiking neural networks through multiplicative synapses
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10669 | OA
On the verification of neural ODEs with stochastic guarantees
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10671 | OA
Liquid time-constant networks
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10668 | OA
On-off center-surround receptive fields for accurate and robust image classification
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
[Published Version] View | Files available | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 10670 | OA
Causal navigation by continuous-time neural networks
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, 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
Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Book Chapter | IST-REx-ID: 9403 | OA
The evolution of strategic ignorance in strategic interaction
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
[Published Version] View | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9592 | OA
Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, 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
Inverse-Sybil attacks in automated contact tracing
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 11458 | OA
AC/DC: Alternating Compressed/DeCompressed training of deep neural networks
E.-A. Peste, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 8557–8570.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10665 | OA
Scalable verification of quantized neural networks
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10667 | OA
Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Technical Report | IST-REx-ID: 6995 | OA
Identification of neural oscillations and epileptiform changes in human brain organoids
R.A. Samarasinghe, O. Miranda, J.E. Buth, S. Mitchell, I. Ferando, M. Watanabe, A. Kurdian, P. Golshani, K. Plath, W.E. Lowry, J.M. Parent, I. Mody, B.G. Novitch, Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids, Springer Nature, 2021.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9387 | OA
Two linked loci under mutation-selection balance and Muller’s ratchet
K. Khudiakova, T.Y. Neretina, A.S. Kondrashov, Journal of Theoretical Biology 524 (2021).
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2021 | Conference Paper | IST-REx-ID: 9356 | OA
Quantitative and approximate monitoring
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9558 | OA
Coarse graining the state space of a turbulent flow using periodic orbits
G. Yalniz, B. Hof, N.B. Budanur, Physical Review Letters 126 (2021).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9818 | OA
Mechanics-aware deformation of yarn pattern geometry
G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 40 (2021).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2021 | Scientific Software | IST-REx-ID: 9327 | OA
Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data)
G. Sperl, R. Narain, C. Wojtan, (2021).
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9891 | OA
Floating Wigner crystal and periodic jellium configurations
A.B. Lauritsen, Journal of Mathematical Physics 62 (2021).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9903 | OA
Area-law entangled eigenstates from nullspaces of local Hamiltonians
V. Karle, M. Serbyn, A. Michailidis, Physical Review Letters 127 (2021).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10666 | OA
Adversarial training is not ready for robot learning
M. Lechner, R. Hasani, R. Grosu, D. Rus, T.A. Henzinger, in:, 2021 IEEE International Conference on Robotics and Automation, 2021, pp. 4140–4147.
View | Files available | DOI | Download None (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9121 | OA
The BCS energy gap at low density
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).
[Published Version] View | Files available | DOI | WoS
 

2021 | Thesis | IST-REx-ID: 9056 | OA
Multi-cover persistence and Delaunay mosaics
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9022 | OA
Fluctuations in the spectrum of random matrices
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9416 | OA
The inductive bias of ReLU networks on orthogonally separable data
M. Phuong, C. Lampert, in:, 9th International Conference on Learning Representations, 2021.
[Published Version] View | Files available | Download Published Version (ext.)
 

2021 | Thesis | IST-REx-ID: 10007 | OA
Curvature driven interface evolution: Uniqueness properties of weak solution concepts
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 10191 | OA
The reads-from equivalence for the TSO and PSO memory models
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version] View | Files available | DOI | arXiv
 

2021 | Thesis | IST-REx-ID: 10030 | OA
Discrete-to-continuum limits of transport problems and gradient flows in the space of measures
L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9920 | OA
Geometric superinductors and their applications in circuit quantum electrodynamics
M. Peruzzo, Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10422 | OA
Towards designer materials using customizable particle shape
A. Piankov, Towards Designer Materials Using Customizable Particle Shape, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9418 | OA
Underspecification in deep learning
M. Phuong, Underspecification in Deep Learning, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 14278 | OA
Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse
I. Koval, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Thesis | IST-REx-ID: 10199 | OA
Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10035 | OA
On the adaptive security of graph-based games
K. Klein, On the Adaptive Security of Graph-Based Games, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10429 | OA
On achieving scalability through relaxation
G. Nadiradze, On Achieving Scalability through Relaxation, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9760 | OA
Quantum annealing initialization of the quantum approximate optimization algorithm
S. Sack, M. Serbyn, Quantum 5 (2021).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Research Data | IST-REx-ID: 9323 | OA
Research data for "A singlet-triplet hole spin qubit planar Ge"
D. Jirovec, (2021).
[Published Version] View | Files available | DOI
 

Filters and Search Terms

department=Various

Search

Filter Publications