302 articles – 345 Notices  [english version]
.:. Consultation > Liste des articles .:.
647 documents classés par :
Première Page Page Précédente ... 31 - 32 - 33 - 34 - 35 - 36 - 37 ... Page Suivante Page Finale
fulltext access 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]
fulltext access 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]
fulltext access Topologie Algébrique Dirigée et Concurrence
Haucourt E.
Université Paris-Diderot - Paris VII (11/10/2005), Eric Goubault (Dir.) [tel-00172472 - version 1]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]
Finiteness spaces
Ehrhard T.
Mathematical Structures in Computer Science 15, 4 (2005) 615-646 [hal-00150276 - version 1]