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

Tim Geisler Vis

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

*2000
6 Heribert Schütz, Tim Geisler: Efficient Model Generation through Compilation. Inf. Comput. 162(1-2): 138-157 (2000)
1997
5EENorbert Eisinger, Tim Geisler, Sven Panne: Logic Implemented Functionally. PLILP 1997: 351-368
4 Tim Geisler, Sven Panne, Heribert Schütz: Satchmo - The Compiling and Functional Variants. J. Autom. Reasoning 18(2): 227-236 (1997)
1996
3EEHeribert Schütz, Tim Geisler: Efficient Model Generation through Compilation. CADE 1996: 433-447
1995
2 Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler: The theorem prover SATCHMO : strategies, heuristics and applications. JFPLC 1995: 349-
1994
1EEClemens Beckstein, Tim Geisler: An Application-independent Support System for Integrated Assumption-based Temporal Reasoning. TIME 1994: 35-41

Coauthor Index

1Slim Abdennadher [2]
2Clemens Beckstein [1]
3François Bry (François Bry-Haußer) [2]
4Norbert Eisinger [2] [5]
5Sven Panne [4] [5]
6Heribert Schütz [3] [4] [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)