Gert Smolka: Doctoral Students

Gert Smolka: Doctoral Students

Saarland University Computer Science

Current

Dominik Lichter

Dominik Kirst

Yannick Forster

Kathrin Stark

Steven Schäfer

Jonas Kaiser

Sigurd Schneider

Former

  1. Christian Doczkal, 2016
    A Machine-Checked Constructive Metatheory of Computation Tree Logic.

  2. Mark Kaminski, 2012
    Incremental Decision Procedures for Modal Logic with Nominals and Eventualities.

  3. Mathias Möhl, 2010,
    Dynamic Programming based RNA Pseudoknot Alignment.

  4. Guido Tack, 2009,
    Constraint Propagation -- Models, Techniques, Implementation.
    Won ACP Doctoral Research Award 2010.

  5. Marco Kuhlmann, 2007,
    Dependency Structures and Lexicalized Grammars.
    Won Beth Dissertation Award 2008.

  6. Andreas Rossberg, 2007,
    Typed Open Programming.

  7. Leif Kornstaedt, 2006,
    Design and Implementation of a Programmable Middleware.

  8. Ralph Debusmann, 2006,
    Extensible Dependency Grammar --- A Modular Grammar Formalism Based On Multigraph Description.

  9. Alexander Koller, 2004,
    Constraint-based and Graph-based Resolution of Ambiguities in Natural Language.

  10. Tim Priesnitz, 2004,
    Subtype Satisfiability and Entailment.
    (co-supervisor: Joachim Niehren)

  11. Katrin Erk, 2002,
    Parallelism Constraints in Underspecified Semantics.

  12. Tobias Müller, 2001,
    Constraint Propagation in Mozart.

  13. Christian Schulte, 2000,
    Programming Constraint Services.

  14. Michael Mehl, 1999,
    The Oz Virtual Machine: Records, Transients, and Deep Guards.

  15. Ralf Scheidhauer, 1999,
    Design, Implementierung und Evaluierung einer virtuellen Maschine für Oz.

  16. Joachim Paul Walser, 1998,
    Domain-independent Local Search for Linear Integer Optimization.

  17. Martin Müller, 1998,
    Set-based Failure Diagnosis for Concurrent Constraint Programming.

  18. Jörg Würtz, 1998,
    Lösen kombinatorischer Probleme mit Constraintprogrammierung in Oz.

  19. Martin Henz, 1997,
    Objects in Oz.

  20. Joachim Niehren, 1995,
    Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen.

  21. Rolf Backofen, 1994,
    Expressivity and Decidability of First-order Languages over Feature Trees.

  22. Andreas V. Hense, 1994,
    Polymorphic Type Inference for Object-oriented Programming Languages.

Reviewed

Fritz Müller, 2016, Saarland University.
On Confluence and Semantic Full Abstraction of Lambda Calculus Languages.

Denis Firsov, 2016, Tallinn University of Technology.
Certification of Context-Free Grammar Algorithms.

Beta Ziliani, 2015, Saarland University.
Interactive Typed Tactic Programming in the Coq Proof Assistant.

Guillaume Hoffmann, 2010, Nancy-Université.
Reasoning Tasks for Hybrid Logics.

Daniel Gorín, 2009, Universidad de Buenos Aires and Nancy-Université.
Resolution-based automated reasoning techniques for hybrid logics.

Eyad Alkassar, 2009, Saarland University.
OS Verification Extended -- On the Formal Verification of Device Drivers and the Correctness of Client/Server Software.

Yevgeny Kazakov, 2005, Saarland University.
Saturation-Based Decision Procedures for Extensions of the Guarded Fragment.

Sven Thiel, 2004, Saarland University.
Efficient Algorithms for Constraint Propagation and for Processing Tree Descriptions.

Andreas Meier, 2003, Saarland University.
Proof Planning with Multiple Strategies.

Serge Autexier, 2003, Saarland University.
Hierarchical Contextual Reasoning.

Christoph Jung, 1999, Saarland University.
Theory and Practice of Hybrid Agents.

Jörg Müller, 1995, Saarland University.
An Architecture for Dynamically Interacting Agents.

Sverker Janson, 1994, Uppsala University.
AKL--A Multiparadigm Programming Language.

Delia Kesner, 1993, Université Paris-Sud, Orsay.
La définition de fonctions par cas à l′aide de motifs dans des langages applicatifs.

Werner Nutt, 1993, Saarland University.
Algorithms for Constraints in Deduction and Knowledge Representation.

Matthias Hecking, 1993, Saarland University.
Eine logische Behandlung der verteilten und mehrstufigen Planerkennung.

Ralf Treinen, 1991, Saarland University.
Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe.


Gert Smolka, Wed Mar 15 17:23:19 2017