- Register Automata with Permutations Mrudula Balachander Emmanuel Filiot Raffaella Gentilini Nikos Tzevelekos Sun 24 August 2025
- Automatic Synthesis of Systems with Data Léo Exibard Fri 26 May 2023
- Reasoning on Data Words over Numeric Domains Diego Figueira Anthony Widjaja Lin Mon 29 August 2022
- MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability Shiguang Feng Claudia Carapelle Oliver Fernández Gil Karin Quaas Tue 18 August 2020
- Logics for Word Transductions with Synthesis Luc Dartois Emmanuel Filiot Nathan Lhote Fri 12 October 2018
Library Size: 13G (5 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
