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.
9234 Publications
2020 |Submitted| Preprint | IST-REx-ID: 8403 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Structural basis of client specificity in mitochondrial membrane-protein chaperones
I. Sučec, Y. Wang, O. Dakhlaoui, K. Weinhäupl, T. Jores, D. Costa, A. Hessel, M. Brennich, D. Rapaport, K. Lindorff-Larsen, B. Bersch, P. Schanda, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
I. Sučec, Y. Wang, O. Dakhlaoui, K. Weinhäupl, T. Jores, D. Costa, A. Hessel, M. Brennich, D. Rapaport, K. Lindorff-Larsen, B. Bersch, P. Schanda, BioRxiv (n.d.).
2020 |Published| Conference Paper | IST-REx-ID: 8572 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics
M. Althoff, S. Bak, Z. Bao, M. Forets, G. Frehse, D. Freire, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling, S. Schupp, M. Wetzlinger, in:, EPiC Series in Computing, EasyChair, 2020, pp. 16–48.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Althoff, S. Bak, Z. Bao, M. Forets, G. Frehse, D. Freire, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling, S. Schupp, M. Wetzlinger, in:, EPiC Series in Computing, EasyChair, 2020, pp. 16–48.
2020 |Published| Conference Paper | IST-REx-ID: 8571 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.
2020 |Published| Conference Paper | IST-REx-ID: 8600 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Multi-dimensional long-run average problems for vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, T.A. Henzinger, J. Otop, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 8599 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A survey of bidding games on graphs
G. Avni, T.A. Henzinger, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
G. Avni, T.A. Henzinger, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 8725 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The splay-list: A distribution-adaptive concurrent skip-list
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 3:1-3:18.
[Published Version]
View
| Files available
| DOI
| arXiv
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 3:1-3:18.
2020 |Published| Journal Article | IST-REx-ID: 8726 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling
D. Gotfryd, E. Paerschke, K. Wohlfeld, A.M. Oleś, Condensed Matter 5 (2020).
[Published Version]
View
| Files available
| DOI
| arXiv
D. Gotfryd, E. Paerschke, K. Wohlfeld, A.M. Oleś, Condensed Matter 5 (2020).
2020 |Published| Conference Paper | IST-REx-ID: 9040 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Journal Article | IST-REx-ID: 9059
Ionic solids from common colloids
T. Hueckel, G.M. Hocky, J.A. Palacci, S. Sacanna, Nature 580 (2020) 487–490.
View
| DOI
| PubMed | Europe PMC
T. Hueckel, G.M. Hocky, J.A. Palacci, S. Sacanna, Nature 580 (2020) 487–490.
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: 9126 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
What controls the water vapor isotopic composition near the surface of tropical oceans? Results from an analytical model constrained by large‐eddy simulations
C. Risi, C.J. Muller, P. Blossey, Journal of Advances in Modeling Earth Systems 12 (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Risi, C.J. Muller, P. Blossey, Journal of Advances in Modeling Earth Systems 12 (2020).
2020 |Published| Journal Article | IST-REx-ID: 9127 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
How warmer and drier will the Mediterranean region be at the end of the twenty-first century?
P. Drobinski, N. Da Silva, S. Bastin, S. Mailler, C.J. Muller, B. Ahrens, O.B. Christensen, P. Lionello, Regional Environmental Change 20 (2020).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Drobinski, N. Da Silva, S. Bastin, S. Mailler, C.J. Muller, B. Ahrens, O.B. Christensen, P. Lionello, Regional Environmental Change 20 (2020).
2020 |Published| Journal Article | IST-REx-ID: 9128 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Response of precipitation extremes to warming: What have we learned from theory and idealized cloud-resolving simulations, and what remains to be learned?
C.J. Muller, Y. Takayabu, Environmental Research Letters 15 (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
C.J. Muller, Y. Takayabu, Environmental Research Letters 15 (2020).
2020 |Published| Journal Article | IST-REx-ID: 9125 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Self‐aggregation of convective clouds with interactive sea surface temperature
S. Shamekh, C.J. Muller, J. ‐P. Duvel, F. D’Andrea, Journal of Advances in Modeling Earth Systems 12 (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Shamekh, C.J. Muller, J. ‐P. Duvel, F. D’Andrea, Journal of Advances in Modeling Earth Systems 12 (2020).
2020 |Submitted| Preprint | IST-REx-ID: 9124 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Atmospheric radiative profiles during EUREC4A
A.L. Albright, B. Fildier, L. Touzé-Peiffer, R. Pincus, J. Vial, C.J. Muller, Earth System Science Data (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
A.L. Albright, B. Fildier, L. Touzé-Peiffer, R. Pincus, J. Vial, C.J. Muller, Earth System Science Data (n.d.).
2020 |Published| Book Chapter | IST-REx-ID: 9123
Inversions and Evolution
A.M. Westram, R. Faria, R. Butlin, K. Johannesson, in:, ELS, Wiley, 2020.
View
| DOI
A.M. Westram, R. Faria, R. Butlin, K. Johannesson, in:, ELS, Wiley, 2020.
2020 |Published| Journal Article | IST-REx-ID: 9162 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Decision-making at a T-junction by gradient-sensing microscopic agents
T. Gandhi, J. Mac Huang, A. Aubret, Y. Li, S. Ramananarivo, M. Vergassola, J.A. Palacci, Physical Review Fluids 5 (2020).
[Published Version]
View
| Files available
| DOI
T. Gandhi, J. Mac Huang, A. Aubret, Y. Li, S. Ramananarivo, M. Vergassola, J.A. Palacci, Physical Review Fluids 5 (2020).
2020 |Published| Journal Article | IST-REx-ID: 9164 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Focus on active colloids and nanoparticles
T. Speck, J. Tailleur, J.A. Palacci, New Journal of Physics 22 (2020).
[Published Version]
View
| Files available
| DOI
T. Speck, J. Tailleur, J.A. Palacci, New Journal of Physics 22 (2020).
2020 |Published| Journal Article | IST-REx-ID: 9249 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.