Pierre Valarcher

20
Documents

Publications

Publications

Deposit thumbnail

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

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

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

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

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

Intensional semantics of systel T of Godel

Pierre Valarcher

2000, pp.230-243

Communication dans un congrès hal-00083382v1

Intensionality and Extenstionality and primitive recursion

Pierre Valarcher

1996, pp.142-151

Communication dans un congrès hal-00083383v1
Deposit thumbnail

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

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

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

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