|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 37 publication records. Showing 37 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jan-Georg Smaus, Christian Schilling, Fabian Wenzelmann |
Implementations of two algorithms for the threshold synthesis problem.  |
ISAIM  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ron van der Meyden, Jan-Georg Smaus (eds.) |
Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers |
MoChArt |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bahareh Badban, Stefan Leue, Jan-Georg Smaus |
Automated Predicate Abstraction for Real-Time Models |
INFINITY |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Ratschan, Jan-Georg Smaus |
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. |
TAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Schimpf, Stephan Merz, Jan-Georg Smaus |
Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Jörg Hoffmann |
Relaxation Refinement: A New Method to Generate Heuristic Functions. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
Directed model checking, timed automata, predicate abstraction, abstraction refinement |
| 1 | Jan-Georg Smaus |
On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski |
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. |
MoChArt |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus |
Termination of simply moded logic programs with dynamic scheduling. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
simply moded, Logic programs, termination, dynamic scheduling |
| 1 | Jan-Georg Smaus |
Termination of Logic Programs Using Various Dynamic Selection Rules. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus |
Characterisations of Termination in Logic Programming. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Georg Smaus |
Termination of Logic Programs for Various Dynamic Selection Rules. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Georg Smaus |
Is There an Optimal Generic Semantics for First-Order Equations?. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Deransart, Jan-Georg Smaus |
Subject Reduction of Logic Programs as Proof-Theoretic Property. |
Journal of Functional and Logic Programming |
2002 |
DBLP BibTeX RDF |
|
| 1 | Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus |
Classes of terminating logic programs. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Georg Smaus |
The Head Condition and Polymorphic Recursion. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus |
Classes of Terminating Logic Programs |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jan-Georg Smaus |
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus |
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Verifying Termination and Error-Freedom of Logic Programs with block Declarations. |
TPLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Georg Smaus |
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Deransart, Jan-Georg Smaus |
Well-Typed Logic Programs Are not Wrong. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus |
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Deransart, Jan-Georg Smaus |
Well-Typed Logic Programs Are not Wrong |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jan-Georg Smaus, François Fages, Pierre Deransart |
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Verifying Termination and Error-Freedom of Logic Programs with block Declarations |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Pierre Deransart, Jan-Georg Smaus |
Les programmes bien typés ont tout bon. |
JFPLC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jan-Georg Smaus, François Fages, Pierre Deransart |
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandro Etalle, Jan-Georg Smaus |
Preface - Workshop on Verification of Logic Programs. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Georg Smaus |
Proving Termination of Input-Consuming Logic Programs. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Mode Analysis Domains for Typed Logic Programs. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King, Jan-Georg Smaus, Patricia M. Hill |
Quotienting Share for Dependency Analysis. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
definite Boolean functions, widening, abstract interpretation, data-flow analysis, dependency analysis, (Constraint) logic programs |
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Termination of Logic Programs with block Declarations Running in Several Modes. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Domain Construction for Mode Analysis of Typed Logic Programs. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
Displaying result #1 - #37 of 37 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")