Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Laura Bozzelli
@article{DBLP:journals/tocl/BozzelliMM24,
author = {Laura Bozzelli and
Bastien Maubert and
Aniello Murano},
title = {On the Complexity of Model Checking Knowledge and Time},
journal = {{ACM} Trans. Comput. Log.},
volume = {25},
number = {1},
pages = {8:1--8:42},
year = {2024},
url = {https://doi.org/10.1145/3637212},
doi = {10.1145/3637212},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BozzelliMM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzelliMPS23,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Pspace-completeness of the temporal logic of sub-intervals and suffixes},
journal = {Inf. Comput.},
volume = {294},
pages = {105083},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2023.105083},
doi = {10.1016/J.IC.2023.105083},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BozzelliMPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BozzelliMP23,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron},
title = {Interval Temporal Logic for Visibly Pushdown Systems},
journal = {{ACM} Trans. Comput. Log.},
volume = {24},
number = {3},
pages = {24:1--24:32},
year = {2023},
url = {https://doi.org/10.1145/3583756},
doi = {10.1145/3583756},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BozzelliMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BenerecettiBMP23,
author = {Massimo Benerecetti and
Laura Bozzelli and
Fabio Mogavero and
Adriano Peron},
title = {Quantifying Over Trees in Monadic Second-Order Logic},
booktitle = {{LICS}},
pages = {1--13},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175832},
doi = {10.1109/LICS56636.2023.10175832},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BenerecettiBMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-11613,
author = {Massimo Benerecetti and
Laura Bozzelli and
Fabio Mogavero and
Adriano Peron},
title = {Quantifying over Trees in Monadic Second-Order Logic},
journal = {CoRR},
volume = {abs/2304.11613},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.11613},
doi = {10.48550/ARXIV.2304.11613},
eprinttype = {arXiv},
eprint = {2304.11613},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-11613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzelliMP22,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Context-free timed formalisms: Robust automata and linear temporal
logics},
journal = {Inf. Comput.},
volume = {283},
pages = {104673},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2020.104673},
doi = {10.1016/J.IC.2020.104673},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BozzelliMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BozzelliMMPS22,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Satisfiability and Model Checking for the Logic of Sub-Intervals under
the Homogeneity Assumption},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:24)2022},
doi = {10.46298/LMCS-18(1:24)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BozzelliMMPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliMP22,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron},
title = {Complexity issues for timeline-based planning over dense time under
future and minimal semantics},
journal = {Theor. Comput. Sci.},
volume = {901},
pages = {87--113},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2021.12.004},
doi = {10.1016/J.TCS.2021.12.004},
timestamp = {Wed, 12 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BozzelliPS22,
author = {Laura Bozzelli and
Adriano Peron and
C{\'{e}}sar S{\'{a}}nchez},
editor = {Bartek Klin and
Slawomir Lasota and
Anca Muscholl},
title = {Expressiveness and Decidability of Temporal Logics for Asynchronous
Hyperproperties},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {27:1--27:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.27},
doi = {10.4230/LIPICS.CONCUR.2022.27},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/BozzelliPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BozzelliP22,
author = {Laura Bozzelli and
Adriano Peron},
editor = {Alexander Artikis and
Roberto Posenato and
Stefano Tonetta},
title = {A Quantitative Extension of Interval Temporal Logic over Infinite
Words},
booktitle = {29th International Symposium on Temporal Representation and Reasoning,
{TIME} 2022, November 7-9, 2022, Virtual Conference},
series = {LIPIcs},
volume = {247},
pages = {11:1--11:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TIME.2022.11},
doi = {10.4230/LIPICS.TIME.2022.11},
timestamp = {Wed, 02 Nov 2022 15:45:12 +0100},
biburl = {https://dblp.org/rec/conf/time/BozzelliP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10316,
author = {Laura Bozzelli and
Adriano Peron},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Parametric Interval Temporal Logic over Infinite Words},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {97--113},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.7},
doi = {10.4204/EPTCS.370.7},
timestamp = {Mon, 31 Oct 2022 12:23:58 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10316.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-07881,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {The addition of temporal neighborhood makes the logic of prefixes
and sub-intervals EXPSPACE-complete},
journal = {CoRR},
volume = {abs/2202.07881},
year = {2022},
url = {https://arxiv.org/abs/2202.07881},
eprinttype = {arXiv},
eprint = {2202.07881},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-07881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13920,
author = {Laura Bozzelli and
Adriano Peron},
title = {A quantitative extension of Interval Temporal Logic over infinite
words},
journal = {CoRR},
volume = {abs/2206.13920},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.13920},
doi = {10.48550/ARXIV.2206.13920},
eprinttype = {arXiv},
eprint = {2206.13920},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-13920.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-02956,
author = {Laura Bozzelli and
Adriano Peron and
C{\'{e}}sar S{\'{a}}nchez},
title = {Expressiveness and Decidability of Temporal Logics for Asynchronous
Hyperproperties},
journal = {CoRR},
volume = {abs/2207.02956},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.02956},
doi = {10.48550/ARXIV.2207.02956},
eprinttype = {arXiv},
eprint = {2207.02956},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-02956.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzelliMP21,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron},
title = {Complexity analysis of a unifying algorithm for model checking interval
temporal logic},
journal = {Inf. Comput.},
volume = {280},
pages = {104640},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104640},
doi = {10.1016/J.IC.2020.104640},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BozzelliMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BozzelliPS21,
author = {Laura Bozzelli and
Adriano Peron and
C{\'{e}}sar S{\'{a}}nchez},
title = {Asynchronous Extensions of HyperLTL},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--13},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470583},
doi = {10.1109/LICS52264.2021.9470583},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BozzelliPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BozzelliMPS21,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {9:1--9:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.9},
doi = {10.4230/LIPICS.TIME.2021.9},
timestamp = {Thu, 16 Sep 2021 15:36:49 +0200},
biburl = {https://dblp.org/rec/conf/time/BozzelliMPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08320,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes
makes it EXPSPACE-Complete},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {179--194},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.12},
doi = {10.4204/EPTCS.346.12},
timestamp = {Mon, 29 Nov 2021 16:32:06 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08320.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-12886,
author = {Laura Bozzelli and
Adriano Peron and
C{\'{e}}sar S{\'{a}}nchez},
title = {Asynchronous Extensions of HyperLTL},
journal = {CoRR},
volume = {abs/2104.12886},
year = {2021},
url = {https://arxiv.org/abs/2104.12886},
eprinttype = {arXiv},
eprint = {2104.12886},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-12886.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzelliMMP20,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
title = {Model checking interval temporal logics with regular expressions},
journal = {Inf. Comput.},
volume = {272},
pages = {104498},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2019.104498},
doi = {10.1016/J.IC.2019.104498},
timestamp = {Fri, 29 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BozzelliMMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliMS20,
author = {Laura Bozzelli and
Aniello Murano and
Loredana Sorrentino},
title = {Alternating-time temporal logics with linear past},
journal = {Theor. Comput. Sci.},
volume = {813},
pages = {199--217},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.11.028},
doi = {10.1016/J.TCS.2019.11.028},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliMMPW20,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Gerhard J. Woeginger},
title = {Timeline-based planning over dense temporal domains},
journal = {Theor. Comput. Sci.},
volume = {813},
pages = {305--326},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.12.030},
doi = {10.1016/J.TCS.2019.12.030},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliMMPW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliMPS20,
author = {Laura Bozzelli and
Aniello Murano and
Giuseppe Perelli and
Loredana Sorrentino},
title = {Hierarchical cost-parity games},
journal = {Theor. Comput. Sci.},
volume = {847},
pages = {147--174},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.10.002},
doi = {10.1016/J.TCS.2020.10.002},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliMPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BozzelliMMP20,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Gennaro Cordasco and
Luisa Gargano and
Adele A. Rescigno},
title = {Undecidability of Future Timeline-based Planning over Dense Temporal
Domains?},
booktitle = {Proceedings of the 21st Italian Conference on Theoretical Computer
Science, Ischia, Italy, September 14-16, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2756},
pages = {155--166},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2756/paper\_15.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BozzelliMMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BozzelliMP20,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Module Checking of Pushdown Multi-agent Systems},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {162--171},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/17},
doi = {10.24963/KR.2020/17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BozzelliMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BozzelliMPS20,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Javier Esparza and
Daniel Kr{\'{a}}l'},
title = {On a Temporal Logic of Prefixes and Infixes},
booktitle = {45th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2020, August 24-28, 2020, Prague, Czech Republic},
series = {LIPIcs},
volume = {170},
pages = {21:1--21:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2020.21},
doi = {10.4230/LIPICS.MFCS.2020.21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BozzelliMPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-04728,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Module checking of pushdown multi-agent systems},
journal = {CoRR},
volume = {abs/2003.04728},
year = {2020},
url = {https://arxiv.org/abs/2003.04728},
eprinttype = {arXiv},
eprint = {2003.04728},
timestamp = {Tue, 17 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-04728.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-04652,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Satisfiability and Model Checking for the Logic of Sub-Intervals under
the Homogeneity Assumption},
journal = {CoRR},
volume = {abs/2006.04652},
year = {2020},
url = {https://arxiv.org/abs/2006.04652},
eprinttype = {arXiv},
eprint = {2006.04652},
timestamp = {Fri, 12 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-04652.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliMMPS19,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Which fragments of the interval temporal logic {HS} are tractable
in model checking?},
journal = {Theor. Comput. Sci.},
volume = {764},
pages = {125--144},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.04.011},
doi = {10.1016/J.TCS.2018.04.011},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliMMPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BozzelliMMPS19,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Interval vs. Point Temporal Logic Model Checking: An Expressiveness
Comparison},
journal = {{ACM} Trans. Comput. Log.},
volume = {20},
number = {1},
pages = {4:1--4:31},
year = {2019},
url = {https://doi.org/10.1145/3281028},
doi = {10.1145/3281028},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BozzelliMMPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BozzelliMP19,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron},
editor = {Arkadev Chattopadhyay and
Paul Gastin},
title = {Interval Temporal Logic for Visibly Pushdown Systems},
booktitle = {39th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019,
Bombay, India},
series = {LIPIcs},
volume = {150},
pages = {33:1--33:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.33},
doi = {10.4230/LIPICS.FSTTCS.2019.33},
timestamp = {Thu, 05 Dec 2019 15:12:21 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BozzelliMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BozzelliMP19a,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron},
editor = {Arkadev Chattopadhyay and
Paul Gastin},
title = {Taming the Complexity of Timeline-Based Planning over Dense Temporal
Domains},
booktitle = {39th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019,
Bombay, India},
series = {LIPIcs},
volume = {150},
pages = {34:1--34:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.34},
doi = {10.4230/LIPICS.FSTTCS.2019.34},
timestamp = {Thu, 05 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BozzelliMP19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BozzelliMMP19,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {Model Checking Timeline-Based Systems over Dense Temporal Domains},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer
Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2504},
pages = {235--247},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2504/paper27.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BozzelliMMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BozzelliMM19,
author = {Laura Bozzelli and
Bastien Maubert and
Aniello Murano},
editor = {Sarit Kraus},
title = {The Complexity of Model Checking Knowledge and Time},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1595--1601},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/221},
doi = {10.24963/IJCAI.2019/221},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BozzelliMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BozzelliMP19,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron},
editor = {Johann Gamper and
Sophie Pinchinat and
Guido Sciavicco},
title = {Complexity Analysis of a Unifying Algorithm for Model Checking Interval
Temporal Logic},
booktitle = {26th International Symposium on Temporal Representation and Reasoning,
{TIME} 2019, October 16-19, 2019, M{\'{a}}laga, Spain},
series = {LIPIcs},
volume = {147},
pages = {18:1--18:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TIME.2019.18},
doi = {10.4230/LIPICS.TIME.2019.18},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/BozzelliMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-09184,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
title = {Undecidability of future timeline-based planning over dense temporal
domains},
journal = {CoRR},
volume = {abs/1904.09184},
year = {2019},
url = {http://arxiv.org/abs/1904.09184},
eprinttype = {arXiv},
eprint = {1904.09184},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-09184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-08406,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Timed Context-Free Temporal Logics},
journal = {CoRR},
volume = {abs/1911.08406},
year = {2019},
url = {http://arxiv.org/abs/1911.08406},
eprinttype = {arXiv},
eprint = {1911.08406},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-08406.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzelliMMPS18,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Model checking for fragments of the interval temporal logic {HS} at
the low levels of the polynomial time hierarchy},
journal = {Inf. Comput.},
volume = {262},
pages = {241--264},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.09.006},
doi = {10.1016/J.IC.2018.09.006},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BozzelliMMPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BozzelliS18,
author = {Laura Bozzelli and
C{\'{e}}sar S{\'{a}}nchez},
title = {Visibly Linear Temporal Logic},
journal = {J. Autom. Reason.},
volume = {60},
number = {2},
pages = {177--220},
year = {2018},
url = {https://doi.org/10.1007/s10817-017-9410-z},
doi = {10.1007/S10817-017-9410-Z},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/BozzelliS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/BozzelliMP18,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Timed Context-Free Temporal Logics},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {235--249},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.17},
doi = {10.4204/EPTCS.277.17},
timestamp = {Wed, 07 Dec 2022 23:00:49 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/BozzelliMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BozzelliMMPW18,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Gerhard J. Woeginger},
editor = {Alessandro Aldini and
Marco Bernardo},
title = {Timeline-Based Planning over Dense Temporal Domains with Trigger-less
Rules is NP-Complete},
booktitle = {Proceedings of the 19th Italian Conference on Theoretical Computer
Science, Urbino, Italy, September 18-20, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2243},
pages = {116--127},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2243/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BozzelliMMPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BozzelliMMP18,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Decidability and Complexity of Timeline-Based Planning over Dense
Temporal Domains},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {627--628},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/17995},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/BozzelliMMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BozzelliMP18,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
editor = {Shmuel Tomi Klein and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira},
title = {Event-Clock Nested Automata},
booktitle = {Language and Automata Theory and Applications - 12th International
Conference, {LATA} 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10792},
pages = {80--92},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77313-1\_6},
doi = {10.1007/978-3-319-77313-1\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/BozzelliMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BozzelliMS18,
author = {Laura Bozzelli and
Aniello Murano and
Loredana Sorrentino},
editor = {Natasha Alechina and
Kjetil N{\o}rv{\aa}g and
Wojciech Penczek},
title = {Results on Alternating-Time Temporal Logics with Linear Past},
booktitle = {25th International Symposium on Temporal Representation and Reasoning,
{TIME} 2018, Warsaw, Poland, October 15-17, 2018},
series = {LIPIcs},
volume = {120},
pages = {6:1--6:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.TIME.2018.6},
doi = {10.4230/LIPICS.TIME.2018.6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/BozzelliMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03103,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Complexity of Timeline-Based Planning over Dense Temporal Domains:
Exploring the Middle Ground},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {191--205},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.14},
doi = {10.4204/EPTCS.277.14},
timestamp = {Thu, 11 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-04271,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Timed context-free temporal logics (extended version)},
journal = {CoRR},
volume = {abs/1808.04271},
year = {2018},
url = {http://arxiv.org/abs/1808.04271},
eprinttype = {arXiv},
eprint = {1808.04271},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-04271.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BozzelliMMPS17,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Ioannis Chatzigiannakis and
Piotr Indyk and
Fabian Kuhn and
Anca Muscholl},
title = {Satisfiability and Model Checking for the Logic of Sub-Intervals under
the Homogeneity Assumption},
booktitle = {44th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
series = {LIPIcs},
volume = {80},
pages = {120:1--120:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.120},
doi = {10.4230/LIPICS.ICALP.2017.120},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BozzelliMMPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BozzelliMMP17,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {An In-Depth Investigation of Interval Temporal Logic Model Checking
with Regular Expressions},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {104--119},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_7},
doi = {10.1007/978-3-319-66197-1\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BozzelliMMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BozzelliMPS17,
author = {Laura Bozzelli and
Aniello Murano and
Giuseppe Perelli and
Loredana Sorrentino},
editor = {Sven Schewe and
Thomas Schneider and
Jef Wijsen},
title = {Hierarchical Cost-Parity Games},
booktitle = {24th International Symposium on Temporal Representation and Reasoning,
{TIME} 2017, October 16-18, 2017, Mons, Belgium},
series = {LIPIcs},
volume = {90},
pages = {6:1--6:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.TIME.2017.6},
doi = {10.4230/LIPICS.TIME.2017.6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/BozzelliMPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02094,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi San Pietro},
title = {On the Complexity of Model Checking for Syntactically Maximal Fragments
of the Interval Temporal Logic {HS} with Regular Expressions},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {31--45},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.3},
doi = {10.4204/EPTCS.256.3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02107,
author = {Laura Bozzelli and
Aniello Murano},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi San Pietro},
title = {On the Complexity of {ATL} and ATL* Module Checking},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {268--282},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.19},
doi = {10.4204/EPTCS.256.19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-08191,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Interval vs. Point Temporal Logic Model Checking: an Expressiveness
Comparison},
journal = {CoRR},
volume = {abs/1711.08191},
year = {2017},
url = {http://arxiv.org/abs/1711.08191},
eprinttype = {arXiv},
eprint = {1711.08191},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-08191.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-08314,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Event-Clock Nested Automata},
journal = {CoRR},
volume = {abs/1711.08314},
year = {2017},
url = {http://arxiv.org/abs/1711.08314},
eprinttype = {arXiv},
eprint = {1711.08314},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-08314.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliS16,
author = {Laura Bozzelli and
C{\'{e}}sar S{\'{a}}nchez},
title = {Foundations of Boolean stream runtime verification},
journal = {Theor. Comput. Sci.},
volume = {631},
pages = {118--138},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.04.019},
doi = {10.1016/J.TCS.2016.04.019},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BozzelliMMPS16,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Interval Temporal Logic Model Checking: The Border Between Good and
Bad {HS} Fragments},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {389--405},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_27},
doi = {10.1007/978-3-319-40229-1\_27},
timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},
biburl = {https://dblp.org/rec/conf/cade/BozzelliMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BozzelliMMPS16,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {Interval vs. Point Temporal Logic Model Checking: an Expressiveness
Comparison},
booktitle = {36th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
Chennai, India},
series = {LIPIcs},
volume = {65},
pages = {26:1--26:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.26},
doi = {10.4230/LIPICS.FSTTCS.2016.26},
timestamp = {Tue, 30 Nov 2021 13:29:05 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BozzelliMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BozzelliMMPS16,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Interval Temporal Logic Model Checking Based on Track Bisimilarity
and Prefix Sampling},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {49--61},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BozzelliMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Bozzelli016,
author = {Laura Bozzelli and
David Pearce},
editor = {Loizos Michael and
Antonis C. Kakas},
title = {On the Expressiveness of Temporal Equilibrium Logic},
booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10021},
pages = {159--173},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48758-8\_11},
doi = {10.1007/978-3-319-48758-8\_11},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Bozzelli016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BozzelliMMPS16,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Model Checking the Logic of Allen's Relations Meets and Started-by
is P\({}^{\mbox{NP}}\)-Complete},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {76--90},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.6},
doi = {10.4204/EPTCS.226.6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BozzelliMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzelliMP15,
author = {Laura Bozzelli and
Bastien Maubert and
Sophie Pinchinat},
title = {Uniform strategies, rational relations and jumping automata},
journal = {Inf. Comput.},
volume = {242},
pages = {80--107},
year = {2015},
url = {https://doi.org/10.1016/j.ic.2015.03.012},
doi = {10.1016/J.IC.2015.03.012},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BozzelliMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliDP15,
author = {Laura Bozzelli and
Hans van Ditmarsch and
Sophie Pinchinat},
title = {The complexity of one-agent refinement modal logic},
journal = {Theor. Comput. Sci.},
volume = {603},
pages = {58--83},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.07.015},
doi = {10.1016/J.TCS.2015.07.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BozzelliMP15,
author = {Laura Bozzelli and
Bastien Maubert and
Sophie Pinchinat},
editor = {Andrew M. Pitts},
title = {Unifying Hyper and Epistemic Temporal Logics},
booktitle = {Foundations of Software Science and Computation Structures - 18th
International Conference, FoSSaCS 2015, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2015,
London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9034},
pages = {167--182},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46678-0\_11},
doi = {10.1007/978-3-662-46678-0\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BozzelliMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BozzelliP15,
author = {Laura Bozzelli and
David Pearce},
title = {On the Complexity of Temporal Equilibrium Logic},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {645--656},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.65},
doi = {10.1109/LICS.2015.65},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BozzelliP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BozzelliP15,
author = {Laura Bozzelli and
David Pearce},
title = {On the complexity of Temporal Equilibrium Logic},
journal = {CoRR},
volume = {abs/1503.00043},
year = {2015},
url = {http://arxiv.org/abs/1503.00043},
eprinttype = {arXiv},
eprint = {1503.00043},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BozzelliP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BozzelliS14,
author = {Laura Bozzelli and
C{\'{e}}sar S{\'{a}}nchez},
title = {Visibly rational expressions},
journal = {Acta Informatica},
volume = {51},
number = {1},
pages = {25--49},
year = {2014},
url = {https://doi.org/10.1007/s00236-013-0190-6},
doi = {10.1007/S00236-013-0190-6},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/BozzelliS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzelliDFHP14,
author = {Laura Bozzelli and
Hans van Ditmarsch and
Tim French and
James Hales and
Sophie Pinchinat},
title = {Refinement modal logic},
journal = {Inf. Comput.},
volume = {239},
pages = {303--339},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.07.013},
doi = {10.1016/J.IC.2014.07.013},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BozzelliDFHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliP14,
author = {Laura Bozzelli and
Sophie Pinchinat},
title = {Verification of gap-order constraint abstractions of counter systems},
journal = {Theor. Comput. Sci.},
volume = {523},
pages = {1--36},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.12.002},
doi = {10.1016/J.TCS.2013.12.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BozzelliS14,
author = {Laura Bozzelli and
C{\'{e}}sar S{\'{a}}nchez},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Visibly Linear Temporal Logic},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {418--433},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_33},
doi = {10.1007/978-3-319-08587-6\_33},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BozzelliS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BozzelliS14,
author = {Laura Bozzelli and
C{\'{e}}sar S{\'{a}}nchez},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Foundations of Boolean Stream Runtime Verification},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {64--79},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_6},
doi = {10.1007/978-3-319-11164-3\_6},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/BozzelliS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BozzelliMP14,
author = {Laura Bozzelli and
Bastien Maubert and
Sophie Pinchinat},
title = {Unifying Hyper and Epistemic Temporal Logic},
journal = {CoRR},
volume = {abs/1409.2711},
year = {2014},
url = {http://arxiv.org/abs/1409.2711},
eprinttype = {arXiv},
eprint = {1409.2711},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BozzelliMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BozzelliDP13,
author = {Laura Bozzelli and
Hans van Ditmarsch and
Sophie Pinchinat},
editor = {Francesca Rossi},
title = {The Complexity of One-Agent Refinement Modal Logic},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {2977--2981},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6811},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BozzelliDP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1303-0798,
author = {Bastien Maubert and
Sophie Pinchinat and
Laura Bozzelli},
editor = {Fabio Mogavero and
Aniello Murano and
Moshe Y. Vardi},
title = {The Complexity of Synthesizing Uniform Strategies},
booktitle = {Proceedings 1st International Workshop on Strategic Reasoning, {SR}
2013, Rome, Italy, March 16-17, 2013},
series = {{EPTCS}},
volume = {112},
pages = {115--122},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.112.17},
doi = {10.4204/EPTCS.112.17},
timestamp = {Sat, 30 Sep 2023 10:08:06 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-0798.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BozzelliLP12,
author = {Laura Bozzelli and
Axel Legay and
Sophie Pinchinat},
title = {On timed alternating simulation for concurrent timed games},
journal = {Acta Informatica},
volume = {49},
number = {4},
pages = {249--279},
year = {2012},
url = {https://doi.org/10.1007/s00236-012-0158-y},
doi = {10.1007/S00236-012-0158-Y},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BozzelliLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BozzelliS12,
author = {Laura Bozzelli and
C{\'{e}}sar S{\'{a}}nchez},
editor = {Deepak D'Souza and
Telikepalli Kavitha and
Jaikumar Radhakrishnan},
title = {Visibly Rational Expressions},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012,
Hyderabad, India},
series = {LIPIcs},
volume = {18},
pages = {211--223},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.211},
doi = {10.4230/LIPICS.FSTTCS.2012.211},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BozzelliS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BozzelliDP12,
author = {Laura Bozzelli and
Hans van Ditmarsch and
Sophie Pinchinat},
editor = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
title = {The Complexity of One-Agent Refinement Modal Logic},
booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
2012, Toulouse, France, September 26-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7519},
pages = {120--133},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33353-8\_10},
doi = {10.1007/978-3-642-33353-8\_10},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BozzelliDP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Bozzelli12,
author = {Laura Bozzelli},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Strong Termination for Gap-Order Constraint Abstractions of Counter
Systems},
booktitle = {Language and Automata Theory and Applications - 6th International
Conference, {LATA} 2012, {A} Coru{\~{n}}a, Spain, March 5-9, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7183},
pages = {155--168},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28332-1\_14},
doi = {10.1007/978-3-642-28332-1\_14},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/Bozzelli12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BozzelliP12,
author = {Laura Bozzelli and
Sophie Pinchinat},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Verification of Gap-Order Constraint Abstractions of Counter Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {88--103},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_7},
doi = {10.1007/978-3-642-27940-9\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BozzelliP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-3538,
author = {Laura Bozzelli and
Hans van Ditmarsch and
Tim French and
James Hales and
Sophie Pinchinat},
title = {Refinement Modal Logic},
journal = {CoRR},
volume = {abs/1202.3538},
year = {2012},
url = {http://arxiv.org/abs/1202.3538},
eprinttype = {arXiv},
eprint = {1202.3538},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-3538.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliLP11,
author = {Laura Bozzelli and
Axel Legay and
Sophie Pinchinat},
title = {Hardness of preorder checking for basic formalisms},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {49},
pages = {6795--6808},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.08.037},
doi = {10.1016/J.TCS.2011.08.037},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BozzelliG11,
author = {Laura Bozzelli and
Pierre Ganty},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Complexity Analysis of the Backward Coverability Algorithm for {VASS}},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {96--109},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_10},
doi = {10.1007/978-3-642-24288-5\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/BozzelliG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BozzelliL11,
author = {Laura Bozzelli and
Ruggero Lanotte},
editor = {Kai Br{\"{u}}nnler and
George Metcalfe},
title = {Hybrid and First-Order Complete Extensions of CaRet},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 20th
International Conference, {TABLEAUX} 2011, Bern, Switzerland, July
4-8, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6793},
pages = {58--72},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22119-4\_7},
doi = {10.1007/978-3-642-22119-4\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BozzelliL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1233,
author = {Bastien Maubert and
Sophie Pinchinat and
Laura Bozzelli},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Opacity Issues in Games with Imperfect Information},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {87--101},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.7},
doi = {10.4204/EPTCS.54.7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1239,
author = {Laura Bozzelli},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {New results on pushdown module checking with imperfect information},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {162--177},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.12},
doi = {10.4204/EPTCS.54.12},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1239.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BozzelliMP10,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Pushdown module checking},
journal = {Formal Methods Syst. Des.},
volume = {36},
number = {1},
pages = {65--95},
year = {2010},
url = {https://doi.org/10.1007/s10703-010-0093-x},
doi = {10.1007/S10703-010-0093-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BozzelliMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliL10,
author = {Laura Bozzelli and
Ruggero Lanotte},
title = {Complexity and succinctness issues for linear-time hybrid logics},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {2},
pages = {454--469},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2009.08.009},
doi = {10.1016/J.TCS.2009.08.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BozzelliLP10,
author = {Laura Bozzelli and
Axel Legay and
Sophie Pinchinat},
editor = {Edmund M. Clarke and
Andrei Voronkov},
title = {Hardness of Preorder Checking for Basic Formalisms},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6355},
pages = {119--135},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17511-4\_8},
doi = {10.1007/978-3-642-17511-4\_8},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BozzelliLP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BozzelliKRS09,
author = {Laura Bozzelli and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
title = {On decidability of {LTL} model checking for process rewrite systems},
journal = {Acta Informatica},
volume = {46},
number = {1},
pages = {1--28},
year = {2009},
url = {https://doi.org/10.1007/s00236-008-0082-3},
doi = {10.1007/S00236-008-0082-3},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BozzelliKRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BozzelliT09,
author = {Laura Bozzelli and
Salvatore La Torre},
title = {Decision problems for lower/upper bound parametric timed automata},
journal = {Formal Methods Syst. Des.},
volume = {35},
number = {2},
pages = {121--151},
year = {2009},
url = {https://doi.org/10.1007/s10703-009-0074-0},
doi = {10.1007/S10703-009-0074-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BozzelliT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BozzelliLP09,
author = {Laura Bozzelli and
Axel Legay and
Sophie Pinchinat},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {On Timed Alternating Simulation for Concurrent Timed Games},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {85--96},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2309},
doi = {10.4230/LIPICS.FSTTCS.2009.2309},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BozzelliLP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliTP08,
author = {Laura Bozzelli and
Salvatore La Torre and
Adriano Peron},
title = {Verification of well-formed communicating recursive state machines},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {382--405},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.06.012},
doi = {10.1016/J.TCS.2008.06.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliTP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Bozzelli08,
author = {Laura Bozzelli},
editor = {Roberto M. Amadio},
title = {The Complexity of CTL* + Linear Past},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {186--200},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_14},
doi = {10.1007/978-3-540-78499-9\_14},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Bozzelli08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BozzelliL08,
author = {Laura Bozzelli and
Ruggero Lanotte},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Complexity and Succinctness Issues for Linear-Time Hybrid Logics},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {48--61},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_6},
doi = {10.1007/978-3-540-87803-2\_6},
timestamp = {Tue, 29 Dec 2020 18:34:12 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BozzelliL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Bozzelli08,
author = {Laura Bozzelli},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {The Complexity of CaRet + Chop},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {23--31},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.27},
doi = {10.1109/TIME.2008.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Bozzelli08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Bozzelli07,
author = {Laura Bozzelli},
title = {Complexity results on branching-time pushdown model checking},
journal = {Theor. Comput. Sci.},
volume = {379},
number = {1-2},
pages = {286--297},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.03.049},
doi = {10.1016/J.TCS.2007.03.049},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Bozzelli07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Bozzelli07,
author = {Laura Bozzelli},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Alternating Automata and a Temporal Fixpoint Calculus for Visibly
Pushdown Languages},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {476--491},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_32},
doi = {10.1007/978-3-540-74407-8\_32},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Bozzelli07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BozzelliT07,
author = {Laura Bozzelli and
Salvatore La Torre},
editor = {Lars Arge and
Christian Cachin and
Tomasz Jurdzinski and
Andrzej Tarlecki},
title = {Decision Problems for Lower/Upper Bound Parametric Timed Automata},
booktitle = {Automata, Languages and Programming, 34th International Colloquium,
{ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4596},
pages = {925--936},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73420-8\_79},
doi = {10.1007/978-3-540-73420-8\_79},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BozzelliT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bozzelli09,
author = {Laura Bozzelli},
editor = {Carlos Areces and
St{\'{e}}phane Demri},
title = {CaRet With Forgettable Past},
booktitle = {Proceedings of the 5th Workshop on Methods for Modalities, {M4M} 2007,
Cachan, France, November 29-30, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {231},
pages = {343--361},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.02.045},
doi = {10.1016/J.ENTCS.2009.02.045},
timestamp = {Mon, 27 Feb 2023 09:39:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bozzelli09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Bozzelli06,
author = {Laura Bozzelli},
title = {Model checking for process rewrite systems and a class of action-based
regular properties},
journal = {Theor. Comput. Sci.},
volume = {360},
number = {1-3},
pages = {352--372},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.05.003},
doi = {10.1016/J.TCS.2006.05.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Bozzelli06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BouyerBC06,
author = {Patricia Bouyer and
Laura Bozzelli and
Fabrice Chevalier},
editor = {Christel Baier and
Holger Hermanns},
title = {Controller Synthesis for {MTL} Specifications},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {450--464},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_30},
doi = {10.1007/11817949\_30},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/BouyerBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BozzelliKRS06,
author = {Laura Bozzelli and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {On Decidability of {LTL} Model Checking for Process Rewrite Systems},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {248--259},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_24},
doi = {10.1007/11944836\_24},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BozzelliKRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BozzelliG06,
author = {Laura Bozzelli and
R{\'{e}}gis Gascon},
editor = {Miki Hermann and
Andrei Voronkov},
title = {Branching-Time Temporal Logic Extended with Qualitative Presburger
Constraints},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4246},
pages = {197--211},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916277\_14},
doi = {10.1007/11916277\_14},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BozzelliG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Bozzelli06,
author = {Laura Bozzelli},
editor = {E. Allen Emerson and
Kedar S. Namjoshi},
title = {Complexity Results on Branching-Time Pushdown Model Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3855},
pages = {65--79},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11609773\_5},
doi = {10.1007/11609773\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Bozzelli06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BozzelliTP06,
author = {Laura Bozzelli and
Salvatore La Torre and
Adriano Peron},
editor = {E. Allen Emerson and
Kedar S. Namjoshi},
title = {Verification of Well-Formed Communicating Recursive State Machines},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3855},
pages = {412--426},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11609773\_27},
doi = {10.1007/11609773\_27},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BozzelliTP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BozzelliMP05,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Pushdown Module Checking},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {504--518},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_35},
doi = {10.1007/11591191\_35},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BozzelliMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Bozzelli05,
author = {Laura Bozzelli},
editor = {Radhia Cousot},
title = {Model Checking for Process Rewrite Systems and a Class of Action-Based
Regular Properties},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {282--297},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_19},
doi = {10.1007/978-3-540-30579-8\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Bozzelli05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-OH-0401013,
author = {Laura Bozzelli},
title = {Verification of Process Rewrite Systems in normal form},
journal = {CoRR},
volume = {cs.OH/0401013},
year = {2004},
url = {http://arxiv.org/abs/cs/0401013},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-OH-0401013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-OH-0405003,
author = {Laura Bozzelli},
title = {Model checking for Process Rewrite Systems and a class of action -
based regular properties},
journal = {CoRR},
volume = {cs.OH/0405003},
year = {2004},
url = {http://arxiv.org/abs/cs/0405003},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-OH-0405003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-OH-0312019,
author = {Laura Bozzelli and
Massimo Benerecetti and
Adriano Peron},
title = {Verification of recursive parallel systems},
journal = {CoRR},
volume = {cs.OH/0312019},
year = {2003},
url = {http://arxiv.org/abs/cs/0312019},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-OH-0312019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-02 00:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
