ANGELO MONTANARI--Temporal Logics and Automata

http://sole.dimi.uniud.it/~angelo.montanari

[C68] Montanari A., G. Puppis, Sala P., "A Decidable Spatial Logic with Cone-shaped Cardinal Directions", Proceedings of the 18th EACSL Annual Conference on Computer Science Logic (CSL), LNCS, Springer, Coimbra, Portugal, September 2009.

[C67] Gubiani D., Montanari A., "A relational encoding of a conceptual model with multiple temporal dimensions", Proceedings of the 20th International Conference on Database and Expert Systems Applications (DEXA), LNCS, Springer, Linz, Austria, August 2009.

[C66] Franceschet M., Gubiani D., Montanari A., Piazza C., "From Entity-Relationship to XML Schema: a graph-theoretic approach", Proceedings of the 6th International XML Database Symposium (Xsym), LNCS, Springer, Lyon, France, August 2009.

[C65] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "Undecidability of Interval Temporal Logics with the Overlap Modality", Proceedings of TIME 2008: 16th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society Press, Bressanone (BZ), Italia, July 2009.

[C64] Bresolin D., Montanari A., Sala P., Sciavicco G., "Tableau-Based System for Spatial Reasoning about Directional Relations", Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), LNAI, Springer, Oslo, Norway, July 2009.

[C63] Bresolin D., Goranko V., Montanari A., Sala P., "Complete and Terminating Tableau for the Logic of Proper Subinterval Structures over Dense Orderings", Electronic Notes in Theoretical Computer Science (Proceedings of the 5th Workshop on Methods for Modalities - M4M 5, 2007), Volume 231, 2009, pp. 131-151 (extended and revised version of [W30]).

[C62] De Maria E., Montanari A., Vitacolonna N., "Games on strings with a limited order relation". Proceedings of the 2009 Symposium on Logical Foundations of Computer Science (LFCS), LNCS 5407, Springer, Deerfield Beach, Florida, USA, January 2009, pp. 164-179.

[J36] Bresolin D., Montanari A., Puppis G., "A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity", Acta Informatica, doi: 10.1007/s00236-009-0094-7, 2009.

 

转载于:https://www.cnblogs.com/lqcdkj/archive/2009/06/12/1502214.html