
   
PUBLICATIONS
The following scientific publications have resulted from the project
work so far.
Books and Edited Volumes
 Luca Aceto, Monika Henzinger and Jiri Sgall. Proceedings of
the 38th International Colloquium on Automata, Languages and
Programming (ICALP 2011), Lecture Notes in Computer Science 6755
and 6756, SpringerVerlag, 2011. Part I may be found
here, and part
II here.
Chapters in Books and Collections

Luca Aceto, Anna
Ingolfsdottir and Jiri Srba.
The Algorithmics of Bisimilarity.
Chapter 3 of
Advanced Topics in Bisimulation and Coinduction (Jan Rutten
and Davide Sangiorgi editors), volume 52 of Cambridge Tracts in
Theoretical Computer Science, pp. 100172, Cambridge University Press.
Journal Papers
 Luca Aceto, Ignacio Fabregas, David de Frutos Escrig, Anna
Ingolfsdottir and Miguel
Palomino. On
the specification of modal systems: A comparison of three
frameworks. Science
of Computer Programming, Elsevier.
 L. Aceto, A. Ingolfsdottir, P. B. Levy and
J. Sack. Characteristic
Formulae for FixedPoint Semantics: A General Framework. Mathematical
Structures in Computer Science 22(2):125173, Cambridge University Press, 2012.
 L. Aceto, A. Ingolfsdottir and J. Sack. Resource
bisimilarity and graded bisimilarity coincide. Information Processing
Letters 111(2):6876, Elsevier, 31 December 2010. The
official journal version is here.
 Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro
Sala and Guido
Sciavicco. Interval
temporal logics over strongly discrete linear orders: Expressiveness
and complexity. Theoretical Computer Science, Elsevier,
2014. In press.
 Davide Bresolin, Dario Della Monica, Angelo Montanari and Guido
Sciavicco. The light side of Interval Temporal Logic: the
BernaysSchönfinkel fragment of
CDT. Annals
of Mathematics and Artificial Intelligence (AMAI) (DOI:
10.1007/s104720139337y, online since March 2013).
 D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco. Crossing
the Undecidability Border with Extensions of Propositional
Neighborhood Logic over Natural Numbers. Journal of Universal
Computer Science (JUCS), 18(20):27982831, 2012.
 J. Sack. Logic for Update Products and Steps into the Past.
Annals of
Pure and Applied Logic. 161:12, 2010. pp. 1431–1461.
Author created
version: pdf
Conference and Workshop Papers

Luca Aceto, Arnar Birgisson, Anna Ingolfsdottir, MohammadReza Mousavi.
Decompositional Reasoning about the History of Parallel
Processes.
To appear in the Proceedings of IPM International Conference on
Fundamentals of Software Engineering (FSEN 2011), Tehran, Iran,
April 2022, 2011. Lecture Notes in Computer Science,
SpringerVerlag.
 Luca Aceto,
Dario
Della Monica, Anna
Ingolfsdottir, Angelo
Montanari and Guido
Sciavicco. A
complete classification of the expressiveness of interval logics of
Allen's relations over dense linear orders. To appear in the Proceedings of TIME 2013: 20th International Symposium on Temporal Representation and Reasoning, IEEE Press, 2013.
Version dated 10
May 2013.
 Luca Aceto,
Dario
Della Monica, Anna
Ingolfsdottir, Angelo
Montanari and Guido
Sciavicco. An
Algorithm for Enumerating Maximal Models of Horn Theories with an
Application to Modal Logics. To appear in the Proceedings of
LPAR19, Logic for Programming,
Artificial Intelligence and Reasoning, Stellenbosch, South
Africa, 1519 December 2013, Lecture Notes in Computer Science,
Springer Verlag, 2013.
 Luca Aceto, Ignacio Fabregas, David de Frutos Escrig, Anna
