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.
7112 Publications
2021 | Published | Conference Paper | IST-REx-ID: 9200 | 
Synthesis of hybrid automata with affine dynamics from time-series data
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, 2021, p. 2102.12734.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, 2021, p. 2102.12734.
2021 | Published | Conference Paper | IST-REx-ID: 9356 |
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
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.
2021 | Published | Conference Paper | IST-REx-ID: 10665 |
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
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
2021 | Published | Conference Paper | IST-REx-ID: 10667 |
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
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
2021 | Published | Journal Article | IST-REx-ID: 9239 |
Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, Đ. Žikelić, Journal of Computer and System Sciences 119 (2021) 133–144.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Avni, T.A. Henzinger, Đ. Žikelić, Journal of Computer and System Sciences 119 (2021) 133–144.
2021 | Published | Conference Paper | IST-REx-ID: 10108 |
Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
[Preprint]
View
| Files available
| DOI
| WoS
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
2021 | Published | Technical Report | IST-REx-ID: 9946 |
Differential monitoring
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
[Published Version]
View
| Files available
| DOI
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 7883 |
Regulation of size and scale in vertebrate spinal cord development
K. Kuzmicz-Kowalska, A. Kicheva, Wiley Interdisciplinary Reviews: Developmental Biology (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
K. Kuzmicz-Kowalska, A. Kicheva, Wiley Interdisciplinary Reviews: Developmental Biology (2021).
2021 | Published | Journal Article | IST-REx-ID: 9097 |
Role of subnetworks mediated by TNF α, IL-23/IL-17 and IL-15 in a network involved in the pathogenesis of psoriasis
R. Pandey, Y. Al-Nuaimi, R.K. Mishra, S.K. Spurgeon, M. Goodfellow, Scientific Reports 11 (2021).
[Published Version]
View
| Files available
| DOI
R. Pandey, Y. Al-Nuaimi, R.K. Mishra, S.K. Spurgeon, M. Goodfellow, Scientific Reports 11 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10204 |
Topological signatures and stability of hexagonal close packing and Barlow stackings
G.F. Osang, H. Edelsbrunner, M. Saadatfar, Soft Matter 17 (2021) 9107–9115.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
G.F. Osang, H. Edelsbrunner, M. Saadatfar, Soft Matter 17 (2021) 9107–9115.
2021 | Published | Journal Article | IST-REx-ID: 8317 |
Folding polyominoes with holes into a cube
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (2021).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9296 |
On compatible matchings
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, in:, 15th International Conference on Algorithms and Computation, Springer Nature, 2021, pp. 221–233.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, in:, 15th International Conference on Algorithms and Computation, Springer Nature, 2021, pp. 221–233.
2021 | Published | Conference Paper | IST-REx-ID: 10414 |
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E.K. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, E.K. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
2021 | Published | Conference Paper | IST-REx-ID: 9620 |
Collecting coupons is faster with friends
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
[Preprint]
View
| Files available
| DOI
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
2021 | Published | Journal Article | IST-REx-ID: 10635 |
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
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 10148 |
Capturing tactile properties of real surfaces for haptic reproduction
D. Degraen, M. Piovarci, B. Bickel, A. Kruger, in:, 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–971.
[Preprint]
View
| Files available
| DOI
D. Degraen, M. Piovarci, B. Bickel, A. Kruger, in:, 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–971.
2021 | Published | Conference Paper | IST-REx-ID: 10688 |
The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
[Published Version]
View
| Files available
| DOI
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
2021 | Published | Journal Article | IST-REx-ID: 10806 |
Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate
M. Calcabrini, D. Van den Eynden, S. Sanchez Ribot, R. Pokratath, J. Llorca, J. De Roo, M. Ibáñez, JACS Au 1 (2021) 1898–1903.
[Published Version]
View
| Files available
| DOI
M. Calcabrini, D. Van den Eynden, S. Sanchez Ribot, R. Pokratath, J. Llorca, J. De Roo, M. Ibáñez, JACS Au 1 (2021) 1898–1903.
2021 | Published | Journal Article | IST-REx-ID: 7551 |
Ventro-dorsal hippocampal pathway gates novelty-induced contextual memory formation
F.A. Fredes Tolorza, M.A. Silva Sifuentes, P. Koppensteiner, K. Kobayashi, M.A. Jösch, R. Shigemoto, Current Biology 31 (2021) P25–38.E5.
[Published Version]
View
| Files available
| DOI
| WoS
F.A. Fredes Tolorza, M.A. Silva Sifuentes, P. Koppensteiner, K. Kobayashi, M.A. Jösch, R. Shigemoto, Current Biology 31 (2021) P25–38.E5.
2021 | Published | Journal Article | IST-REx-ID: 9093 |
Shape of a sound wave in a weakly-perturbed Bose gas
O. Marchukov, A. Volosniev, SciPost Physics 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
O. Marchukov, A. Volosniev, SciPost Physics 10 (2021).