dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Cesare Tinelli (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Björn Pelzer, Cesare Tinelli: Model Evolution with equality - Revised and implemented. J. Symb. Comput. 47(9): 1011-1045 (2012)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Cesare Tinelli: Model Evolution with Equality Modulo Built-in Theories. CADE 2011: 85-100
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli: Computing finite models by reduction to function-free clause logic. J. Applied Logic 7(1): 58-74 (2009)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Alexander Fuchs, Cesare Tinelli: (LIA) - Model Evolution with Linear Integer Arithmetic Constraints. LPAR 2008: 258-273
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Cesare Tinelli: The model evolution calculus as a first-order DPLL method. Artif. Intell. 172(4-5): 591-632 (2008)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Alexander Fuchs, Cesare Tinelli: Lemma Learning in the Model Evolution Calculus. LPAR 2006: 572-586
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Alexander Fuchs, Cesare Tinelli: Implementing the Model Evolution Calculus. International Journal on Artificial Intelligence Tools 15(1): 21-52 (2006)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Cesare Tinelli: The Model Evolution Calculus with Equality. CADE 2005: 392-408
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli: Preface. Electr. Notes Theor. Comput. Sci. 125(3): 1-2 (2005)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Cesare Tinelli: The Model Evolution Calculus. CADE 2003: 350-364

Selection of 10 from 54 records - Cesare Tinelli has 43 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page