`Travelled to:`

1 × Austria

1 × France

1 × Hungary

1 × Japan

1 × Poland

1 × Spain

1 × United Kingdom

2 × USA

`Collaborated with:`

∅ S.Pinchinat S.L.Torre A.Peron D.Pearce C.Sánchez B.Maubert A.Molinari A.Montanari P.Sala

`Talks about:`

tempor (4) logic (4) complex (3) system (3) model (3) check (3) constraint (2) abstract (2) counter (2) linear (2)

## Person: Laura Bozzelli

### DBLP: Bozzelli:Laura

### Contributed to:

### Wrote 11 papers:

- FoSSaCS-2015-BozzelliMP #logic
- Unifying Hyper and Epistemic Temporal Logics (LB, BM, SP), pp. 167–182.
- LICS-2015-BozzelliP #complexity #equilibrium #logic #on the
- On the Complexity of Temporal Equilibrium Logic (LB, DP), pp. 645–656.
- IJCAR-2014-BozzelliS #linear #logic
- Visibly Linear Temporal Logic (LB, CS), pp. 418–433.
- LATA-2012-Bozzelli #abstraction #constraints #termination
- Strong Termination for Gap-Order Constraint Abstractions of Counter Systems (LB), pp. 155–168.
- VMCAI-2012-BozzelliP #abstraction #constraints #verification
- Verification of Gap-Order Constraint Abstractions of Counter Systems (LB, SP), pp. 88–103.
- FoSSaCS-2008-Bozzelli #complexity #linear
- The Complexity of CTL* + Linear Past (LB), pp. 186–200.
- ICALP-2007-BozzelliT #automaton #bound #parametricity #problem
- Decision Problems for Lower/Upper Bound Parametric Timed Automata (LB, SLT), pp. 925–936.
- VMCAI-2006-Bozzelli #automaton #complexity #model checking
- Complexity Results on Branching-Time Pushdown Model Checking (LB), pp. 65–79.
- VMCAI-2006-BozzelliTP #communication #recursion #state machine #verification
- Verification of Well-Formed Communicating Recursive State Machines (LB, SLT, AP), pp. 412–426.
- VMCAI-2005-Bozzelli #model checking #process #term rewriting
- Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties (LB), pp. 282–297.
- IJCAR-2016-BozzelliMMPS #logic #model checking
- Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (LB, AM, AM, AP, PS), pp. 389–405.