Bugliesi, Michele.
Michele Bugliesi
VIAF ID: 62699175 ( Personal )
Permalink: http://viaf.org/viaf/62699175
Preferred Forms
- 100 1 _ ‡a Bugliesi, Michele
-
-
-
-
-
- 100 1 _ ‡a Bugliesi, Michele
- 100 1 _ ‡a Bugliesi, Michele
- 100 1 _ ‡a Bugliesi, Michele
-
-
-
- 100 0 _ ‡a Michele Bugliesi
4xx's: Alternate Name Forms (1)
5xx's: Related Names (7)
- 510 2 _ ‡a Ecole jeunes chercheurs en programmation. EJC (Rennes) (2002)
- 510 2 _ ‡a European Association for Theoretical Computer Science
- 510 2 _ ‡a ICALP 33, 2006, Venezia
- 510 2 _ ‡a INRIA. Rennes
- 510 2 _ ‡a Università degli studi di Venezia ‡e Affiliation
- 510 2 _ ‡a Università degli Studi
- 510 2 _ ‡a Université Paris Diderot - Paris 7
Works
Title | Sources |
---|---|
Automata, languages and programming. 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings | |
Calculs types pour la sécurité dans des systèmes répartis avec mobilité | |
EJC '2002 : typage et calcul pour la mobilité et la sécurité : notes de cours | |
Secure Implementations of Typed Channel Abstractions | |
Towards a safe and secure synchronous language. | |
Typed calculi for security in distributed systems with mobility. | |
Vers un langage synchrone sûr et securisé |