Jan-Georg Smaus

2008
31	EE	Jan-Georg Smaus, Jörg Hoffmann: Relaxation Refinement: A New Method to Generate Heuristic Functions. MoChArt 2008: 147-165
2007
30	EE	Jan-Georg Smaus: On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint. CPAIOR 2007: 288-302
2006
29	EE	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	EE	Jan-Georg Smaus: Termination of Logic Programs Using Various Dynamic Selection Rules. ICLP 2004: 43-57
27	EE	Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Characterisations of Termination in Logic Programming. Program Development in Computational Logic 2004: 376-431
26	EE	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	EE	Jan-Georg Smaus: Is There an Optimal Generic Semantics for First-Order Equations?. ICLP 2003: 438-450
24	EE	Jan-Georg Smaus: Termination of Logic Programs for Various Dynamic Selection Rules. ICLP 2003: 511-512
2002
23	EE	Jan-Georg Smaus: The Head Condition and Polymorphic Recursion. FLOPS 2002: 259-274
22	EE	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	EE	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	EE	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	EE	Pierre Deransart, Jan-Georg Smaus: Well-Typed Logic Programs Are not Wrong. FLOPS 2001: 280-295
17	EE	Jan-Georg Smaus: Analysis of Polymorphically Typed Logic Programs Using ACI-Unification. LPAR 2001: 282-298
16	EE	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	EE	Jan-Georg Smaus: Analysis of Polymorphically Typed Logic Programs Using ACI-Unification CoRR cs.LO/0105007: (2001)
14	EE	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	EE	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	EE	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	EE	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	EE	Pierre Deransart, Jan-Georg Smaus: Well-Typed Logic Programs Are not Wrong CoRR cs.LO/0012015: (2000)
1999
7	EE	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	EE	Sandro Etalle, Jan-Georg Smaus: Preface - Workshop on Verification of Logic Programs. Electr. Notes Theor. Comput. Sci. 30(1): (1999)
1998
3	EE	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	EE	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	Annalisa Bossi	[16] [19] [26]
2	Pierre Deransart	[8] [9] [11] [12] [18] [21]
3	Sandro Etalle	[4] [16] [19] [26]
4	François Fages	[9] [12]
5	Patricia M. Hill	[1] [2] [3] [5] [7] [10] [13]
6	Jörg Hoffmann	[29] [31]
7	Dieter Hutter	[22]
8	Andy King	[1] [2] [3] [5] [7] [10] [13]
9	Bernd Krieg-Brückner	[22]
10	Sebastian Kupferschmid	[29]
11	Arne Lindow	[22]
12	Christoph Lüth	[22]
13	Achim Mahnke	[22]
14	Philipp Meier	[22]
15	Erica Melis	[22]
16	Dino Pedreschi	[14] [20] [27]
17	Andreas Podelski	[29]
18	Arnd Poetzsch-Heffter	[22]
19	Markus Roggenbach	[22]
20	Sabina Rossi	[16] [19] [26]
21	Salvatore Ruggieri	[14] [20] [27]
22	George Russell	[22]
23	Andrey Rybalchenko	[29]
24	Martin Wirsing	[22]

Colors in the list of coauthors