Laura Bozzelli

From MaRDI portal
Person:278750

Available identifiers

zbMath Open bozzelli.lauraMaRDI QIDQ278750

List of research outcomes

PublicationDate of PublicationType
On the complexity of model checking knowledge and time2024-04-26Paper
https://portal.mardi4nfdi.de/entity/Q61910102024-02-08Paper
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes2023-10-02Paper
\textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes2023-09-27Paper
Interval Temporal Logic for Visibly Pushdown Systems2023-07-18Paper
Quantifying over Trees in Monadic Second-Order Logic2023-04-23Paper
https://portal.mardi4nfdi.de/entity/Q58756682023-02-03Paper
https://portal.mardi4nfdi.de/entity/Q58756692023-02-03Paper
Hierarchical cost-parity games2023-02-03Paper
Complexity analysis of a unifying algorithm for model checking interval temporal logic2023-02-03Paper
On a Temporal Logic of Prefixes and Infixes.2022-07-18Paper
https://portal.mardi4nfdi.de/entity/Q50797702022-05-28Paper
Context-free timed formalisms: robust automata and linear temporal logics2022-03-14Paper
https://portal.mardi4nfdi.de/entity/Q50284812022-02-09Paper
Complexity issues for timeline-based planning over dense time under future and minimal semantics2022-01-18Paper
https://portal.mardi4nfdi.de/entity/Q33848902021-12-17Paper
https://portal.mardi4nfdi.de/entity/Q33841612021-12-14Paper
https://portal.mardi4nfdi.de/entity/Q33841772021-12-14Paper
https://portal.mardi4nfdi.de/entity/Q50152702021-12-07Paper
Complexity analysis of a unifying algorithm for model checking interval temporal logic2021-09-21Paper
https://portal.mardi4nfdi.de/entity/Q33887512021-05-06Paper
https://portal.mardi4nfdi.de/entity/Q49647212021-03-03Paper
https://portal.mardi4nfdi.de/entity/Q49647262021-03-03Paper
Hierarchical cost-parity games2020-11-06Paper
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption2020-05-27Paper
Model checking interval temporal logics with regular expressions2020-05-26Paper
Alternating-time temporal logics with linear past2020-04-21Paper
Timeline-based planning over dense temporal domains2020-04-21Paper
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions2019-09-16Paper
Which fragments of the interval temporal logic HS are tractable in model checking?2019-03-13Paper
Interval vs. Point Temporal Logic Model Checking2019-02-07Paper
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy2018-09-27Paper
Event-clock nested automata2018-06-26Paper
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison2018-04-19Paper
Visibly linear temporal logic2018-02-02Paper
Visibly Rational Expressions2017-01-26Paper
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments2016-09-05Paper
Foundations of Boolean stream runtime verification2016-05-02Paper
The complexity of one-agent refinement modal logic2015-10-12Paper
Unifying Hyper and Epistemic Temporal Logics2015-10-01Paper
Uniform strategies, rational relations and jumping automata2015-06-01Paper
CaRet With Forgettable Past2015-03-23Paper
Refinement modal logic2014-11-28Paper
Visibly Linear Temporal Logic2014-09-26Paper
Visibly rational expressions2014-06-12Paper
Verification of gap-order constraint abstractions of counter systems2014-02-04Paper
On Timed Alternating Simulation for Concurrent Timed Games2012-10-24Paper
On timed alternating simulation for concurrent timed games2012-10-15Paper
The Complexity of One-Agent Refinement Modal Logic2012-09-21Paper
Verification of Gap-Order Constraint Abstractions of Counter Systems2012-06-15Paper
Strong Termination for Gap-Order Constraint Abstractions of Counter Systems2012-06-08Paper
Hardness of preorder checking for basic formalisms2011-12-07Paper
Complexity Analysis of the Backward Coverability Algorithm for VASS2011-10-07Paper
Hybrid and First-Order Complete Extensions of CaRet2011-07-01Paper
Hardness of Preorder Checking for Basic Formalisms2011-01-07Paper
Pushdown module checking2010-05-05Paper
Complexity and succinctness issues for linear-time hybrid logics2009-12-15Paper
Decision problems for lower/upper bound parametric timed automata2009-12-02Paper
On decidability of LTL model checking for process rewrite systems2009-03-26Paper
Complexity and Succinctness Issues for Linear-Time Hybrid Logics2008-10-27Paper
Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages2008-09-18Paper
Verification of well-formed communicating recursive state machines2008-09-16Paper
Pushdown Module Checking2008-05-27Paper
Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints2008-05-27Paper
On Decidability of LTL Model Checking for Process Rewrite Systems2008-04-17Paper
The Complexity of CTL* + Linear Past2008-04-11Paper
Decision Problems for Lower/Upper Bound Parametric Timed Automata2007-11-28Paper
Controller Synthesis for MTL Specifications2007-09-04Paper
Complexity results on branching-time pushdown model checking2007-07-16Paper
Verification, Model Checking, and Abstract Interpretation2007-02-12Paper
Verification, Model Checking, and Abstract Interpretation2007-02-12Paper
Model checking for process rewrite systems and a class of action-based regular properties2006-09-14Paper
Verification, Model Checking, and Abstract Interpretation2005-12-06Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Laura Bozzelli