Jan-Georg Smaus

	2012
37		Jan-Georg Smaus, Christian Schilling, Fabian Wenzelmann: Implementations of two algorithms for the threshold synthesis problem. ISAIM 2012
	2011
36		Ron van der Meyden, Jan-Georg Smaus: Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers Springer 2011
	2010
35		David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell, Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart J. Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan: Reports of the AAAI 2010 Conference Workshops. AI Magazine 31(4): 95-108 (2010)
	2009
34		Bahareh Badban, Stefan Leue, Jan-Georg Smaus: Automated Predicate Abstraction for Real-Time Models INFINITY 2009: 36-43
33		Stefan Ratschan, Jan-Georg Smaus: Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. TAP 2009: 153-168
32		Alexander Schimpf, Stephan Merz, Jan-Georg Smaus: Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL. TPHOLs 2009: 424-439
	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): 125 (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	David W. Aha	[35]
2	Bahareh Badban	[34]
3	Mark S. Boddy	[35]
4	Annalisa Bossi	[16] [19] [26]
5	Vadim Bulitko	[35]
6	Pierre Deransart	[8] [9] [11] [12] [18] [21]
7	Prashant Doshi	[35]
8	Stefan Edelkamp	[35]
9	Sandro Etalle	[4] [16] [19] [26]
10	François Fages	[9] [12]
11	Artur S. d'Avila Garcez	[35]
12	Christopher W. Geib	[35]
13	Piotr J. Gmytrasiewicz	[35]
14	Robert P. Goldman	[35]
15	Alon Y. Halevy (Alon Y. Levy)	[35]
16	Patricia M. Hill	[1] [2] [3] [5] [7] [10] [13]
17	Pascal Hitzler	[35]
18	Jörg Hoffmann	[29] [31]
19	Dieter Hutter	[22]
20	Charles Lee Isbell Jr. (Charles L. Isbell)	[35]
21	Darsana P. Josyula	[35]
22	Leslie Pack Kaelbling	[35]
23	Kristian Kersting	[35]
24	Andy King	[1] [2] [3] [5] [7] [10] [13]
25	Bernd Krieg-Brückner	[22]
26	Maithilee Kunda	[35]
27	Sebastian Kupferschmid	[29]
28	Luís C. Lamb (Luís da Cunha Lamb)	[35]
29	Stefan Leue	[34]
30	Arne Lindow	[22]
31	Christoph Lüth	[22]
32	Achim Mahnke	[22]
33	Bhaskara Marthi	[35]
34	Keith McGreggor	[35]
35	Philipp Meier	[22]
36	Erica Melis	[22]
37	Stephan Merz	[32]
38	Ron van der Meyden	[35] [36]
39	Lilyana Mihalkova	[35]
40	Vivi Nastase	[35]
41	Sriraam Natarajan	[35]
42	Dino Pedreschi	[14] [20] [27]
43	Andreas Podelski	[29]
44	Arnd Poetzsch-Heffter	[22]
45	Gregory Provan	[35]
46	Anita Raja	[35]
47	Ashwin Ram	[35]
48	Stefan Ratschan	[33]
49	Mark O. Riedl (Mark Riedl)	[35]
50	Markus Roggenbach	[22]
51	Sabina Rossi	[16] [19] [26]
52	Salvatore Ruggieri	[14] [20] [27]
53	George Russell	[22]
54	Stuart J. Russell	[35]
55	Andrey Rybalchenko	[29]
56	Ashish Sabharwal	[35]
57	Christian Schilling	[37]
58	Alexander Schimpf	[32]
59	Gita Reese Sukthankar (Gita Sukthankar)	[35]
60	Karl Tuyls	[35]
61	Fabian Wenzelmann	[37]
62	Martin Wirsing	[22]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page