Jan-Georg Smaus
发表
Ron van der Meyden,
Jan-Georg Smaus,
2010
.
Ron van der Meyden,
Jan-Georg Smaus,
2011,
MoChArt.
Jan-Georg Smaus,
1999,
ICLP.
Christos G. Cassandras,
Janan Zaytoon,
Stefan Ratschan,
2006
.
Jan-Georg Smaus,
2002,
FLOPS.
Tobias Nipkow,
Javier Esparza,
Jan-Georg Smaus,
2013,
CAV.
Andy King,
Jan-Georg Smaus,
Patricia M. Hill,
1997,
ICLP.
Andy King,
Jan-Georg Smaus,
Patricia M. Hill,
2001,
Theory Pract. Log. Program..
Stefan Ratschan,
Jan-Georg Smaus,
2006,
ADHS.
Stephan Merz,
Jan-Georg Smaus,
Alexander Schimpf,
2009,
TPHOLs.
Jan-Georg Smaus,
J. Smaus,
2003,
ICLP.
Dino Pedreschi,
Jan-Georg Smaus,
Salvatore Ruggieri,
2001,
Theory and Practice of Logic Programming.
Jan-Georg Smaus,
Stefan Leue,
Bahareh Badban,
2010,
WING@ETAPS/IJCAR.
Markus Roggenbach,
Dieter Hutter,
Martin Wirsing,
2002,
WADT.
Andy King,
Jan-Georg Smaus,
Patricia M. Hill,
1999,
LOPSTR.
Martin Strecker,
Jan-Georg Smaus,
Wilmer Ricciotti,
2014,
ICTERI.
Sandro Etalle,
Annalisa Bossi,
Sabina Rossi,
2001,
ESOP.
Dino Pedreschi,
Jan-Georg Smaus,
Salvatore Ruggieri,
2004,
Program Development in Computational Logic.
Jan-Georg Smaus,
2004,
ICLP.
Andy King,
Jan-Georg Smaus,
Patricia M. Hill,
1998,
LOPSTR.
Jan-Georg Smaus,
2003,
ICLP.
Andy King,
Jan-Georg Smaus,
Patricia M. Hill,
1999,
ESOP.
Jan-Georg Smaus,
Stéphane Le Roux,
Érik Martin-Dorel,
2017,
GandALF.
Jan-Georg Smaus,
1999
.
Andreas Podelski,
Jörg Hoffmann,
Jan-Georg Smaus,
2007,
MoChArt.
Jan-Georg Smaus,
2001,
LPAR.
Christian Schilling,
Jan-Georg Smaus,
Fabian Wenzelmann,
2013,
IWOCA.
Andy King,
Jan-Georg Smaus,
Patricia M. Hill,
1998,
PLILP/ALP.
Jan-Georg Smaus,
Pierre Deransart,
2001,
FLOPS.
François Fages,
Jan-Georg Smaus,
Pierre Deransart,
2000,
FSTTCS.
Gregory M. Provan,
David W. Aha,
Robert P. Goldman,
2010,
AI Mag..
Jan-Georg Smaus,
Pierre Deransart,
2000,
JFPLC.
Jan-Georg Smaus,
Stefan Leue,
Bahareh Badban,
2009,
INFINITY.
Jan-Georg Smaus,
Pierre Deransart,
2002,
J. Funct. Log. Program..
Jörg Hoffmann,
Jan-Georg Smaus,
J. Hoffmann,
2009,
MoChArt.
Christian Schilling,
Jan-Georg Smaus,
Fabian Wenzelmann,
2012,
ISAIM.
Sandro Etalle,
Jan-Georg Smaus,
1999,
Electron. Notes Theor. Comput. Sci..
Jan-Georg Smaus,
Alexander Schimpf,
2015,
ICLA.
Sandro Etalle,
Annalisa Bossi,
Sabina Rossi,
2001,
ESOP.
Jan-Georg Smaus,
J. Smaus,
2007,
CPAIOR.
Stefan Ratschan,
Jan-Georg Smaus,
2009,
TAP@TOOLS.