Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

55 résultats
Page :
triés par
Image document

Notes de programmation (C) et d'algorithmique

 Roberto M. Amadio
Maitrise. France. 2023
Cours cel-01957585v4
Image document

On affine usages in signal-based communication

 Roberto M. Amadio , Mehdi Dogguy
Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Dec 2008, France. pp.221-236
Communication dans un congrès hal-00272023v3
Image document

A synchronous pi-calculus

 Roberto M. Amadio
Information and Computation, 2007, 205 (9), pp.1470-1490
Article dans une revue hal-00078319v3

Proceedings 14th International Workshop on Expressiveness in Concurrency

 Roberto M. Amadio , Thomas Hildebrandt
Electronic Notes in Theoretical Computer Science, 194(2), 2008., pp.80, 2008
Ouvrages hal-00167668v1
Image document

An Elementary affine λ-calculus with multithreading and side effects (extended version)

 Antoine Madet , Roberto M. Amadio
2011
Rapport hal-00569095v2

Special issue on Modelling and Verification of Cryptographic Protocols. Journal of Logic and Algebraic Programming, 64, 2005

 Roberto Amadio
Elsevier, pp.165, 2005
Ouvrages hal-00146976v1

CONCUR 2003 - Concurrency Theory, 14th International Conference

 Roberto Amadio , Denis Lugiez
Springer Verlag, pp.512, 2003
Ouvrages hal-00146995v1

Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), Electronic Notes in Theoretical Computer Science, Volume 175(3).

 Roberto M. Amadio , Iain Phillips
Elsevier, pp.150, 2007
Ouvrages hal-00156378v1

Synthesis of max-plus quasi-interpretations

 Roberto Amadio
Fundamenta Informaticae, 2005, 65 (1-2), pp.29-60
Article dans une revue hal-00146968v1
Image document

Certifying cost annotations in compilers

 Roberto M. Amadio , Nicolas Ayache , Yann Régis-Gianas , Ronan Saillard
2010
Rapport hal-00524715v1
Image document

Determinacy in a synchronous pi-calculus

 Roberto M. Amadio , Mehdi Dogguy
Y. Bertot et al. From semantics to computer science: essays in honor of Gilles Kahn, Cambridge University Presse, pp.1-27, 2009
Chapitre d'ouvrage hal-00159764v2
Image document

An affine-intuitionistic system of types and effects: confluence and termination

 Roberto Amadio , Patrick Baillot , Antoine Madet
2010
Pré-publication, Document de travail hal-00438101v2
Image document

Notes d'informatique fondamentale (cours pour l'École d'Ingénieurs EIDD, deuxième année)

 Roberto M. Amadio
École d'ingénieur. France. 2020
Cours hal-02993469v2
Image document

Selected domains and lambda calculi

 Roberto M. Amadio , Pierre-Louis Curien
[Technical Report] RT-0161, INRIA. 1994, pp.199
Rapport inria-00070008v1
Image document

An Asynchronous Model of Locality, Failure, and Process Mobility

 Roberto M. Amadio
RR-3109, INRIA. 1997
Rapport inria-00073581v1
Image document

Reactive concurrent programming revisited

 Roberto M. Amadio , Gérard Boudol , Ilaria Castellani , Frédéric Boussinot
Express, Sep 2006, France. pp.49-60
Communication dans un congrès hal-00015838v1

Proceedings Foundations of Software Science and Computation Structures (FOSSACS), Springer Lecture Notes in Computer Science, 4962

 Roberto M. Amadio
Springer Verlag, pp.530, 2008
Ouvrages hal-00250365v1

A Functional Scenario for Bytecode Verification of Resource Bounds

 Roberto Amadio , Solange Coupet-Grimal , Silvano Dal Zilio , Line Jakubiec
Sep 2004, pp.265-279
Communication dans un congrès hal-00146991v1

Feasible Reactivity for Synchronous Cooperative Threads.

 Roberto M. Amadio , Frederic Dabrowski
Process Algebra, Jul 2006, France. pp.33-43
Communication dans un congrès hal-00147244v1

From Type Theory to Morphological Complexity. Special issue of Information and Computation, volume 207(5).

 Roberto M. Amadio , Andrea Asperti , Giuseppe Castagna
Academic Press, pp.543-669, 2009
Ouvrages hal-00694647v1
Image document

The Receptive Distributed $\pi$-Calculus

 Roberto M. Amadio , Gérard Boudol , Cédric Lhoussaine
[Research Report] RR-4080, INRIA. 2000
Rapport inria-00072553v1

An affine-intuitionistic system of types and effects: confluence and termination

 Roberto M. Amadio , Patrick Baillot , Antoine Madet
Workshop LOLA "Syntax and Semantics of Low Level Languages", Jul 2010, Edimbourg, United Kingdom
Communication dans un congrès hal-00625760v1
Image document

Outils Logiques

 Roberto M. Amadio
Licence. 2020, Université de Paris, France. 2018, pp.62
Cours cel-00163821v5
Image document

The Game of the Name in Cryptographic Tables

 Roberto M. Amadio , Sanjiva Prasad
RR-3733, INRIA. 1999
Rapport inria-00072932v1
Image document

The SL synchronous language, revisited

 Roberto M. Amadio
Journal of Logic and Algebraic Programming, 2007, 70, pp.121-150
Article dans une revue hal-00014540v1
Image document

Informatique 1

 Roberto M. Amadio
École d'ingénieur. France. 2019
Cours hal-02390438v1
Image document

Resource Control for Synchronous Cooperative Threads

 Roberto M. Amadio , Silvano Dal Zilio
Theoretical Computer Science, 2006, 358, pp.229-254
Article dans une revue hal-00015836v1
Image document

On the Reachability Problem in Cryptographic Protocols

 Roberto M. Amadio , Denis Lugiez
[Research Report] RR-3915, INRIA. 2000, pp.33
Rapport inria-00072738v1
Image document

Feasible reactivity in a synchronous pi-calculus

 Roberto M. Amadio , Frederic Dabrowski
ACM SIGPLAN Principles and Practice of Declarative Programming, Jul 2007, Wroclaw, Poland. pp.221-231
Communication dans un congrès hal-00130322v1

The receptive distributed pi-calculus

 Roberto Amadio , Gérard Boudol , Cédric Lhoussaine
ACM Transactions on Programming Languages and Systems (TOPLAS), 2003, 25 (5), pp.549-577
Article dans une revue hal-00147008v1
Page :