Jan-Georg Smaus

	2009
34		Stefan Ratschan, Jan-Georg Smaus: Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. TAP 2009: 153-168
33		Alexander Schimpf, Stephan Merz, Jan-Georg Smaus: Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL. TPHOLs 2009: 424-439
32		Bahareh Badban, Stefan Leue, Jan-Georg Smaus: Automated Predicate Abstraction for Real-Time Models CoRR abs/0911.3277: (2009)
	2008
31		Jan-Georg Smaus, Jörg Hoffmann: Relaxation Refinement: A New Method to Generate Heuristic Functions. MoChArt 2008: 147-165
	2007
30		Jan-Georg Smaus: On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint. CPAIOR 2007: 288-302
	2006
29		Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski: Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. MoChArt 2006: 51-66
	2004
28		Jan-Georg Smaus: Termination of Logic Programs Using Various Dynamic Selection Rules. ICLP 2004: 43-57
27		Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Characterisations of Termination in Logic Programming. Program Development in Computational Logic 2004: 376-431
26		Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus: Termination of simply moded logic programs with dynamic scheduling. ACM Trans. Comput. Log. 5(3): 470-507 (2004)
	2003
25		Jan-Georg Smaus: Is There an Optimal Generic Semantics for First-Order Equations?. ICLP 2003: 438-450
24		Jan-Georg Smaus: Termination of Logic Programs for Various Dynamic Selection Rules. ICLP 2003: 511-512
	2002
23		Jan-Georg Smaus: The Head Condition and Polymorphic Recursion. FLOPS 2002: 259-274
22		Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing: MultiMedia Instruction in Safe and Secure Systems. WADT 2002: 82-117
21		Pierre Deransart, Jan-Georg Smaus: Subject Reduction of Logic Programs as Proof-Theoretic Property. Journal of Functional and Logic Programming 2002: (2002)
20		Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Classes of terminating logic programs. TPLP 2(3): 369-418 (2002)
	2001
19		Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus: Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. ESOP 2001: 402-416
18		Pierre Deransart, Jan-Georg Smaus: Well-Typed Logic Programs Are not Wrong. FLOPS 2001: 280-295
17		Jan-Georg Smaus: Analysis of Polymorphically Typed Logic Programs Using ACI-Unification. LPAR 2001: 282-298
16		Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus: Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling CoRR cs.LO/0101022: (2001)
15		Jan-Georg Smaus: Analysis of Polymorphically Typed Logic Programs Using ACI-Unification CoRR cs.LO/0105007: (2001)
14		Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Classes of Terminating Logic Programs CoRR cs.LO/0106050: (2001)
13		Jan-Georg Smaus, Patricia M. Hill, Andy King: Verifying Termination and Error-Freedom of Logic Programs with block Declarations. TPLP 1(4): 447-486 (2001)
	2000
12		Jan-Georg Smaus, François Fages, Pierre Deransart: Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. FSTTCS 2000: 214-226
11		Pierre Deransart, Jan-Georg Smaus: Les programmes bien typés ont tout bon. JFPLC 2000: 49-66
10		Jan-Georg Smaus, Patricia M. Hill, Andy King: Verifying Termination and Error-Freedom of Logic Programs with block Declarations CoRR cs.LO/0006033: (2000)
9		Jan-Georg Smaus, François Fages, Pierre Deransart: Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping CoRR cs.LO/0010029: (2000)
8		Pierre Deransart, Jan-Georg Smaus: Well-Typed Logic Programs Are not Wrong CoRR cs.LO/0012015: (2000)
	1999
7		Andy King, Jan-Georg Smaus, Patricia M. Hill: Quotienting Share for Dependency Analysis. ESOP 1999: 59-73
6		Jan-Georg Smaus: Proving Termination of Input-Consuming Logic Programs. ICLP 1999: 335-349
5		Jan-Georg Smaus, Patricia M. Hill, Andy King: Mode Analysis Domains for Typed Logic Programs. LOPSTR 1999: 82-101
4		Sandro Etalle, Jan-Georg Smaus: Preface - Workshop on Verification of Logic Programs. Electr. Notes Theor. Comput. Sci. 30(1): (1999)
	1998
3		Jan-Georg Smaus, Patricia M. Hill, Andy King: Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. LOPSTR 1998: 289-307
2		Jan-Georg Smaus, Patricia M. Hill, Andy King: Termination of Logic Programs with block Declarations Running in Several Modes. PLILP/ALP 1998: 73-88
	1997
1		Jan-Georg Smaus, Patricia M. Hill, Andy King: Domain Construction for Mode Analysis of Typed Logic Programs. ICLP 1997: 418

Coauthor Index

1	Bahareh Badban	[32]
2	Annalisa Bossi	[16] [19] [26]
3	Pierre Deransart	[8] [9] [11] [12] [18] [21]
4	Sandro Etalle	[4] [16] [19] [26]
5	François Fages	[9] [12]
6	Patricia M. Hill	[1] [2] [3] [5] [7] [10] [13]
7	Jörg Hoffmann	[29] [31]
8	Dieter Hutter	[22]
9	Andy King	[1] [2] [3] [5] [7] [10] [13]
10	Bernd Krieg-Brückner	[22]
11	Sebastian Kupferschmid	[29]
12	Stefan Leue	[32]
13	Arne Lindow	[22]
14	Christoph Lüth	[22]
15	Achim Mahnke	[22]
16	Philipp Meier	[22]
17	Erica Melis	[22]
18	Stephan Merz	[33]
19	Dino Pedreschi	[14] [20] [27]
20	Andreas Podelski	[29]
21	Arnd Poetzsch-Heffter	[22]
22	Stefan Ratschan	[34]
23	Markus Roggenbach	[22]
24	Sabina Rossi	[16] [19] [26]
25	Salvatore Ruggieri	[14] [20] [27]
26	George Russell	[22]
27	Andrey Rybalchenko	[29]
28	Alexander Schimpf	[33]
29	Martin Wirsing	[22]

Colors in the list of coauthors