|
|
Notes de programmation (C) et d'algorithmique
Roberto M. Amadio
Maitrise. France. 2023
Cours
cel-01957585v4
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
A synchronous pi-calculus
Roberto M. Amadio
Information and Computation, 2007, 205 (9), pp.1470-1490
Article dans une revue
hal-00078319v3
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
An Elementary affine λ-calculus with multithreading and side effects (extended version)
Antoine Madet
,
Roberto M. Amadio
2011
Rapport
hal-00569095v2
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Selected domains and lambda calculi
Roberto M. Amadio
,
Pierre-Louis Curien
[Technical Report] RT-0161, INRIA. 1994, pp.199
Rapport
inria-00070008v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
An Asynchronous Model of Locality, Failure, and Process Mobility
Roberto M. Amadio
RR-3109, INRIA. 1997
Rapport
inria-00073581v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Synthesis of max-plus quasi-interpretations
Roberto Amadio
Fundamenta Informaticae, 2005, 65 (1-2), pp.29-60
Article dans une revue
hal-00146968v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Certifying cost annotations in compilers
Roberto M. Amadio
,
Nicolas Ayache
,
Yann Régis-Gianas
,
Ronan Saillard
2010
Rapport
hal-00524715v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
CONCUR 2003 - Concurrency Theory, 14th International Conference
Roberto Amadio
,
Denis Lugiez
Springer Verlag, pp.512, 2003
Ouvrages
hal-00146995v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
The Receptive Distributed $\pi$-Calculus
Roberto M. Amadio
,
Gérard Boudol
,
Cédric Lhoussaine
[Research Report] RR-4080, INRIA. 2000
Rapport
inria-00072553v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Outils Logiques
Roberto M. Amadio
Licence. 2020, Université de Paris, France. 2018, pp.62
Cours
cel-00163821v5
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
The Game of the Name in Cryptographic Tables
Roberto M. Amadio
,
Sanjiva Prasad
RR-3733, INRIA. 1999
Rapport
inria-00072932v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Informatique 1
Roberto M. Amadio
École d'ingénieur. France. 2019
Cours
hal-02390438v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
On the Reachability Problem in Cryptographic Protocols
Roberto M. Amadio
,
Denis Lugiez
[Research Report] RR-3915, INRIA. 2000, pp.33
Rapport
inria-00072738v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
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
|
Partager
Gmail
Facebook
X
LinkedIn
More
|