OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Smaus, Jan-Georg"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Conference or Workshop Item

Le Roux, Stéphane and Martin-Dorel, Erik and Smaus, Jan-Georg. An Existence Theorem of Nash Equilibrium in Coq and Isabelle. (2017) In: 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017), 20 September 2017 - 22 September 2017 (Rome, Italy).

Baklanova, Nadezhda and Ricciotti, Wilmer and Smaus, Jan-Georg and Strecker, Martin. Abstracting an Operational Semantics to Finite Automata. (2015) In: 11th International Conference onICT in Education, Research, and Industrial Applications (ICTERI 2015), 14 May 2015 - 16 May 2015 (Lviv, Ukraine).

Schimpf, Alexander and Smaus, Jan-Georg. Büchi Automata Optimisations Formalised in Isabelle/HOL. (2015) In: 6th Indian Conference on Logics and its Applications (ICLA 2015), 8 January 2015 - 10 January 2015 (Mumbai, India).

Schilling, Christian and Smaus, Jan-Georg and Wenzelmann, Fabian. A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem. (2014) In: International Workshop on Combinatorial Algorithms (IWOCA 2013), 10 July 2013 - 12 July 2013 (Rouen, France).

Esparza, Javier and Lammich, Peter and Neumann, René and Nipkow, Tobias and Schimpf, Alexander and Smaus, Jan-Georg. A Fully Verified Executable LTL Model Checker. (2013) In: 25th International Conference on Computer Aided Verification (CAV 2013), 13 June 2013 - 19 July 2013 (Saint Petersbourg, Russian Federation).

This list was generated on Wed Nov 13 00:26:10 2019 CET.