Angelo Montanari

Latest

An event-based data warehouse to support decisions in multi-channel, multi-service contact centers
A graph-theoretic approach to map conceptual designs to XML schemas
From entity relationship to XML Schema: A graph-theoretic approach (extended abstract)
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD)
Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies
From Entity Relationship to XML Schema: A Graph-Theoretic Approach
Games on Strings with a Limited Order Relation
On Devising Algorithms for Ehrenfeucht-Fraïssé Games
Exploiting Model Checking in Constraint-based Approaches to the Protein Folding.
Extensions of S1S and the composition method
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures
Alternative Translation Techniques for Propositional and First-Order Modal Logics
Decidability of Interval Temporal Logics over Split-Frames via Granularity
Extending Kamp's Theorem to Model Time Granularity
The problem of finding transcription factor binding sites and its impact in defining co-regulated gene-networks
A logical approach to time granularity
Supporting automated deduction in first-order modal logics
The taming (timing) of the states
Editorial
Modal Logic and Set Theory: a Set-Theoretic Interpretation of Modal Logic Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem
Theories of omega-layered metric temporal structures
Modal deduction in second-order logic and set theory. II
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics
Book review: Temporal logic. From ancient ideas to artificial intelligence
Modal deduction in second-order logic and set theory. I
Temporal Logic. From Ancient Ideas to Artificial Intelligence,by Peter Ohrstrom and Per F.V. Hasle (book review)
Decidability results for metric and layered temporal logics
Set-theoretic decidability results for modal theorem proving
A set-theoretic translation method for (poly)modal logics
A set-theoretic translation method for polymodal logics