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
- 1
- 2
- 3
- 4 (current)
- 5
2022 | Thesis | IST-REx-ID: 12368 | 
Arslan FN. Remodeling of E-cadherin-mediated contacts via cortical flows. 2022. doi:10.15479/at:ista:12153
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11196 |
Kim O. Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses. 2022. doi:10.15479/at:ista:11196
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 10727 |
Metzler S. Pathogen-mediated sexual selection and immunization in ant colonies. 2022. doi:10.15479/AT:ISTA:10727
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11879 |
Artner C. Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. 2022. doi:10.15479/at:ista:11879
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11393 |
Jevtic M. Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus. 2022. doi:10.15479/at:ista:11393
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 12366 |
Redchenko E. Controllable states of superconducting Qubit ensembles. 2022. doi:10.15479/at:ista:12132
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11932 |
Nardin M. On the encoding, transfer, and consolidation of spatial memories. 2022. doi:10.15479/at:ista:11932
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 12378 |
Colombo G. MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes. 2022. doi:10.15479/at:ista:12378
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11388 |
Belohlavy S. The genetic basis of complex traits studied via analysis of evolve and resequence experiments. 2022. doi:10.15479/at:ista:11388
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 12401 |
Tasciyan S. Role of microenvironment heterogeneity in cancer cell invasion. 2022. doi:10.15479/at:ista:12401
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11193 |
Wachner S. Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. 2022. doi:10.15479/at:ista:11193
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 12364 |
Dotter C. Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder. 2022. doi:10.15479/at:ista:12094
[Published Version]
View
| Files available
| DOI
2022 | Research Data | IST-REx-ID: 11653 |
Elkrewi MN. Data from Elkrewi, Khauratovich, Toups et al. 2022, “ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp.” 2022. doi:10.15479/AT:ISTA:11653
[Published Version]
View
| Files available
| DOI
2021 | Preprint | IST-REx-ID: 10080 |
Nardin M, Käfer K, Csicsvari JL. The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus. bioRxiv. doi:10.1101/2021.09.30.462269
[Preprint]
View
| DOI
| Download Preprint (ext.)
2021 | Journal Article | IST-REx-ID: 10635 |
Nardin M, Phillips JW, Podlaski WF, Keemink SW. Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal. 2021;1. doi:10.24072/pcjournal.69
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 10669 |
Grunbacher S, Hasani R, Lechner M, Cyranka J, Smolka SA, Grosu R. On the verification of neural ODEs with stochastic guarantees. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:11525-11535.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10671 |
Hasani R, Lechner M, Amini A, Rus D, Grosu R. Liquid time-constant networks. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:7657-7666.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10668 |
Babaiee Z, Hasani R, Lechner M, Rus D, Grosu R. On-off center-surround receptive fields for accurate and robust image classification. In: Proceedings of the 38th International Conference on Machine Learning. Vol 139. ML Research Press; 2021:478-489.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2021 | Conference Paper | IST-REx-ID: 10670 |
Vorbach CJ, Hasani R, Amini A, Lechner M, Rus D. 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 |
Avni G, Jecker IR, Zikelic D. Infinite-duration all-pay bidding games. In: Marx D, ed. Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2021:617-636. doi:10.1137/1.9781611976465.38
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Book Chapter | IST-REx-ID: 9403 |
Schmid L, Hilbe C. The evolution of strategic ignorance in strategic interaction. In: Hertwig R, Engel C, eds. Deliberate Ignorance: Choosing Not To Know. Vol 29. Strüngmann Forum Reports. MIT Press; 2021:139-152.
[Published Version]
View
| Download Published Version (ext.)
2021 | Conference Paper | IST-REx-ID: 9592 |
Dvorak M, Nicholson S. Massively winning configurations in the convex grabbing game on the plane. In: Proceedings of the 33rd Canadian Conference on Computational Geometry.
[Submitted Version]
View
| Files available
| arXiv
2021 | Conference Paper | IST-REx-ID: 9826 |
Auerbach B, Chakraborty S, Klein K, et al. Inverse-Sybil attacks in automated contact tracing. In: Topics in Cryptology – CT-RSA 2021. Vol 12704. Springer Nature; 2021: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 |
Peste E-A, Iofinova EB, Vladu A, Alistarh D-A. AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In: 35th Conference on Neural Information Processing Systems. Vol 34. Curran Associates; 2021:8557-8570.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10665 |
Henzinger TA, Lechner M, Zikelic D. Scalable verification of quantized neural networks. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:3787-3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10667 |
Lechner M, Žikelić Ð, Chatterjee K, Henzinger TA. Infinite time horizon safety of Bayesian neural networks. In: 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 |
Samarasinghe RA, Miranda O, Buth JE, 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 |
Khudiakova K, Neretina TY, Kondrashov AS. Two linked loci under mutation-selection balance and Muller’s ratchet. Journal of Theoretical Biology. 2021;524. doi:10.1016/j.jtbi.2021.110729
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 | Conference Paper | IST-REx-ID: 9356 |
Henzinger TA, Sarac NE. 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. doi:10.1109/LICS52264.2021.9470547
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9558 |
Yalniz G, Hof B, Budanur NB. Coarse graining the state space of a turbulent flow using periodic orbits. Physical Review Letters. 2021;126(24). doi:10.1103/PhysRevLett.126.244502
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9818 |
Sperl G, Narain R, Wojtan C. Mechanics-aware deformation of yarn pattern geometry. ACM Transactions on Graphics. 2021;40(4). doi:10.1145/3450626.3459816
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2021 | Scientific Software | IST-REx-ID: 9327 |
Sperl G, Narain R, Wojtan C. Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data). 2021. doi:10.15479/AT:ISTA:9327
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 9891 |
Lauritsen AB. Floating Wigner crystal and periodic jellium configurations. Journal of Mathematical Physics. 2021;62(8). doi:10.1063/5.0053494
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9903 |
Karle V, Serbyn M, Michailidis A. Area-law entangled eigenstates from nullspaces of local Hamiltonians. Physical Review Letters. 2021;127(6). doi:10.1103/physrevlett.127.060602
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Conference Paper | IST-REx-ID: 10666 |
Lechner M, Hasani R, Grosu R, Rus D, Henzinger TA. Adversarial training is not ready for robot learning. In: 2021 IEEE International Conference on Robotics and Automation. ICRA. ; 2021:4140-4147. doi:10.1109/ICRA48506.2021.9561036
View
| Files available
| DOI
| Download None (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9121 |
Lauritsen AB. The BCS energy gap at low density. Letters in Mathematical Physics. 2021;111. doi:10.1007/s11005-021-01358-5
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Thesis | IST-REx-ID: 9056 |
Osang GF. Multi-cover persistence and Delaunay mosaics. 2021. doi:10.15479/AT:ISTA:9056
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9022 |
Cipolloni G. Fluctuations in the spectrum of random matrices. 2021. doi:10.15479/AT:ISTA:9022
[Published Version]
View
| Files available
| DOI
2021 | Conference Paper | IST-REx-ID: 9416 |
Phuong M, Lampert C. 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 |
Hensel S. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. 2021. doi:10.15479/at:ista:10007
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 10191 |
Bui TL, Chatterjee K, Gautam T, Pavlogiannis A, Toman V. The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. 2021;5(OOPSLA). doi:10.1145/3485541
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Thesis | IST-REx-ID: 10030 |
Portinale L. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. 2021. doi:10.15479/at:ista:10030
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9920 |
Peruzzo M. Geometric superinductors and their applications in circuit quantum electrodynamics. 2021. doi:10.15479/at:ista:9920
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 10422 |
Piankov A. Towards designer materials using customizable particle shape. 2021. doi:10.15479/at:ista:10422
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9418 |
Phuong M. Underspecification in deep learning. 2021. doi:10.15479/AT:ISTA:9418
[Published Version]
View
| Files available
| DOI
2021 | Preprint | IST-REx-ID: 14278 |
Koval I. Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. arXiv. doi:10.48550/ARXIV.2111.12171
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Thesis | IST-REx-ID: 10199 |
Toman V. Improved verification techniques for concurrent systems. 2021. doi:10.15479/at:ista:10199
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 10035 |
Klein K. On the adaptive security of graph-based games. 2021. doi:10.15479/at:ista:10035
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 10429 |
Nadiradze G. On achieving scalability through relaxation. 2021. doi:10.15479/at:ista:10429
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 9760 |
Sack S, Serbyn M. Quantum annealing initialization of the quantum approximate optimization algorithm. Quantum. 2021;5. doi:10.22331/Q-2021-07-01-491
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
- 1
- 2
- 3
- 4 (current)
- 5