Ingolfsdottir and Miguel
Palomino.
Relating
modal refinements, covariantcontravariant simulations and partial
bisimulations. To appear in the Proceedings
of IPM International Conference on
Fundamentals of Software Engineering (FSEN 2011), Tehran, Iran,
April 2022, 2011. Lecture Notes in Computer Science,
SpringerVerlag.
 Luca Aceto, Ignacio Fabregas, David de Frutos Escrig, Anna
Ingolfsdottir and Miguel
Palomino.
Graphical
representation of covariantcontravariant modal
formulas. Version dated 6 June 2011.
Proceedings of
EXPRESS
2011, the 18th International Workshop on Expressiveness in
Concurrency, Electronic Proceedings in Theoretical Computer Science 64, pp. 115,
2011.
 Luca Aceto, Wiebe van der Hoek, Anna Ingolfsdottir and Joshua
Sack. Sigma
Algebras in Probabilistic Epistemic Dynamics. Proceedings of
TARK
2011, ACM, 2011. The official ACM version of the paper is
here

Luca Aceto and Anna Ingolfsdottir. Characteristic
formulae for relations with nested fixed points. In the Proceedings of FICS 2012, Workshop on Fixed Points in Computer
Science (Z. Esik and D. Miller eds.), Electronic Proceedings in
Theoretical Computer Science 77, pp. 1522, 2012.

Luca Aceto, Anna Ingolfsdottir, Cristian
Prisacariu and Joshua
Sack.
Compositional Reasoning for Multimodal Logics.. Proceedings
of LFCS 2013, Symposium
on Logical Foundations of Computer Science, January 68, 2013, San
Diego, California, U.S.A. Lecture Notes in Computer Science 7734, pp. 115, Springer
Verlag, 2013.
 Davide Bresolin, Dario Della Monica, Angelo
Montanari and Guido Sciavicco. A Tableau System for Right
Propositional Neighborhood Logic over Finite Linear Orders: an
Implementation. Proceedings of
Tableaux 2013, Automated Reasoning
with Analytic Tableaux and Related Methods, Nancy, France,
September 1619, 2013. To appear.
 Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro
Sala and Guido Sciavicco. Interval Temporal Logics over Finite
Linear Orders: the Complete Picture. Proceedings of the 20th European Conference on
Artificial Intelligence (ECAI 2012).
 Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro
Sala and Guido Sciavicco. Interval Temporal Logics over Strongly
Discrete Linear Orders: the Complete Picture. Proceedings of the
3rd International Symposium on
Games, Automata, Logics and Formal Verification (GandALF), Naples,
Italy, September 6th8th, 2012.
 Samuel Bucheli, Roman Kuznets, Bryan Renne, Joshua Sack and
Thomas Studer. Justified
Belief Change. Proceedings of Logic and Philosophy of
Knowledge, Communication and Action, X. Arrazola, M. Ponte, editors,
pp. 135155, Basque Country Press, 2010.
 Dario Della Monica, Margherita Napoli and Mimmo Parente. A
lower bound in model checking coalitional games in shortage resource
scenarios. Proceedings of the
Fourth International Symposium on
Games, Automata, Logics and Formal Verification (Gandalf 2013)
(Borca di Cadore, Dolomites, Italy, August 2931, 2013). Electronic
Proceedings in Theoretical Computer Science, 2013. To appear.
 Joshua Sack and Lijun Zhang. A General Framework for
Probabilistic Characterizing Formulae. To appear in the
Proceedings of 13th
International Conference on Verification, Model Checking, and Abstract
Interpretation (VMCAI 2012), Lecture Notes in Computer Science,
Springer Verlag, 2012.
Unpublished and Submitted Papers
 Luca
Aceto,
Dario
Della Monica, Valentin
Goranko, Anna
Ingolfsdottir, Angelo
Montanari and Guido
Sciavicco. A
Complete Classification of the Expressiveness of Interval Logics of
Allen's Relations: The General and the Dense Cases. Submitted for journal publication.
 Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari and Guido Sciavicco. The dark side of Interval Temporal Logic: marking the undecidability border. Submitted for journal publication.
