[C50] D'Agostino G., Montanari A., Policriti A., "Extensions of S1S and the Composition Method". Proceedings of JM'06: 11th Mons Days of Theoretical Computer Science, Irisa - Rennes, France, August-September 2006, pp. 165-178.


[C49] De Maria E., Montanari A., Zantoni M., "An automaton-based approach to the verification of timed workfow schemas". Proceedings of TIME 2006: 13th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Computer Society Press, Budapest, Hungary, June 2006, pp. 87-94.


[J31] Montanari A., Peron A., Puppis G., "On the relationships between theories of time granularity and the monadic second-order theory of one successor", Journal of Applied Non-Classical Logics, vol. 16, no. 3-4, 2006, pp. 433-455.


[J30] Goranko V., Montanari A., Sala P., Sciavicco G., "A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation", Journal of Applied Logic, vol. 4, no. 3, 2006, pp. 305-330.


[J29] Franceschet M., Montanari A., Peron G., Sciavicco G., "Definability and decidability of binary predicates for time granularity", Journal of Applied Logic, vol. 4, no. 2, 2006, pp. 168-191.


[W27] De Maria E., Dovier A., Montanari A., Piazza C., "Exploiting Model Cheching in Constraint-based Approaches to the Protein Folding Problem". Proceedings of the 2nd Workshop on Constraint Based Methods for Bioinformatics, A. Dal Palu, A. Dovier, and S. Will (Eds.), September 2006, pp. 46-54.