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.
2079 Publications
2020 |
Published |
Conference Paper |
IST-REx-ID: 9040 |
Formal methods with a touch of magic
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
[Published Version]
View
| Files available
| DOI
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
2020 |
Published |
Book Chapter |
IST-REx-ID: 9096
Parasites and Pathogens
P. Schmid-Hempel, S. Cremer, in:, C. Starr (Ed.), Encyclopedia of Social Insects, Springer Nature, Cham, 2020.
View
| DOI
P. Schmid-Hempel, S. Cremer, in:, C. Starr (Ed.), Encyclopedia of Social Insects, Springer Nature, Cham, 2020.
2020 |
Published |
Journal Article |
IST-REx-ID: 9129
How do ocean warm anomalies favor the aggregation of deep convective clouds?
S. Shamekh, C.J. Muller, J.-P. Duvel, F. D’Andrea, Journal of the Atmospheric Sciences 77 (2020) 3733–3745.
View
| DOI
S. Shamekh, C.J. Muller, J.-P. Duvel, F. D’Andrea, Journal of the Atmospheric Sciences 77 (2020) 3733–3745.
2020 |
Published |
Journal Article |
IST-REx-ID: 9157 |
The weighted mean curvature derivative of a space-filling diagram
A. Akopyan, H. Edelsbrunner, Computational and Mathematical Biophysics 8 (2020) 51–67.
[Published Version]
View
| Files available
| DOI
A. Akopyan, H. Edelsbrunner, Computational and Mathematical Biophysics 8 (2020) 51–67.
2020 |
Published |
Journal Article |
IST-REx-ID: 9249 |
Digital objects in rhombic dodecahedron grid
R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, Mathematical Morphology - Theory and Applications 4 (2020) 143–158.
[Published Version]
View
| Files available
| DOI
R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, Mathematical Morphology - Theory and Applications 4 (2020) 143–158.
2020 |
Published |
Conference Paper |
IST-REx-ID: 9299 |
Crossings between non-homotopic edges
J. Pach, G. Tardos, G. Tóth, in:, 28th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2020, pp. 359–371.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Pach, G. Tardos, G. Tóth, in:, 28th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2020, pp. 359–371.
2020 |
Published |
Journal Article |
IST-REx-ID: 9578 |
Nearly-linear monotone paths in edge-ordered graphs
M. Bucić, M.A. Kwan, A. Pokrovskiy, B. Sudakov, T. Tran, A.Z. Wagner, Israel Journal of Mathematics 238 (2020) 663–685.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Bucić, M.A. Kwan, A. Pokrovskiy, B. Sudakov, T. Tran, A.Z. Wagner, Israel Journal of Mathematics 238 (2020) 663–685.
2020 |
Published |
Journal Article |
IST-REx-ID: 9581 |
Almost all Steiner triple systems have perfect matchings
M.A. Kwan, Proceedings of the London Mathematical Society 121 (2020) 1468–1495.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.A. Kwan, Proceedings of the London Mathematical Society 121 (2020) 1468–1495.
2020 |
Published |
Journal Article |
IST-REx-ID: 9583 |
Almost all Steiner triple systems are almost resolvable
A. Ferber, M.A. Kwan, Forum of Mathematics 8 (2020).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Ferber, M.A. Kwan, Forum of Mathematics 8 (2020).
2020 |
Research Data Reference |
IST-REx-ID: 9780 |
CCDC 1991959: Experimental Crystal Structure Determination
W. Schlemmer, P. Nothdurft, A. Petzold, G. Riess, P. Frühwirt, M. Schmallegger, G. Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
W. Schlemmer, P. Nothdurft, A. Petzold, G. Riess, P. Frühwirt, M. Schmallegger, G. Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, (2020).
2020 |
Published |
Journal Article |
IST-REx-ID: 6906 |
Optimal rate for Bose-Einstein condensation in the Gross-Pitaevskii regime
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Communications in Mathematical Physics 376 (2020) 1311–1395.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Communications in Mathematical Physics 376 (2020) 1311–1395.
2020 |
Published |
Journal Article |
IST-REx-ID: 6976
Jigsaw puzzle design of pluripotent origami
P. Dieleman, N. Vasmel, S.R. Waitukaitis, M. van Hecke, Nature Physics 16 (2020) 63–68.
View
| DOI
P. Dieleman, N. Vasmel, S.R. Waitukaitis, M. van Hecke, Nature Physics 16 (2020) 63–68.
2020 |
Published |
Journal Article |
IST-REx-ID: 7004 |
Cohomological Hall algebras, vertex algebras and instantons
M. Rapcak, Y. Soibelman, Y. Yang, G. Zhao, Communications in Mathematical Physics 376 (2020) 1803–1873.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Rapcak, Y. Soibelman, Y. Yang, G. Zhao, Communications in Mathematical Physics 376 (2020) 1803–1873.
2020 |
Published |
Journal Article |
IST-REx-ID: 7033 |
BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage
R. Donahue, M.E. Maes, J. Grosser, R. Nickells, Molecular Neurobiology 57 (2020) 1070–1084.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
R. Donahue, M.E. Maes, J. Grosser, R. Nickells, Molecular Neurobiology 57 (2020) 1070–1084.
2020 |
Published |
Conference Paper |
IST-REx-ID: 7213 |
A persistent homology perspective to the link prediction problem
S. Bhatia, B. Chatterjee, D. Nathani, M. Kaul, in:, Complex Networks and Their Applications VIII, Springer Nature, 2020, pp. 27–39.
[Submitted Version]
View
| Files available
| DOI
| WoS
S. Bhatia, B. Chatterjee, D. Nathani, M. Kaul, in:, Complex Networks and Their Applications VIII, Springer Nature, 2020, pp. 27–39.
2020 |
Published |
Journal Article |
IST-REx-ID: 7220
Novel software-derived workflow in extracranial–intracranial bypass surgery validated by transdural indocyanine green videoangiography
P. Dodier, T. Auzinger, G. Mistelbauer, W.T. Wang, H. Ferraz-Leite, A. Gruber, W. Marik, F. Winter, G. Fischer, J.M. Frischer, G. Bavinzski, World Neurosurgery 134 (2020) e892–e902.
View
| DOI
| WoS
| PubMed | Europe PMC
P. Dodier, T. Auzinger, G. Mistelbauer, W.T. Wang, H. Ferraz-Leite, A. Gruber, W. Marik, F. Winter, G. Fischer, J.M. Frischer, G. Bavinzski, World Neurosurgery 134 (2020) e892–e902.
2020 |
Published |
Journal Article |
IST-REx-ID: 7234 |
Partial loss of actin nucleator actin-related protein 2/3 activity triggers blebbing in primary T lymphocytes
P. Obeidy, L.A. Ju, S.H. Oehlers, N.S. Zulkhernain, Q. Lee, J.L. Galeano Niño, R.Y.Q. Kwan, S. Tikoo, L.L. Cavanagh, P. Mrass, A.J.L. Cook, S.P. Jackson, M. Biro, B. Roediger, M.K. Sixt, W. Weninger, Immunology and Cell Biology 98 (2020) 93–113.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. Obeidy, L.A. Ju, S.H. Oehlers, N.S. Zulkhernain, Q. Lee, J.L. Galeano Niño, R.Y.Q. Kwan, S. Tikoo, L.L. Cavanagh, P. Mrass, A.J.L. Cook, S.P. Jackson, M. Biro, B. Roediger, M.K. Sixt, W. Weninger, Immunology and Cell Biology 98 (2020) 93–113.
2020 |
Published |
Journal Article |
IST-REx-ID: 7235 |
Divergence of the effective mass of a polaron in the strong coupling limit
E.H. Lieb, R. Seiringer, Journal of Statistical Physics 180 (2020) 23–33.
[Published Version]
View
| Files available
| DOI
| WoS
E.H. Lieb, R. Seiringer, Journal of Statistical Physics 180 (2020) 23–33.
2020 |
Published |
Book Chapter |
IST-REx-ID: 74 |
Gromov's waist of non-radial Gaussian measures and radial non-Gaussian measures
A. Akopyan, R. Karasev, in:, B. Klartag, E. Milman (Eds.), Geometric Aspects of Functional Analysis, Springer Nature, 2020, pp. 1–27.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Akopyan, R. Karasev, in:, B. Klartag, E. Milman (Eds.), Geometric Aspects of Functional Analysis, Springer Nature, 2020, pp. 1–27.
2020 |
Published |
Journal Article |
IST-REx-ID: 7417 |
Regulation of acetylation of plant cell wall components is complex and responds to external stimuli
S.A. Sinclair, S. Gille, M. Pauly, U. Krämer, Plant Signaling & Behavior 15 (2020).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
S.A. Sinclair, S. Gille, M. Pauly, U. Krämer, Plant Signaling & Behavior 15 (2020).