Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5069 Publications
2020 | Journal Article | IST-REx-ID: 8767 |
Kaveh K, McAvoy A, Chatterjee K, Nowak MA. 2020. The Moran process on 2-chromatic graphs. PLOS Computational Biology. 16(11), e1008402.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 8750 |
Forets M, Freire D, Schilling C. 2020. Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. 18th ACM-IEEE International Conference on Formal Methods and Models for System Design. MEMOCODE: Conference on Formal Methods and Models for System Design, 9314994.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 8758 |
Maas J, Mielke A. 2020. Modeling of chemical reaction systems with detailed balance using gradient structures. Journal of Statistical Physics. 181(6), 2257–2303.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Research Data Reference | IST-REx-ID: 13070 |
Peruzzo M, Trioni A, Hassani F, Zemlicka M, Fink JM. 2020. Surpassing the resistance quantum with a geometric superinductor, Zenodo, 10.5281/ZENODO.4052882.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)