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 | 
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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
2021 | Research Data | IST-REx-ID: 9323 |
D. Jirovec, “Research data for ‘A singlet-triplet hole spin qubit planar Ge.’” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Research Data | IST-REx-ID: 9389 |
M. Valentini, “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.
[Published Version]
View
| Files available
| DOI
2021 | Research Data | IST-REx-ID: 9192 |
P. Surendranadh, L. S. Arathoon, C. Baskett, D. Field, M. Pickup, and N. 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.
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9733 |
D. Feliciangeli, “The polaron at strong coupling,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9992 |
L. Hörmayer, “Wound healing in the Arabidopsis root meristem,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Preprint | IST-REx-ID: 10077 |
M. Nardin, J. L. Csicsvari, G. Tkačik, and C. Savin, “The structure of hippocampal CA1 interactions optimizes spatial coding across experience,” bioRxiv. Cold Spring Harbor Laboratory.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2021 | Thesis | IST-REx-ID: 9623 |
S. Caballero Mancebo, “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.
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 10058 |
D. Jirovec, “Singlet-Triplet qubits and spin-orbit interaction in 2-dimensional Ge hole gases,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 8909 |
D. Jirovec et al., “A singlet triplet hole spin qubit in planar Ge,” Nature Materials, vol. 20, no. 8. Springer Nature, pp. 1106–1112, 2021.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Thesis | IST-REx-ID: 9397 |
K. Huljev, “Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9562 |
D. Kleindienst, “2B or not 2B: Hippocampal asymmetries mediated by NMDA receptor subunit GluN2B C-terminus and high-throughput image analysis by Deep-Learning,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 8934 |
A. K. Goharshady, “Parameterized and algebro-geometric advances in static program analysis,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 10307 |
K. Tomasek, “Pathogenic Escherichia coli hijack the host immune response,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 9913 |
A. Vega et al., “Nitrate triggered phosphoproteome changes and a PIN2 phosphosite modulating root system architecture,” EMBO Reports, vol. 22, no. 9. Wiley, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Thesis | IST-REx-ID: 10303 |
R. Abualia, “Role of hormones in nitrate regulated growth,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9962 |
A. H. Hansen, “Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 10083 |
L. Li, “Rapid cell growth regulation in Arabidopsis,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 10293 |
L. Schmid, “Evolution of cooperation via (in)direct reciprocity under imperfect information,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 9997 |
L. Schmid, P. Shati, C. Hilbe, and K. Chatterjee, “The evolution of indirect reciprocity under action and assessment generosity,” Scientific Reports, vol. 11, no. 1. Springer Nature, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 9402 |
L. Schmid, K. Chatterjee, C. Hilbe, and M. A. Nowak, “A unified framework of direct and indirect reciprocity,” Nature Human Behaviour, vol. 5, no. 10. Springer Nature, pp. 1292–1302, 2021.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Thesis | IST-REx-ID: 10135 |
H. Semerádová, “Molecular mechanisms of the cytokinin-regulated endomembrane trafficking to coordinate plant organogenesis,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9728 |
N. Agrawal, “Transition to turbulence and drag reduction in particle-laden pipe flows,” Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 10673 |
R. Hasani, M. Lechner, A. Amini, D. Rus, and R. Grosu, “A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits,” in Proceedings of the 37th International Conference on Machine Learning, Virtual, 2020, pp. 4082–4093.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 10672 |
M. Lechner, “Learning representations for binary-classification without backpropagation,” in 8th International Conference on Learning Representations, Virtual ; Addis Ababa, Ethiopia, 2020.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 | Thesis | IST-REx-ID: 7514 |
S. Mayer, “The free energy of a dilute two-dimensional Bose gas,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7460 |
K. Ölsböck, “The hole system of triangulated shapes,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7196 |
J. Tkadlec, “A role of graphs in evolutionary processes,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 10190 |
K. Chatterjee, A. Pavlogiannis, and V. Toman, “Value-centric dynamic partial order reduction,” in Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Athens, Greece, 2019, vol. 3.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Thesis | IST-REx-ID: 6825 |
K. Käfer, “The hippocampus and medial prefrontal cortex during flexible behavior,” Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 104 |
D. Seitner, S. Uhse, M. C. Gallei, and A. Djamei, “The core effector Cce1 is required for early infection of maize by Ustilago maydis,” Molecular Plant Pathology, vol. 19, no. 10. Wiley, pp. 2277–2287, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Thesis | IST-REx-ID: 69 |
L. Vukušić, “Charge sensing and spin relaxation times of holes in Ge hut wires,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1130 |
T. Tarrach, “Automatic synthesis of synchronisation primitives for concurrent programs,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2015 | Thesis | IST-REx-ID: 1401 |
V. Sharmanska, “Learning with attributes for object recognition: Parametric and non-parametrics views,” Institute of Science and Technology Austria, 2015.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 | Thesis | IST-REx-ID: 1405 |
D. Zufferey, “Analysis of dynamic message passing programs,” Institute of Science and Technology Austria, 2013.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2012 | Thesis | IST-REx-ID: 2964
S. Kim, “Active properties of hippocampal CA3 pyramidal neuron dendrites,” Institute of Science and Technology Austria, 2012.
View
| Files available
2010 | Thesis | IST-REx-ID: 3962
H. Pflicke, “ Dendritic cell migration across basement membranes in the skin,” Institute of Science and Technology Austria, 2010.
View