Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Browsing by Author Baumgartner, Peter

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Or enter first few letters:  
Showing results 15 to 29 of 29
01_Buchs_Late_cretaceous_arc_2010.pdf.jpg

Late cretaceous arc development on the SW margin of the caribbean plate: insights form the Golfito, Costa Rica, and Azuero, Panama, complexes

Author(s)Buchs, David; Arculus, Richard; Baumgartner, Peter, et al
TypeJournal article
Date Published2010
Date Created-

Lemma learning in the model evolution calculus

Author(s)Baumgartner, Peter; Fuchs, Alexander; Tinelli, Cesare
TypeConference paper
Date Published2006
Date CreatedNovember 13-17 2006
04_Baumgartner_Logical_engineering_with_2007.pdf.jpg

Logical engineering with instance-based methods

Author(s)Baumgartner, Peter
TypeConference paper
Date Published2007
Date CreatedJuly 17-20 2007

ME(LIA) - Model evolution with linear integer arithmetic constraints

Author(s)Baumgartner, Peter; Fuchs, Alexander; Tinelli, Cesare
TypeConference paper
Date Published2008
Date CreatedNovember 22-27 2008
02_Baumgartner_Model_Evolution_Based_Theorem_2014.pdf.jpg

Model Evolution Based Theorem Proving

Author(s)Baumgartner, Peter
TypeJournal article
Date Published2014
Date Created-

Model Evolution with equality - Revised and Implemented

Author(s)Baumgartner, Peter; Pelzer, Bjorn; Tinelli, Cesare
TypeJournal article
Date Published2011
Date Created-

Model Evolution with Equality Modulo Built-in Theories

Author(s)Baumgartner, Peter; Tinelli, Cesare
TypeConference paper
Date Published2011
Date CreatedJuly 31-August 8 2011

Oceanic intraplate volcanoes exposed: Example from seamounts accreted in Panama

Author(s)Buchs, David; Arculus, Richard; Baumgartner, Peter, et al
TypeJournal article
Date Published2011
Date Created-

Proving Infinite Satisfiability

Author(s)Baumgartner, Peter; Bax, Joshua
TypeBook chapter
Date Published2013
Date Created-

SMTtoTPTP - A Converter for Theorem Proving Formats

Author(s)Baumgartner, Peter
TypeJournal article
Date Published2015
Date Created-

Superposition and Model Evolution Combined

Author(s)Baumgartner, Peter; Waldmann, Uwe
TypeConference paper
Date Published2009
Date CreatedAugust 2-7 2009

Tableaux for Verification of Data-Centric Processes

Author(s)Bauer, Andreas; Baumgartner, Peter; Diller, Martin, et al
TypeConference paper
Date Published2013
Date CreatedSeptember 16-19 2013
01_Baumgartner_The_hyper_Tableaux_calculus_2008.pdf.jpg

The hyper Tableaux calculus with equality and an application to finite model computation

Author(s)Baumgartner, Peter; Furbach, Ulrich; Pelzer, Bjorn
TypeJournal article
Date Published2008
Date Created-

The model evolution calculus as a first-order DPLL method

Author(s)Baumgartner, Peter; Tinelli, Cesare
TypeJournal article
Date Published2008
Date Created-

The TPTP Typed First-Order Form with Arithmetic

Author(s)Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen, et al
TypeConference paper
Date Published2012
Date CreatedMarch 11-15 2012

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator