BibSonomy publications for /author/Montanari http://www.bibsonomy.org/author/Montanari BibSonomy RSS Feed for /author/Montanari A survey of constraint-based programming paradigms. dblp http://www.bibsonomy.org/bibtex/2e6e7c691411e6dd215bd48c67ed3dab6/dblp dblp 2008-11-20T00:00:00+01:00 dblp
A survey of constraint-based programming paradigms.
Maria Grazia Buscemi and Ugo Montanari Computer Science Review 2 137-141 (2008)
to dblp by dblp on 2008-11-20 00:00:00
]]> Event Structure Semantics for Dynamic Graph Grammars. dblp http://www.bibsonomy.org/bibtex/2f389d50b985544e8566cf95ce5eaff05/dblp dblp 2008-11-19T00:00:00+01:00 dblp
Event Structure Semantics for Dynamic Graph Grammars.
Roberto Bruni and Hernán C. Melgratti and Ugo Montanari ECEASST 2 (2006)
to dblp by dblp on 2008-11-19 00:00:00
]]> Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. dblp http://www.bibsonomy.org/bibtex/216ec3d456deb72a012cb1200cc1c1daa/dblp dblp 2008-11-18T00:00:00+01:00 dblp
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
Davide Bresolin and Dario Della Monica and Valentin Goranko and Angelo Montanari and Guido Sciavicco LPAR 590-604 (2008)
to dblp by dblp on 2008-11-18 00:00:00
]]> A self-organizing group management middleware for mobile ad-hoc networks. dblp http://www.bibsonomy.org/bibtex/20211c59ea529d772a4d6f195d17d4cfb/dblp dblp 2008-11-18T00:00:00+01:00 dblp
A self-organizing group management middleware for mobile ad-hoc networks.
Dario Bottazzi and Rebecca Montanari and Giovanni Rossi Computer Communications 31 3040-3048 (2008)
to dblp by dblp on 2008-11-18 00:00:00
]]> An Improved System of Intersection Types for Explicit Substitutions. dblp http://www.bibsonomy.org/bibtex/28d3720452260e8dde384c0ac056c4207/dblp dblp 2008-10-29T00:00:00+01:00 dblp
An Improved System of Intersection Types for Explicit Substitutions.
Daniel J. Dougherty and Stéphane Lengrand and Pierre Lescanne IFIP TCS 511-523 (2002)
to dblp by dblp on 2008-10-29 00:00:00
]]> Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. dblp http://www.bibsonomy.org/bibtex/284e5a3c425b7e35363493003e7450c45/dblp dblp 2008-10-20T00:00:00+02:00 dblp
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T.
Ian Hodkinson and Angelo Montanari and Guido Sciavicco CSL 308-322 (2008)
to dblp by dblp on 2008-10-20 00:00:00
]]> Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. dblp http://www.bibsonomy.org/bibtex/209651951961a1ca22ce3e3bb860e853a/dblp dblp 2008-10-01T00:00:00+02:00 dblp
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.
Davide Bresolin and Angelo Montanari and Pietro Sala and Guido Sciavicco JELIA 62-75 (2008)
to dblp by dblp on 2008-10-01 00:00:00
]]> Chebyshev acceleration of the method of Cimmino http://www.bibsonomy.org/bibtex/2aedfa7b5d6a15c764830fd135a868692/luisma72 luisma72 2008-09-15T23:26:35+02:00 imported
Chebyshev acceleration of the method of Cimmino
T.T. Montanari Calcolo 21 61--74 (1984)
to imported by luisma72 on 2008-09-15 23:26:35
]]> Preface. dblp http://www.bibsonomy.org/bibtex/253b6a5cbfcbcfca5e24b376598766a04/dblp dblp 2008-08-21T00:00:00+02:00 dblp
Preface.
Ugo Montanari and Donald Sannella Theor. Comput. Sci. 402 81 (2008)
to dblp by dblp on 2008-08-21 00:00:00
]]> Where Have You Ended Up Today? Dynamic TV and the Inter-tainment Paradigm. dblp http://www.bibsonomy.org/bibtex/2871636ac07f23d642ad3b34984bef3a6/dblp dblp 2008-08-12T00:00:00+02:00 dblp
Where Have You Ended Up Today? Dynamic TV and the Inter-tainment Paradigm.
Rossana Simeoni and Marina Geymonat and Elena Guercio and Monica Perrero and Amon Rapp and Francesco Tesauri and Roberto Montanari EuroITV 238-247 (2008)
to dblp by dblp on 2008-08-12 00:00:00
]]>