Two-Way Automata in Coq Christian Doczkal Gert Smolka To appear in Proc. of Interactive Theorem Proving (ITP 2016)

Source URL: www.ps.uni-saarland.de

Adelheid Smolka · Julia Rüdiger Primi Passi – Erste Schritte Ein Modellprojekt des Vereins Verwaiste Eltern München e. V.

Source URL: www.ifb.bayern.de

Towards efficient human - computer interaction Bogdan Smolka Silesian University of Technology Department of Automatic Control Akademicka 16 StrGliwice

Source URL: www.bit-informationsdesign.de

• Computer vision
• Artificial intelligence
• Vision
• User interface techniques
• Humancomputer interaction
• Gesture recognition
• Virtual reality
• Augmented reality
• Face detection

A Fast Compiler for NetKAT Steffen Smolka Spiridon Eliopoulos ⇤ Nate Foster

Source URL: www.cs.cornell.edu

Modellprojekt „Familienstützpunkte“ Abschlussbericht der wissenschaftlichen Begleitung Adelheid Smolka Lena Friedrich

Source URL: www.ifb.bayern.de

Hereditarily Finite Sets in Constructive Type Theory Gert Smolka and Kathrin Stark Saarland University May 29, 2016 To appear in Proc. of ITP 2016, Nancy, France, Springer LNCS

Source URL: www.ps.uni-saarland.de

Completeness and Decidability of de Bruijn Substitution Algebra in Coq Steven Sch¨afer Gert Smolka

Source URL: www.ps.uni-saarland.de

Completeness and Decidability Results for CTL in Coq Christian Doczkal Gert Smolka

Source URL: www.ps.uni-saarland.de

Completeness and Decidability Results for CTL in Constructive Type Theory Christian Doczkal Gert Smolka

Source URL: www.ps.uni-saarland.de

A Linear First-Order Functional Intermediate Language for Verified Compilers Sigurd Schneider, Gert Smolka, Sebastian Hack Saarland University, Saarbr¨ ucken, Germany

Source URL: www.ps.uni-saarland.de