-
Sémantique Naturelle et Coq : vers la spécification et les preuves sur les la...
Le système Centaur permet la description d'un langage de programmation en Sémantique Naturelle. Cette description peut être exécutée (en Prolog) et testée puis... -
Analysis of aspect-oriented programs
Aspect oriented programming is a paradigm aiming at improving the separation of concerns. Typically, an aspect is defined for a concern that can not be isolated in a... -
(Non-)Interactive Proofs of Knowledge
In this thesis, we create new building blocks and use them to present new efficient protocols via a modular design. We first begin by using the Groth-Sahai methodology... -
Tous vilains cas sont reniables : l'aveu dans l'ancienne procédure criminelle
This dataset has no description
-
L'assassinat du conseiller Malherbe : analyse d'un procès au XVIIIe siècle
This dataset has no description
-
L'espace public et ses légendes
Texte de présentation : http://www.centre-max-weber.fr/IMG/pdf/Benjamin_Tremblay.pdf -
From ordered monoids to quantales and Petri nets: completeness results revisi...
Colloque avec actes et comité de lecture. -
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic...
Colloque avec actes et comité de lecture. -
Special Issue on Proof Theory of Concurrent Object-Oriented Programming
Ouvrage (éditeur). -
Reasoning about Object Behaviours with Rewriting.
Colloque sans acte à diffusion restreinte. -
Predicate diagrams for the verification of reactive systems
Colloque avec actes et comité de lecture. internationale.
