3/2018 - Timeline-based planning over dense temporal domains 3/2018 - Timeline-based planning over dense temporal domains

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard Woeginger

2/2018 - Complexity of timeline-based planning over dense temporal domains: exploring the middle ground 2/2018 - Complexity of timeline-based planning over dense temporal domains: exploring the middle ground

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron

1/2018 - Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 1/2018 - Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron

5/2017 - Work-in-Progress Proceedings of the Workshop on "Logical Frameworks and Meta-Languages: Theory and Practice" 5/2017 - Work-in-Progress Proceedings of the Workshop on "Logical Frameworks and Meta-Languages: Theory and Practice"

Marino Miculan, Florian Rabe

4/2017 - Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 4/2017 - Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

3/2017 - On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions 3/2017 - On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron

2/2017 - An in-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 2/2017 - An in-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions

Laura Bozzelli, Alberto Molinari, Angelo Montanari and Adriano Peron

3/2016 - Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 3/2016 - Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, and Pietro Sala

2/2016 - Model Checking the Logic of Allen’s Relations Meets and Started-by is PNP-Complete 2/2016 - Model Checking the Logic of Allen’s Relations Meets and Started-by is PNP-Complete

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

1/2016 - Interval Temporal Logic Model Checking: the Border Between Good and Bad HS Fragments 1/2016 - Interval Temporal Logic Model Checking: the Border Between Good and Bad HS Fragments

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

2/2015 - A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 2/2015 - A Model Checking Procedure for Interval Temporal Logics based on Track Representatives

Alberto Molinari, Angelo Montanari, Adriano Peron

1/2015 - Checking Interval Properties of Computations 1/2015 - Checking Interval Properties of Computations

Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron

1/2014 - Decidability of the interval temporal logic AA ̄BB ̄ over the rationals 1/2014 - Decidability of the interval temporal logic AA ̄BB ̄ over the rationals

Angelo Montanari, Gabriele Puppis, and Pietro Sala

1/2013 - Weak bisimulations for labelled transition systems weighted over semirings 1/2013 - Weak bisimulations for labelled transition systems weighted over semirings

Marino Miculan, Marco Peressotti

5/2012 - Quasistatic delamination of sandwich-like Kirchhoff-Love plates 5/2012 - Quasistatic delamination of sandwich-like Kirchhoff-Love plates

Lorenzo Freddi, Thomas Roubicek, Chiara Zanini

4/2012 - No-tension bodies: a reinforcement problem 4/2012 - No-tension bodies: a reinforcement problem

Sara De Faveri, Lorenzo Freddi, Roberto Paroni

3/2012 - Best Fits Of Simultaneous Blazar Spectral Energy Distributions 3/2012 - Best Fits Of Simultaneous Blazar Spectral Energy Distributions

S. Ansoldi, D. Ferigo, N. Mankuzhiyil, M. Persic, E. Rivers, R. Rothschild, F. Tavecchio

2/2012 - Scale function vs Topological entropy 2/2012 - Scale function vs Topological entropy

Federico Berlai, Dikran Dikranjan, Anna Giordano Bruno

1/2012 - Residually stressed beams 1/2012 - Residually stressed beams

Luca Della Longa, Lorenzo Freddi, Alessandro Londero, Roberto Paroni

8/2011 - Topologically torsion elements of the circle group 8/2011 - Topologically torsion elements of the circle group

Dikran Dikranjan, Daniele Impieri