Laura Bozzelli

Identifiers

• name variant Laura Bozzelli 0.60 · backfill

Papers (12)

1. Undecidability of future timeline-based planning over dense temporal domains cs.FL · 2019 · author #1
2. Timed context-free temporal logics (extended version) cs.LO · 2018 · author #1
3. Event-Clock Nested Automata cs.FL · 2017 · author #1
4. Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison cs.LO · 2017 · author #1
5. On the Complexity of ATL and ATL* Module Checking cs.LO · 2017 · author #1
6. On the complexity of Temporal Equilibrium Logic cs.LO · 2015 · author #1
7. Unifying Hyper and Epistemic Temporal Logic cs.LO · 2014 · author #1
8. The Complexity of Synthesizing Uniform Strategies cs.GT · 2013 · author #3
9. Refinement Modal Logic cs.LO · 2012 · author #1
10. Model checking for Process Rewrite Systems and a class of action--based regular properties cs.OH · 2004 · author #1
11. Verification of Process Rewrite Systems in normal form cs.OH · 2004 · author #1
12. Verification of recursive parallel systems cs.LO · 2003 · author #1

Mentions

• 1503.00043 #1 · backfill · confidence 0.70 Laura Bozzelli
• 1409.2711 #1 · backfill · confidence 0.70 Laura Bozzelli
• 1303.0798 #3 · backfill · confidence 0.70 Laura Bozzelli
• 1202.3538 #1 · backfill · confidence 0.70 Laura Bozzelli

Frequent Coauthors

• Adriano Peron 5 shared papers
• Aniello Murano 3 shared papers
• Sophie Pinchinat 3 shared papers
• Alberto Molinari 2 shared papers
• Angelo Montanari 2 shared papers
• Bastien Maubert 2 shared papers
• David Pearce 1 shared papers
• Hans van Ditmarsch 1 shared papers
• James Hales 1 shared papers
• Massimo Benerecetti 1 shared papers
• Pietro Sala 1 shared papers
• Tim French 1 shared papers