Preprints
- 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 - Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
- 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" - Marino Miculan, Florian Rabe
- 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 - Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
- 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 - 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 - 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 - Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
- 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 - Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
- 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 - Marino Miculan, Marco Peressotti
- 5/2012 - Quasistatic delamination of sandwich-like Kirchhoff-Love plates - Lorenzo Freddi, Thomas Roubicek, Chiara Zanini
- 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 - S. Ansoldi, D. Ferigo, N. Mankuzhiyil, M. Persic, E. Rivers, R. Rothschild, F. Tavecchio
- 2/2012 - Scale function vs Topological entropy - Federico Berlai, Dikran Dikranjan, Anna Giordano Bruno
- 1/2012 - Residually stressed beams - Luca Della Longa, Lorenzo Freddi, Alessandro Londero, Roberto Paroni
- 8/2011 - Topologically torsion elements of the circle group - Dikran Dikranjan, Daniele Impieri
- 7/2011 - Finding a forest in a tree - Giorgio Bacci, Marino Miculan, Romeo Rizzi
- 6/2011 - L’esperimento di Pacini sull’origine dei raggi cosmici - G. Batignani, G. Cerretani, M. Bitossi, R. Paoletti, A. De Angelis
- 5/2011 - Nonlinear thin-walled beams with rectangular cross-section - Part II - Lorenzo Freddi, Maria Giovanna Mora, Roberto Paroni
- 4/2011 - Regular black holes in UV self-complete quantum gravity - Euro Spallucci, Stefano Ansoldi
- 3/2011 - The environment and distribution of emitting electrons as a function of source activity in Markarian 421 - Mankuzhiyil N., Ansoldi S., Persic M., Tavecchio F.
- 2/2011 - A multiparameter model for link analysis of citation graphs - Enrico Bozzo, Dario Fasino
- 1/2011 - An age-structured population dynamics model for several species with finite life-span - I. Mazzer, R. Vermiglio
- 8/2010 - Variational Noether's Theorem: the Interplay of Time, Space and Gauge - Gianluca Gorni, Gaetano Zampieri
- 7/2010 - Nonlinear thin-walled beams with a rectangular cross-section - Part I - Lorenzo Freddi, Maria Giovanna Mora, Roberto Paroni
- 6/2010 - Quasistatic delamination models for Kirchhoff-Love plates - Lorenzo Freddi, Roberto Paroni, Tomas Roubicek, Chiara Zanini
- 5/2010 - Hardy-Poincaré inequalities with boundary singularities - Mouhamed Moustapha Fall, Roberta Musina
- 4/2010 - Saint-Venant's theory for beams with multi-connected cross-section: justification and error estimate - Lorenzo Freddi, Francois Murat, Roberto Paroni
- 3/2010 - Linearization of a free boundary problem in corrosion detection - Elio Cabib, Dario Fasino, Eva Sincich
- 2/2010 - Planar loops with prescribed curvature: existence, multiplicity and uniqueness results - Roberta Musina
- 1/2010 - Semigroup discretization and spectral approximation for linear nonautonomous delay differential equations - Dimitri Breda, Stefano Maset, Rossana Vermiglio