Tim Geisler (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Heribert Schütz, Tim Geisler: Efficient Model Generation through Compilation. Inf. Comput. 162(1-2): 138-157 (2000)

4 Tim Geisler, Sven Panne, Heribert Schütz: Satchmo - The Compiling and Functional Variants. J. Autom. Reasoning 18(2): 227-236 (1997)

3 Heribert Schütz, Tim Geisler: Efficient Model Generation through Compilation. CADE 1996: 433-447

Selection of 3 from 6 records - Tim Geisler has 6 coauthors

6		Heribert Schütz, Tim Geisler: Efficient Model Generation through Compilation. Inf. Comput. 162(1-2): 138-157 (2000)
4		Tim Geisler, Sven Panne, Heribert Schütz: Satchmo - The Compiling and Functional Variants. J. Autom. Reasoning 18(2): 227-236 (1997)
3		Heribert Schütz, Tim Geisler: Efficient Model Generation through Compilation. CADE 1996: 433-447