.:. Consultation > Liste par année > 2005 .:.

55 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4

Sur la notion d'observation en sémantique Leperchey B. Université Paris-Diderot - Paris VII (09/12/2005), Antonio Bucciarelli (Dir.) [tel-00102637 - version 1]

Logique, Réalisabilité et Concurrence Beffara E. Université Paris-Diderot - Paris VII (06/12/2005), Danos Vincent (Dir.) [tel-00011205 - version 1]

Robust and parsimonious realisations of unitaries in the one-way model Danos V., Kashefi E., Panangaden P. Physical Review A: Atomic, Molecular and Optical Physics 72, 6 (2005) article 064301 [hal-00164298 - version 1]

Réplications distribuées pour la définition des interactions de jeux massivement multi-joueurs Bosser A.-G. Université Paris-Diderot - Paris VII (18/11/2005), Emmanuel Chailloux (Dir.) [tel-00011489 - version 1]

Flow does not model flows up to weak dihomotopy Gaucher P. Applied Categorical Structures 13, 5-6 (2005) 371-388 [hal-00150921 - version 1]

Replication Model for Designing Multi-Player Games Interactions Bosser A.-G. Dans Proceedings of CGAMES'05 - CGAMES'05, France (2005) [hal-00153948 - version 1]

Topologie Algébrique Dirigée et Concurrence Haucourt E. Université Paris-Diderot - Paris VII (11/10/2005), Eric Goubault (Dir.) [tel-00172472 - version 1]

Sequential algorithms and strongly stable functions Melliès P.-A. Theoretical Computer Science 343, 1-2 (2005) 237-281 [hal-00154206 - version 1]

PhoX Raffalli C., Paul R. LANAI 3600 (2005) 67-71 [hal-00387500 - version 1]

EDOS deliverable WP2-D2.1: Report on Formal Management of Software Dependencies Di Cosmo R. Rapport de recherche (2005) [hal-00697463 - version 1]

Domain Decomposition and Skeleton Programming with OCamlP3l Clément F., MARTIN V., Vodicka A., Di Cosmo R., Weis P. In Parallel Computing Conference - Proceedings of the International Conference ParCo 2005, France (2005) [hal-00149565 - version 1]

A practical application of geometric semantics to the static analysis of concurrent programs Goubault E. Dans Proceedings of CONCUR 2005 - CONCUR 2005, États-Unis (2005) [hal-00150857 - version 1]

Modelling and Verification of Cryptographic Protocols Amadio R. M. (2005) 165 [hal-00168132 - version 1]

Typing Aberrance in Signal Transduction Zhang M., Li G., Fu F., Zhang Z., He L. Dans Advances in Natural Computation - ICNC'05, Chine (2005) [hal-00155502 - version 1]

Axiomatisations et types pour des processus probabilistes et mobiles Deng Y. École Nationale Supérieure des Mines de Paris (22/07/2005), Davide Sangiorgi (Dir.) [tel-00155225 - version 1]