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.




6766 Publications

2024 | Published | Conference Paper | IST-REx-ID: 17898
M. Lechner, R. Hasani, A. Amini, T. H. Wang, T. A. Henzinger, and D. Rus, “Overparametrization helps offline-to-online generalization of closed-loop control from pixels,” in Proceedings of the 2024 IEEE International Conference on Robotics and Automation, Yokohama, Japan, 2024, pp. 2774–2782.
View | DOI | WoS
 
2024 | Published | Conference Paper | IST-REx-ID: 15321 | OA
G. Trinh, B. Benhamou, S. Pastva, and S. Soliman, “Scalable enumeration of trap spaces in boolean networks via answer set programming,” in Proceedings of the 38th AAAI Conference on Artificial Intelligence, 2024, vol. 38, no. 9, pp. 10714–10722.
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 | Published | Conference Paper | IST-REx-ID: 18521 | OA
B. Bonakdarpour, A. Momtaz, D. Nickovic, and N. E. Sarac, “Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy,” in 24th International Conference on Runtime Verification, Istanbul, Turkey, 2024, vol. 15191, pp. 282–301.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18068 | OA
T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Strategic dominance: A new preorder for nondeterministic processes,” in 35th International Conference on Concurrency Theory, Calgary, Canada, 2024, vol. 311.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18175 | OA
P. Maj, S. Muroya Lei, K. Siek, L. Di Grazia, and J. Vitek, “The fault in our stars: Designing reproducible large-scale code analysis experiments,” in 38th European Conference on Object-Oriented Programming, Vienna, Austria, 2024, vol. 313.
[Published Version] View | Files available | DOI | WoS
 
2024 | Published | Journal Article | IST-REx-ID: 18530 | OA
S. Bose, T. A. Henzinger, K. Lehtinen, S. Schewe, and P. Totzke, “History-deterministic timed automata,” Logical Methods in Computer Science, vol. 20, no. 4. EPI Sciences, pp. 1–28, 2024.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18955 | OA
A. Casares, M. Pilipczuk, M. Pilipczuk, U. S. Souza, and K. S. Thejaswini, “Simple and tight complexity lower bounds for solving Rabin games,” in 2024 Symposium on Simplicity in Algorithms, Alexandria, VA, United States, 2024, pp. 160–167.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18599
M. Chalupa, T. A. Henzinger, and A. Oliveira da Costa, “Monitoring extended hypernode logic,” in Integrated Formal Methods, 2024, vol. 15234, pp. 151–171.
View | DOI | WoS
 
2024 | Published | Conference Paper | IST-REx-ID: 18177
N. Beneš, L. Brim, O. Huvar, S. Pastva, and D. Šafránek, “BNClassifier: Classifying boolean models by dynamic properties,” in Computational Methods in Systems Biology, 2024, vol. 14971, pp. 19–26.
View | DOI | WoS
 
2024 | Published | Book Chapter | IST-REx-ID: 18563
T. A. Henzinger, “Reminiscences of a Real-Time Researcher,” in Real Time and Such, vol. 15230, S. Graf, P. Pettersson, and B. Steffen, Eds. Cham: Springer Nature, 2024, pp. 154–164.
View | DOI
 
earlier version | 2024 | Published | Conference Paper | IST-REx-ID: 15168 | OA
M. Filakovský, T. V. Nakajima, J. Opršal, G. Tasinato, and U. Wagner, “Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs,” in 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France, 2024, vol. 289.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 9651 | OA
M. Dymond and V. Kaluza, “Divergence of separated nets with respect to displacement equivalence,” Geometriae Dedicata, vol. 218. Springer Nature, 2024.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 14660 | OA
G. Ivanov and M. Naszódi, “Quantitative Steinitz theorem: A polynomial bound,” Bulletin of the London Mathematical Society, vol. 56, no. 2. London Mathematical Society, pp. 796–802, 2024.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18617 | OA
D. Beďatš, “Separation of variables for scalar-valued polynomials in the non-stable range,” Journal of Algebra, vol. 651. Elsevier, pp. 281–304, 2024.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 13974 | OA
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, and U. Wagner, “The crossing Tverberg theorem,” Discrete and Computational Geometry, vol. 72. Springer Nature, pp. 831–848, 2024.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 15296
M. Lopushanski and G. Ivanov, “A constructive algorithm for building rectifiable curves in weakly convex sets,” in AIP Conference Proceedings, Virtual, 2024, vol. 3030, no. 1.
View | DOI
 
earlier version | 2024 | Published | Conference Paper | IST-REx-ID: 18917 | OA
B. Aronov, A. Basit, I. Ramesh, G. Tasinato, and U. Wagner, “Eight-partitioning points in 3D, and efficiently too,” in 40th International Symposium on Computational Geometry, Athens, Greece, 2024, vol. 293, p. 8:1-8:15.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18483 | OA
V. Kaloshin, E. Koudjinan, and K. Zhang, “Birkhoff conjecture for nearly centrally symmetric domains,” Geometric and Functional Analysis, vol. 34. Springer Nature, pp. 1973–2007, 2024.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18065 | OA
X. Hou, Y. Pan, and Q. Zhou, “Dynamical classification of analytic one-frequency quasi-periodic SO(3,R)-cocycles,” Advances in Mathematics, vol. 457. Elsevier, 2024.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18604 | OA
P. De Nooijer et al., “Removing popular faces in curve arrangements,” Journal of Graph Algorithms and Applications, vol. 28, no. 2. Brown University, pp. 47–82, 2024.
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed