494 articles – 416 references  [version française]
.:. Browse > List by date > 2007 .:.
102 documents ordered by :
First Previous 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
fulltext access A Note On Computing Set Overlap Classes
Charbit P., Habib M., Limouzy V., De Montgolfier F., Raffinot M., Rao M.
[hal-00192579 - version 1] (28/11/2007)
fulltext access On implementing Omega in systems with weak reliability and synchrony a ssumptions
Aguilera M. Kawazoe, Delporte-Gallet C., Fauconnier H., Toueg S.
[hal-00259018 - version 1] (26/02/2008)
Non-Clairvoyant Batch Set Scheduling: Fairness is Fair enough
Schabanel N.
In European Symposium on Algorithms (ESA) - European Symposium on Algorithms (ESA), Israel (2007) [hal-00477104 - version 1]
fulltext access A Representation Theorem for union-difference Families and Application
Bui-Xuan B.-M., Habib M.
Research report (2007) [lirmm-00175766 - version 2]
fulltext access Secretive Birds: Privacy in Population Protocols
Delporte-Gallet C., Fauconnier H., Guerraoui R., Ruppert E.
[hal-00175536 - version 1] (28/09/2007)
fulltext access A Logic of Reachable Patterns in Linked Data-Structures
Yorsh G., Rabinovich A., Sagiv M., Meyer A., Bouajjani A.
Journal of Logic and Algebraic Programming 73, 1-2 (2007) pages 111-142 [hal-00681203 - version 1]
Planning Robust Temporal Plans A Comparison Between CBTP and TGA Approaches
Abdeddaim Y., Asarin E., Gallien M., Ingrand F., Lesire C., Sighireanu M.
In Proceedings of the International Conference on Automated Planning and Scheduling - International Conference on Automated Planning and Scheduling, United States (2007) [hal-00157935 - version 1]
fulltext access Robust Stabilizing Leader Election
Delporte-Gallet C., Devismes S., Fauconnier H.
[hal-00167935 - version 1] (23/08/2007)
fulltext access Complexity of pebble tree-walking automata
Samuelides M., Segoufin L.
In proeedings of 16th International Symposium on Fundamentals of Computation Theory - 16th International Symposium on Fundamentals of Computation Theory, Hungary (2007) [hal-00158716 - version 1]
New extensions to some firing squad synchronization solutions
Yunès J.-B.
AUTOMATA 2007, Canada (2007) [hal-00172194 - version 1]