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.
10590 Publications
2021 | Submitted | Preprint | IST-REx-ID: 10080 | 
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.)
M. Nardin, K. Käfer, J.L. Csicsvari, BioRxiv (n.d.).
2021 | Draft | Preprint | IST-REx-ID: 10013 |
Weak-strong uniqueness for the mean curvature flow of double bubbles
S. Hensel, T. Laux, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Hensel, T. Laux, ArXiv (n.d.).
2021 | Published | Journal Article | IST-REx-ID: 9999 |
Apical contacts stemming from incomplete delamination guide progenitor cell allocation through a dragging mechanism
E. Pulgar, C. Schwayer, N. Guerrero, L. López, S. Márquez, S. Härtel, R. Soto, C.P. Heisenberg, M.L. Concha, ELife 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
E. Pulgar, C. Schwayer, N. Guerrero, L. López, S. Márquez, S. Härtel, R. Soto, C.P. Heisenberg, M.L. Concha, ELife 10 (2021).
2021 | Published | Book Chapter | IST-REx-ID: 9245
Quantifying tissue tension in the granulosa layer after laser surgery
P. Xia, C.-P.J. Heisenberg, in:, R. Dosch (Ed.), Germline Development in the Zebrafish, Humana, 2021, pp. 117–128.
View
| DOI
| PubMed | Europe PMC
P. Xia, C.-P.J. Heisenberg, in:, R. Dosch (Ed.), Germline Development in the Zebrafish, Humana, 2021, pp. 117–128.
2021 | Published | Journal Article | IST-REx-ID: 9350 |
Holding it together: when cadherin meets cadherin
F.N. Arslan, J. Eckert, T. Schmidt, C.-P.J. Heisenberg, Biophysical Journal 120 (2021) 4182–4192.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
F.N. Arslan, J. Eckert, T. Schmidt, C.-P.J. Heisenberg, Biophysical Journal 120 (2021) 4182–4192.
2021 | Published | Journal Article | IST-REx-ID: 9205 |
Cryo-EM grid optimization for membrane proteins
D. Kampjut, J. Steiner, L.A. Sazanov, IScience 24 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Kampjut, J. Steiner, L.A. Sazanov, IScience 24 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9412 |
Fluctuation around the circular law for random matrices with real entries
G. Cipolloni, L. Erdös, D.J. Schröder, Electronic Journal of Probability 26 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Electronic Journal of Probability 26 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9307 |
Finite time extinction for the 1D stochastic porous medium equation with transport noise
S. Hensel, Stochastics and Partial Differential Equations: Analysis and Computations 9 (2021) 892–939.
[Published Version]
View
| Files available
| DOI
| WoS
S. Hensel, Stochastics and Partial Differential Equations: Analysis and Computations 9 (2021) 892–939.
2021 | Draft | Preprint | IST-REx-ID: 12077 |
On the leading constant in the Manin-type conjecture for Campana points
A.L. Shute, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A.L. Shute, ArXiv (n.d.).
2021 | Draft | Preprint | IST-REx-ID: 12076 |
Sums of four squareful numbers
A.L. Shute, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A.L. Shute, ArXiv (n.d.).
2021 | Published | Journal Article | IST-REx-ID: 10635 |
Nonlinear computations in spiking neural networks through multiplicative synapses
Nardin, Michele, Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal 1. 2021
[Published Version]
View
| Files available
| DOI
| arXiv
Nardin, Michele, Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal 1. 2021
2021 | Draft | Preprint | IST-REx-ID: 10762 |
Artificial neural network states for non-additive systems
W. Rzadkowski, M. Lemeshko, J.H. Mentink, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
W. Rzadkowski, M. Lemeshko, J.H. Mentink, ArXiv (n.d.).
2021 | Draft | Preprint | IST-REx-ID: 10803 |
Fairness through regularization for learning to rank
N.H. Konstantinov, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
N.H. Konstantinov, C. Lampert, ArXiv (n.d.).
2021 | Published | Conference Paper | IST-REx-ID: 10414 |
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. 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. 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: 9644 |
Proving non-termination by program reversal
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
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: 10694 |
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
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.
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: 9118 |
Exploiting the lability of metal halide perovskites for doping semiconductor nanocomposites
M. Calcabrini, A. Genc, Y. Liu, T. Kleinhanns, S. Lee, D.N. Dirin, Q.A. Akkerman, M.V. Kovalenko, J. Arbiol, M. Ibáñez, ACS Energy Letters 6 (2021) 581–587.
[Published Version]
View
| Files available
| DOI
| WoS
M. Calcabrini, A. Genc, Y. Liu, T. Kleinhanns, S. Lee, D.N. Dirin, Q.A. Akkerman, M.V. Kovalenko, J. Arbiol, M. Ibáñez, ACS Energy Letters 6 (2021) 581–587.
2021 | Research Data Reference | IST-REx-ID: 13057 |
Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, (2021).