From the 1 of 35 papers with an AI index.
29 citations
- M. Lemoine-Goumard4 · h 96
- A. Acharyya3 profiles3 · h 8
- A. Reimer2 profiles3 · h 120
- J. Leconte3 · h 5
- O. Reimer2 profiles3 · h 33
- S. Funk3 profiles3 · h 49
- A. Adelfio2 · h 3
- A. Dinesh2 profiles2 · h 2
- A. Fiori2 profiles2 · h 39
- A. Lagrange2 profiles2 · h 70
- A. Laviron2 profiles2 · h 6
- A. Liguori2 profiles2 · h 8
- Centre National de la Recherche ScientifiqueFR23 papers
- Institut Polytechnique de BordeauxFR8 papers
- Université Paris CitéFR8 papers
- Laboratoire d'Astrophysique de BordeauxFR6 papers
- Sorbonne UniversitéFR5 papers
- Université Paris-SaclayFR5 papers
- CEA Paris-SaclayFR4 papers
- Centre de recherche Paul PascalFR4 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR4 papers
- Goddard Space Flight CenterUS4 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR4 papers
- Sorbonne Paris CitéFR4 papers
4 papers · 1 filter
The Bright Side of Timed Opacity
Ãtienne André, Sarah Dépernet, Engel Lefaucheux
Timed automata (TAs) are an extension of finite automata that can measure and react to the passage of time, providing the ability to handle real-time constraints using clocks. In 2…
An automata-based approach for synchronizable mailbox communication
Romain Delpy, Anca Muscholl, Grégoire Sutre
We revisit finite-state communicating systems with round-based communication under mailbox semantics. Mailboxes correspond to one FIFO buffer per process (instead of one buffer per…
Guarded Negation Transitive Closure Logic
Diego Figueira, Santiago Figueira, Yoshiki Nakamura
We study the guarded negation fragment of transitive closure logic (GNTC). We show that the satisfiability problem for GNTC is 2ExpTime-complete, by establishing the following redu…
Revisiting Conjunctive Query Entailment for
YazmÃn Ibáñez-GarcÃa, Jean Christoph Jung, Vincent Michielini +1
We clarify the complexity of answering unions of conjunctive queries over knowledge bases formulated in the description logic , the extension of with tr…