Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Mathias Winckel

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Conférences et workshops internationaux / International conference papers

  • Mathias Winckel, Ralph Matthes. On a Dynamic Logic for Graph Rewriting (regular paper). Dans : Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2013), Kherson, Ukraine, 20/01/13-21/01/13, Vol. 1000, Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky (Eds.), CEUR-WS : Workshop proceedings, p. 506-520, juin 2013.
    Accès : http://oatao.univ-toulouse.fr/12536/
    BibTeX

  • Mathias Winckel, Ralph Matthes. Formalization of a dynamic logic for graph transformation in the Coq proof assistant (regular paper). Dans : Theoretical and Applied Aspects of Program Systems Development (TAAPSD 2012), Kiew, 03/12/12-07/12/12, Mykola Nikitchenko (Eds.), Avangard, p. 31-42, décembre 2012.
    Résumé
    BibTeX