Pierre Valarcher

Publications

Pré-publication, Document de travail (1)

Completeness of Seiller's Abstract Machine Hong-Linh Anh-Ton Le,Pierre Valarcher 2025 Pré-publication, Document de travail (working paper) hal-05137612v1

Autre publication scientifique (3)

Infodroit, 2 ans de recherches (2024-2025) à l'université Paris-Est Créteil Noé Wagener,Luc Pellissier,Pierre Valarcher,Eloi Barbier,Philippine Ducroset al. 2025 Autre publication scientifique halshs-05421728v1
Extending the Loop Language with Higher-Order Procedural Variables Tristan Crolard,Emmanuel Polonowski,Pierre Valarcher 2008 Autre publication scientifique hal-00385411v1
Sequence of Enumeration of QROBDD Jean-Baptiste Yunès,Jean-Francis Michon,Pierre Valarcher 2004 Autre publication scientifique hal-00081330v1

Communication dans un congrès (9)

Evolving MultiAlgebras unify all usual sequential computation models Serge Grigorieff,Pierre Valarcher 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.417-428 Communication dans un congrès inria-00455373v1
On the expressive power of Loop language Tristan Crolard,Samuel Lacas,Pierre Valarcher 17th Nordic Workshop on Programming Theory, 2005, Copenhaguen, Denmark Communication dans un congrès hal-00083374v1
About implementation of primitive recursive algorithms Philippe Andary,Bruno Patrou,Pierre Valarcher International Workshop on Abstract State Machine, 2005, Paris, France Communication dans un congrès hal-00083380v1
Call-by-name vs call-by-value in primitive recursion : storage operator Pierre Valarcher 5th International Workshop on Reduction Strategies in Rewriting and Programming, 2005, Nara, Japan Communication dans un congrès hal-00083376v1
HFE and BDDs: A Practical Attempt at Cryptanalysis Jean-Francis Michon,Pierre Valarcher,Jean-Baptiste Yunès 2004, pp.11 Communication dans un congrès hal-00081338v1
Analysis of HFE from a BDD point of view Jean-Francis Michon,Pierre Valarcher,Jean-Baptiste Yunès CCC'03, 2003, China Communication dans un congrès hal-00081341v1
Intensional semantics of systel T of Godel Pierre Valarcher 2000, pp.230-243 Communication dans un congrès hal-00083382v1
On the expressive power of system T of Godel: intensional behaviour Pierre Valarcher IV Brasilium Symposium on Programming Language, 2000, Recife, Brazil Communication dans un congrès hal-00083381v1
Intensionality and Extenstionality and primitive recursion Pierre Valarcher 1996, pp.142-151 Communication dans un congrès hal-00083383v1

Article dans une revue (4)

Extending the loop language with higher-order procedural variables Tristan Crolard,Emmanuel Polonowski,Pierre Valarcher ACM Transactions on Computational Logic, 2009, 10 (4), pp.1--37. ⟨10.1145/1555746.1555750⟩ Article dans une revue hal-00422158v1
Mahler's expansion and boolean functions Jean-Baptiste Yunès,Jean-Francis Michon,Pierre Valarcher Journal of Integer Sequences, 2007, 10 (3), pp.07.3.4 Article dans une revue hal-00139041v1
On the Expressive Power of the Loop Language Tristan Crolard,Samuel Lacas,Pierre Valarcher Nordic Journal of Computing, 2006, 13, http://www.cs.helsinki.fi/njc Article dans une revue hal-00089848v1
On Maximal QROBDD's of Boolean Functions Jean-Baptiste Yunès,Jean-Francis Michon,Pierre Valarcher RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2005, 39, pp.ITA0442 Article dans une revue hal-00081326v1

Ouvrages (3)

BFCA'06 Boolean Functions: Cryptography and Applications Jean-Baptiste Yunès,Jean-Francis Michon,Pierre Valarcher Jean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. Presses Universitaires de Rouen et du Havre, pp.202, 2006 Ouvrages hal-00131767v1
Boolean Functions: Cryptography and Applications. Jean-Baptiste Yunès,Jean-Francis Michon,Pierre Valarcher Presses Universitaires de Rouen et du Havre, pp.204, 2005 Ouvrages hal-00081317v1
BFCA'05 - Boolean Functions: Cryptography and Applications Jean-Baptiste Yunès,Pierre Valarcher,Jean-Francis Michon Jean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. Presses Universitaires de Rouen et du Havre, pp.204, 2005 Ouvrages hal-00139042v1