Molinari, Alberto
Molinari, Alberto
ES
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives
2015-01-01 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions
2017-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Checking interval properties of computations
2016-01-01 Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS
2015-01-01 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground
2018-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic
2016-01-01 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Correlation between microstructure and SIMS analyses of cast irons incoulated with CG alloy
1990-01-01 Tiziani, A.; Molinari, A.; Canteri, R.; Anderle, M.
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains
2018-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Effect of Process Parameters on the Surface Microgeometry of a Ti6Al4V Alloy Manufactured by Laser Powder Bed Fusion: 3D vs. 2D Characterization
2022-01-01 Molinari, Alberto; Ancellotti, Simone; Fontanari, Vigilio; Iacob, Erica; Luchin, Valerio; Zappini, Gianluca; Benedetti, Matteo
Heat treatment and mechanical behavior of sintered Fe-C-P steels
1994-01-01 Molinari, Alberto; Straffelini, Giovanni; Canteri, Roberto
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling
2016-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
2019-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
2018-01-01 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
2018-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model Checking Interval Temporal Logics with Regular Expressions
2020-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model Checking Well-Behaved Fragments of HS: the (Almost) Final Picture
2016-01-01 Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
Numerical/experimental strategies to infer enhanced liquid thermal conductivity and roughness in laser powder-bed fusion processes
2019-01-01 Ancellotti, S.; Fontanari, V.; Molinari, A.; Iacob, E.; Bellutti, P.; Luchin, V.; Zappini, G.; Benedetti, M.