.:. Browse > List by date > 2005 .:.

80 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Vérification et Spécification des Systèmes Distribués Lerman B. Université Paris-Diderot - Paris VII (2005-11-28), Paul Gastin (Dir.) [tel-00322322 - version 1]

Revisiting Failure Detection and consensus in Omission Failure Environments Delporte-Gallet C., Fauconnier H., Freiling F. In Proceeding of the Second International Colloquium, - ICTAC, Viet Nam (2005) [hal-00154868 - version 1]

Linearly Bounded Infinite Graphs Carayol A., Meyer A. In Mathematical Foundations of Computer Science 2005 - MFCS 2005, Poland (2005) [hal-00149334 - version 1]

(Almost) All Objects Are Universal in Message Passing Systems Delporte-Gallet C., Fauconnier H., Guerraoui R. In Proceeding of the 19th International Conference of Distributed Computing - DISC, Poland (2005) [hal-00154869 - version 1]

Some decision problems on integer matrices Choffrut C., Karhumaki J. RAIRO - Theoretical Informatics and Applications 39 (2005) 125-131 [hal-00158281 - version 1]

Streett Games on Finite Graphs Horn F. Games in Design and Verification, United Kingdom (2005) [hal-00153601 - version 1]

Fast fault-tolerant agreement algorithms Delporte-Gallet C., Fauconnier H., Horn S. Lorraine, Toueg S. In Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing - PODC, United States (2005) [hal-00154867 - version 1]

Collage of two-dimensional words Choffrut C., Durak B. Theoretical Computer Science 340, 1 (2005) 364-380 [hal-00158273 - version 1]

What Dependability for Networks of Mobile Sensors Delporte-Gallet C., Fauconnier H., Guerraoui R. In Supplemental Volume of International Conference on Dependable Systems and Networks(DSN) - HotTopics in System Dependability, Workshop, Japan (2005) [hal-00155292 - version 1]

The perfectly synchronized round-based model of distributed computing Delporte-Gallet C., Fauconnier H., Guerraoui R., Pochon B. Information and Computation, Volume 205, Issue 5, (2005) 783-815 [hal-00154878 - version 1]