IRIS Institutional Research Information System

Molinari, Alberto

Molinari, Alberto  

ES  

Mostra records
Risultati 1 - 20 di 25 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) File
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 1-gen-2015 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 1-gen-2017 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Checking interval properties of computations 1-gen-2016 Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 1-gen-2015 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 1-gen-2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 1-gen-2016 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Correlation between microstructure and SIMS analyses of cast irons incoulated with CG alloy 1-gen-1990 Tiziani, A.; Molinari, A.; Canteri, R.; Anderle, M.
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 1-gen-2018 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 1-gen-2022 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 1-gen-1994 Molinari, Alberto; Straffelini, Giovanni; Canteri, Roberto
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 1-gen-2016 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 1-gen-2019 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 1-gen-2018 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 1-gen-2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model Checking Interval Temporal Logics with Regular Expressions 1-gen-2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model Checking Well-Behaved Fragments of HS: the (Almost) Final Picture 1-gen-2016 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 1-gen-2019 Ancellotti, S.; Fontanari, V.; Molinari, A.; Iacob, E.; Bellutti, P.; Luchin, V.; Zappini, G.; Benedetti, M.