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.
7115 Publications
2020 | Published | Conference Paper | IST-REx-ID: 7808 | 
How many bits does it take to quantize your neural network?
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
[Published Version]
View
| Files available
| DOI
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
2020 | Published | Thesis | IST-REx-ID: 8332 |
Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
2020 | Published | Journal Article | IST-REx-ID: 6761 |
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 807 (2020) 42–55.
[Submitted Version]
View
| Files available
| DOI
| WoS
G. Avni, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 807 (2020) 42–55.
2020 | Published | Journal Article | IST-REx-ID: 8163 |
Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (2020) 193–199.
[Published Version]
View
| Files available
| DOI
| WoS
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (2020) 193–199.
2020 | Published | Journal Article | IST-REx-ID: 7236 |
Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair
C. Baskett, L. Schroeder, M.G. Weber, D.W. Schemske, Ecological Monographs 90 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
C. Baskett, L. Schroeder, M.G. Weber, D.W. Schemske, Ecological Monographs 90 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 8287 |
Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, 2020.
[Preprint]
View
| Files available
| arXiv
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, 2020.
2020 | Published | Journal Article | IST-REx-ID: 8790 |
Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 4018–4029.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 4018–4029.
2020 | Published | Journal Article | IST-REx-ID: 8225 |
Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1
V.K. Köhler, S. Crescioli, J. Singer, H.J. Bax, G. Hofer, C.L. Pranger, K. Hufnagl, R. Bianchini, S. Flicker, W. Keller, S.N. Karagiannis, E. Jensen-Jarolim, International Journal of Molecular Sciences 21 (2020).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
V.K. Köhler, S. Crescioli, J. Singer, H.J. Bax, G. Hofer, C.L. Pranger, K. Hufnagl, R. Bianchini, S. Flicker, W. Keller, S.N. Karagiannis, E. Jensen-Jarolim, International Journal of Molecular Sciences 21 (2020).
2020 | Epub ahead of print | Journal Article | IST-REx-ID: 8226 |
Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro
J. Gotovina, R. Bianchini, J. Singer, I. Herrmann, G. Pellizzari, I.D. Haidl, K. Hufnagl, S.N. Karagiannis, J.S. Marshall, E. Jensen‐Jarolim, Allergy (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Gotovina, R. Bianchini, J. Singer, I. Herrmann, G. Pellizzari, I.D. Haidl, K. Hufnagl, S.N. Karagiannis, J.S. Marshall, E. Jensen‐Jarolim, Allergy (2020).
2020 | Research Data Reference | IST-REx-ID: 9799 |
Simulation code for Fig S1 from the distribution of epistasis on simple fitness landscapes
C. Fraisse, J.J. Welch, (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
C. Fraisse, J.J. Welch, (2020).
2020 | Research Data Reference | IST-REx-ID: 9798 |
Simulation code for Fig S2 from the distribution of epistasis on simple fitness landscapes
C. Fraisse, J.J. Welch, (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
C. Fraisse, J.J. Welch, (2020).
2020 | Research Data Reference | IST-REx-ID: 9814 |
Data and mathematica notebooks for plotting figures from language learning with communication between learners from language acquisition with communication between learners
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, M. Nowak, (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, M. Nowak, (2020).
2020 | Published | Journal Article | IST-REx-ID: 8101 |
Quantitatively consistent scale-spanning model for same-material tribocharging
G.M. Grosjean, S. Wald, J.C.A. Sobarzo Ponce, S.R. Waitukaitis, Physical Review Materials 4 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G.M. Grosjean, S. Wald, J.C.A. Sobarzo Ponce, S.R. Waitukaitis, Physical Review Materials 4 (2020).
2020 | Research Data | IST-REx-ID: 8930 |
Analysis scripts and research data for the paper "Minimal biophysical model of combined antibiotic action"
B. Kavcic, (2020).
[Published Version]
View
| Files available
| DOI
B. Kavcic, (2020).
2020 | Published | Conference Paper | IST-REx-ID: 7505 |
Outside the box: Abstraction-based monitoring of neural networks
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, IOS Press, 2020, pp. 2433–2440.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, IOS Press, 2020, pp. 2433–2440.
2020 | Published | Conference Paper | IST-REx-ID: 8725 |
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: 8978 |
Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy
S. Laukoter, N. Amberg, F. Pauler, S. Hippenmeyer, STAR Protocols 1 (2020).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Laukoter, N. Amberg, F. Pauler, S. Hippenmeyer, STAR Protocols 1 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8011 |
Stabilizing two-dimensional quantum scars by deformation and synchronization
A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review Research 2 (2020).
[Published Version]
View
| Files available
| DOI
A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review Research 2 (2020).
2020 | Published | Journal Article | IST-REx-ID: 7919 |
Induced correlations between impurities in a one-dimensional quenched Bose gas
S.I. Mistakidis, A. Volosniev, P. Schmelcher, Physical Review Research 2 (2020).
[Published Version]
View
| Files available
| DOI
S.I. Mistakidis, A. Volosniev, P. Schmelcher, Physical Review Research 2 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 8572 |
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.