Alberto Molinari

31 papers A* 3A 1B 2C 1Journal 15Unranked 9

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Log. Methods Comput. Sci. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2020	J	`jnl`	Model checking interval temporal logics with regular expressions. Inf. Comput. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2020	J	`jnl`	Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. CoRR Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2020	J	`jnl`	Timeline-based planning over dense temporal domains. Theor. Comput. Sci. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger
2020	—	`conf`	Undecidability of Future Timeline-based Planning over Dense Temporal Domains? ICTCS Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2019	J	`jnl`	Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. ACM Trans. Comput. Log. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2019	—	`conf`	Model Checking Timeline-Based Systems over Dense Temporal Domains. ICTCS Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2019	J	`jnl`	Model checking: the interval way. CoRR Alberto Molinari
2019	J	`jnl`	Undecidability of future timeline-based planning over dense temporal domains. CoRR Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2019	J	`jnl`	Which fragments of the interval temporal logic HS are tractable in model checking? Theor. Comput. Sci. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2018	—	`conf`	Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. GandALF Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2018	A*	`conf`	Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. KR Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2018	J	`jnl`	Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives. Inf. Comput. Alberto Molinari, Angelo Montanari, Adriano Peron
2018	J	`jnl`	Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Inf. Comput. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2018	—	`conf`	Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete. ICTCS Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger
2017	B	`conf`	An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. SEFM Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2017	J	`jnl`	Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. CoRR Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2017	J	`jnl`	Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives. CoRR Alberto Molinari, Angelo Montanari, Adriano Peron
2017	—	`conf`	On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions. GandALF Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2017	A*	`conf`	Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. ICALP Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	J	`jnl`	Checking Interval Properties of Computations. CoRR Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
2016	J	`jnl`	Checking interval properties of computations. Acta Informatica Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
2016	J	`jnl`	Complexity of ITL model checking: some well-behaved fragments of the interval logic HS. CoRR Alberto Molinari, Angelo Montanari, Adriano Peron
2016	—	`conf`	Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. ICTCS Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	A	`conf`	Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. IJCAR Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	—	`conf`	Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. FSTTCS Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	A*	`conf`	Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. KR Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	—	`conf`	Model Checking the Logic of Allen's Relations Meets and Started-by is P GandALF Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2015	B	`conf`	A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. CSL Alberto Molinari, Angelo Montanari, Adriano Peron
2015	C	`conf`	Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. TIME Alberto Molinari, Angelo Montanari, Adriano Peron
2015	—	`conf`	Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. ICTCS Alberto Molinari, Angelo Montanari, Adriano Peron