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
F. N. Arslan, “Remodeling of E-cadherin-mediated contacts via cortical  flows,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11196 | OA
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
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
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
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
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
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
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
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
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
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
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
M. N. Elkrewi, “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.
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10080 | OA
M. Nardin, K. Käfer, and J. L. Csicsvari, “The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus,” bioRxiv. Cold Spring Harbor Laboratory.
[Preprint] View | DOI | Download Preprint (ext.)
 

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

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

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

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

2021 | Conference Paper | IST-REx-ID: 10670 | OA
C. J. Vorbach, R. Hasani, A. Amini, M. Lechner, and D. Rus, “Causal navigation by continuous-time neural networks,” in 35th Conference on Neural Information Processing Systems, Virtual, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10694 | OA
G. Avni, I. R. Jecker, and D. Zikelic, “Infinite-duration all-pay bidding games,” in Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Virtual, 2021, pp. 617–636.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

2021 | Conference Paper | IST-REx-ID: 9592 | OA
M. Dvorak and S. Nicholson, “Massively winning configurations in the convex grabbing game on the plane,” in Proceedings of the 33rd Canadian Conference on Computational Geometry, Halifax, NS, Canada.
[Submitted Version] View | Files available | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9826 | OA
B. Auerbach et al., “Inverse-Sybil attacks in automated contact tracing,” in Topics in Cryptology – CT-RSA 2021, Virtual Event, 2021, vol. 12704, pp. 399–421.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

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

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

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

2021 | Technical Report | IST-REx-ID: 6995 | OA
R. A. Samarasinghe et al., Identification of neural oscillations and epileptiform changes in human brain organoids, vol. 24. Springer Nature, 2021.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

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

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

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

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

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

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

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

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

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

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

2021 | Thesis | IST-REx-ID: 9022 | OA
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
M. Phuong and C. Lampert, “The inductive bias of ReLU networks on orthogonally separable data,” in 9th International Conference on Learning Representations, Virtual, 2021.
[Published Version] View | Files available | Download Published Version (ext.)
 

2021 | Thesis | IST-REx-ID: 10007 | OA
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
T. L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, and V. Toman, “The reads-from equivalence for the TSO and PSO memory models,” Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA. Association for Computing Machinery, 2021.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Thesis | IST-REx-ID: 10030 | OA
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
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
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
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
I. Koval, “Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Thesis | IST-REx-ID: 10199 | OA
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
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
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
S. Sack and M. Serbyn, “Quantum annealing initialization of the quantum approximate optimization algorithm,” Quantum, vol. 5. Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 

Filters and Search Terms

department=GradSch

Search

Filter Publications