Jan-Georg Smaus

Identifiers

• name variant Jan-Georg Smaus 0.60 · backfill

Papers (7)

1. Abstracting an operational semantics to finite automata cs.PL · 2014 · author #3
2. Classes of Terminating Logic Programs cs.LO · 2001 · author #3
3. Analysis of Polymorphically Typed Logic Programs Using ACI-Unification cs.LO · 2001 · author #1
4. Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling cs.LO · 2001 · author #4
5. Well-Typed Logic Programs Are not Wrong cs.LO · 2000 · author #2
6. Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping cs.LO · 2000 · author #1
7. Verifying Termination and Error-Freedom of Logic Programs with block Declarations cs.LO · 2000 · author #1

Mentions

• 1409.7841 #3 · backfill · confidence 0.70 Jan-Georg Smaus

Frequent Coauthors

• Pierre Deransart 2 shared papers
• Andy King 1 shared papers
• Annalisa Bossi 1 shared papers
• Dino Pedreschi 1 shared papers
• Francois Fages 1 shared papers
• Martin Strecker 1 shared papers
• Nadezhda Baklanova 1 shared papers
• Patricia M. Hill 1 shared papers
• Sabina Rossi 1 shared papers
• Salvatore Ruggieri 1 shared papers
• Sandro Etalle 1 shared papers
• Wilmer Ricciotti 1 shared papers