Skip to Main content Skip to Navigation
New interface


...
tel-00337558v2  Theses
Oana Andrei. A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems
Software Engineering [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. English. ⟨NNT : ⟩
...
tel-01746182v2  Theses
Cody Roux. Size-based termination: Semantics and generalizations
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10034⟩
...
tel-01748505v2  Theses
Guillaume Burel. Bonnes démonstrations en déduction modulo
Informatique [cs]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10014⟩
...
tel-01748690v2  Theses
Radu Kopetz. Contraintes d'anti-filtrage et programmation par réécriture
Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. Français. ⟨NNT : 2008INPL045N⟩
...
tel-00646401v1  Theses
Tony Bourdier. Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité
Logique en informatique [cs.LO]. Université Henri Poincaré - Nancy I, 2011. Français. ⟨NNT : ⟩
...
tel-00553219v1  Theses
Clément Houtmann. Représentation et interaction des preuves en superdéduction modulo
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2010. Français. ⟨NNT : 2010NAN10026⟩
...
tel-00546917v1  Habilitation à diriger des recherches
Horatiu Cirstea. Le calcul de réécriture
Génie logiciel [cs.SE]. Université Nancy II, 2010
...
tel-00335079v1  Theses
Anderson Santana de Oliveira. Réécriture et Modularité pour les Politiques de Sécurité
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2008. Français. ⟨NNT : ⟩
...
tel-00337408v1  Habilitation à diriger des recherches
Pierre-Etienne Moreau. Programmation et confiance
Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008
...
tel-01748507v2  Theses
Emilie Balland. Conception d'un langage dédié à l'analyse et la transformation de programmes
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10026⟩
...
tel-01081055v1  Theses
Jean-Christophe Bach. Un îlot formel pour les transformations de modèles qualifiables
Langage de programmation [cs.PL]. Université de Lorraine, 2014. Français