Dernières nouvelles de la recherche
Mar 10, 2011
Topological Characterization of Gurevich Modelization of Sequential Algorithms by Serge Grigorieff (LIAFA) et Pierre Valarcher
Soumis à ICALP (2011)
Jan 15, 2011
A theorem of representation for primitive recursive algorithms
by Philippe Andary, Bruno Patrou (LITIS, Rouen) and Pierre Valarcher.
Fondamenta Informaticae (2011)
Oct 18, 2010
Habilitation à diriger des Recherches
Nov 17, 2009
B-ASM: Specification of ASM à la B by David Michel, Frédéric Gervais, and Pierre Valarcher.
Short paper in ABZ (2010)
Sep 25, 2009
Evolving Multialgebras unify all kinds of sequential computation models by Serge Grigorieff and Pierre Valarcher.
STACS (2010)
Autres nouvelles
Mar 10, 2011
Animation de l'atelier sur la vidéo et la pédagogie lors du séminaire TICE à l'UPEC
Nov 22, 2010
Nommé Correspondant à la Prodection des Données Personnelles de l'Université Paris-Est Créteil (UPEC)