Adriano Peron

Identifiers

No identifiers captured yet.

Papers (6)

1. Undecidability of future timeline-based planning over dense temporal domains cs.FL · 2019 · author #4
2. Timed context-free temporal logics (extended version) cs.LO · 2018 · author #3
3. Event-Clock Nested Automata cs.FL · 2017 · author #3
4. Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison cs.LO · 2017 · author #4
5. Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives cs.LO · 2017 · author #3
6. Verification of recursive parallel systems cs.LO · 2003 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Laura Bozzelli 5 shared papers
• Alberto Molinari 3 shared papers
• Angelo Montanari 3 shared papers
• Aniello Murano 2 shared papers
• Massimo Benerecetti 1 shared papers
• Pietro Sala 1 shared papers