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.

7712 Publications


2022 | Journal Article | IST-REx-ID: 11937 | OA
A. Reinhardt, M. Bethkenhagen, F. Coppari, M. Millot, S. Hamel, and B. Cheng, “Thermodynamics of high-pressure ice phases explored with atomistic simulations,” Nature Communications, vol. 13. Springer Nature, 2022.
View | Files available | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11621 | OA
H. Dhouib, S. Mathis, L. A. Bugnet, T. Van Reeth, and C. Aerts, “Detecting deep axisymmetric toroidal magnetic fields in stars: The traditional approximation of rotation for differentially rotating deep spherical shells with a general azimuthal magnetic field,” Astronomy & Astrophysics, vol. 661. EDP Sciences, 2022.
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Thesis | IST-REx-ID: 11932
M. Nardin, “On the encoding, transfer, and consolidation of spatial memories,” Institute of Science and Technology Austria (ISTA), 2022.
View | Files available | DOI
 

2022 | Preprint | IST-REx-ID: 10788 | OA
F. A. Wilsch, “Integral points of bounded height on a certain toric variety,” arXiv. .
View | Download Preprint (ext.) | arXiv
 

2022 | Thesis | IST-REx-ID: 11362 | OA
M. Lechner, “Learning verifiable representations,” ISTA, 2022.
View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 10891
T. A. Henzinger, “Quantitative monitoring of software,” in Software Verification, New Haven, CT, United States, 2022, vol. 13124, pp. 3–6.
View | DOI
 

2022 | Preprint | IST-REx-ID: 11366 | OA
M. Lechner, A. Amini, D. Rus, and T. A. Henzinger, “Revisiting the adversarial robustness-accuracy tradeoff in robot learning,” arXiv. .
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11355 | OA
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. O. Da Costa, “Information-flow interfaces,” in Fundamental Approaches to Software Engineering, Munich, Germany, 2022, vol. 13241, pp. 3–22.
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11951 | OA
Y. Ben Simon, K. Käfer, P. Velicky, J. L. Csicsvari, J. G. Danzl, and P. M. Jonas, “A direct excitatory projection from entorhinal layer 6b neurons to the hippocampus contributes to spatial coding and memory,” Nature Communications, vol. 13. Springer Nature, 2022.
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10604 | OA
M. Turelli and N. H. Barton, “Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics, and disease control,” Evolution Letters, vol. 6, no. 1. Wiley, pp. 92–105, 2022.
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11451 | OA
M. Parvizian et al., “The chemistry of Cu₃N and Cu₃PdN nanocrystals,” Angewandte Chemie - International Edition, vol. 61, no. 31. Wiley, 2022.
View | Files available | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 10829 | OA
R. Hasler et al., “Field-effect transistor with a plasmonic fiber optic gate electrode as a multivariable biosensor device,” ACS Sensors, vol. 7, no. 2. ACS Publications, pp. 504–512, 2022.
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11704 | OA
N. B. Budanur and B. Hof, “An autonomous compartmental model for accelerating epidemics,” PLoS ONE, vol. 17, no. 7. Public Library of Science, 2022.
View | Files available | DOI
 

2022 | Research Data Reference | IST-REx-ID: 11686 | OA
M. Turelli and N. H. Barton, “Wolbachia frequency data from: Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics and disease control.” Dryad, 2022.
View | Files available | DOI | Download Published Version (ext.)
 

2022 | Research Data Reference | IST-REx-ID: 10833 | OA
R. Hasler et al., “Field-effect transistor with a plasmonic fiber optic gate electrode as a multivariable biosensor device.” Zenodo, 2022.
View | Files available | DOI | Download Published Version (ext.)
 

2022 | Research Data Reference | IST-REx-ID: 11695 | OA
M. Parvizian et al., “Data for ‘The chemistry of Cu3N and Cu3PdN nanocrystals.’” Zenodo, 2022.
View | Files available | DOI | Download Published Version (ext.)
 

2022 | Research Data Reference | IST-REx-ID: 11711 | OA
N. B. Budanur, “burakbudanur/autoacc-public.” Zenodo, 2022.
View | Files available | DOI | Download Published Version (ext.)
 

2022 | Conference Paper | IST-REx-ID: 12000 | OA
K. Chatterjee, A. K. Goharshady, T. Meggendorfer, and D. Zikelic, “Sound and complete certificates for auantitative termination analysis of probabilistic programs,” in Proceedings of the 34th International Conference on Computer Aided Verification, Haifa, Israel, 2022, vol. 13371, pp. 55–78.
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11998 | OA
I. Cherepanov, G. Bighin, C. A. Schouder, A. S. Chatterley, H. Stapelfeldt, and M. Lemeshko, “A simple model for high rotational excitations of molecules in a superfluid,” New Journal of Physics, vol. 24, no. 7. IOP, 2022.
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12001 | OA
K. E. Hearn et al., “Differing associations between sex determination and sex-linked inversions in two ecotypes of Littorina saxatilis,” Evolution Letters. Wiley, 2022.
View | Files available | DOI
 

Search

Filter Publications