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.




239 Publications

2021 | Conference Paper | IST-REx-ID: 9356 | OA
Quantitative and approximate monitoring
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Journal Article | IST-REx-ID: 9558 | OA
Coarse graining the state space of a turbulent flow using periodic orbits
G. Yalniz, B. Hof, N.B. Budanur, Physical Review Letters 126 (2021).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Journal Article | IST-REx-ID: 9818 | OA
Mechanics-aware deformation of yarn pattern geometry
G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 40 (2021).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2021 | Scientific Software | IST-REx-ID: 9327 | OA View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 9891 | OA
Floating Wigner crystal and periodic jellium configurations
A.B. Lauritsen, Journal of Mathematical Physics 62 (2021).
[Published Version] View | Files available | DOI | WoS | arXiv
 

Search

Filter Publications