Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

Photo de BEFFARA Emmanuel
BEFFARA Emmanuel      
Organisme : Aix Marseille Université
Maître de Conférences

Actuellement au LIP à Lyon
emmanuel.beffara_AT_univ-amu.fr
+33491269635
Bureau: 234, Etg: 2, Bât: TPR2 - Site : Luminy

Domaines de Recherche:

Productions scientifiques :
--------------------
+ Unifying type systems for mobile processes arxiv link

Auteur(s): Beffara E.

(Document sans référence bibliographique) 2015-04-20

--------------------
+ A proof-theoretic view on scheduling in concurrency doi link

Auteur(s): Beffara E.

Conference: Classical Logic and Computation 2014 (Wien, AT, 2014-07-13)
Actes de conférence: Classical Logic and Computation 2014, vol. 164 p.78-92 (2014)

--------------------
+ Informatique Mathématique : une photographie en 2013 hal link

Auteur(s): Beffara Emmanuel, Boissonnat Jean-Daniel, Boldo Sylvie, Chazal Frédéric, Gioan Emeric, Martel Matthieu, Paul Christophe, Melquiond Guillaume, Ramirez Alfonsin Jorge, Vaux Lionel, Yvinec Mariette

Ouvrage: Presses Universitaires de Perpignan (2013) 283p.

--------------------
+ Introduction to linear logic hal link

Auteur(s): Beffara E.

(Lecture) , 2013