Items where Author is "Henzinger, Thomas A."
 |
The system is temporarily closed to updates for reporting purpose. |
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Papers in Conference Proceedings
Number of items: 2.
Papers in Conference Proceedings
Henzinger, Thomas A. and Mazzocchi, Nicolas and Saraç, N. Ege and Yılmaz, Harun (2026) Extending QuAK with nested quantitative automata. In: 38th International Conference on Computer Aided Verification, CAV 2026, Lisbon, Portugal
Ferrère, Thomas and Henzinger, Thomas A. and Saraç, Naci Ege (2018) A theory of register monitors. In: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, England