Claude Kirchner
6
Documents
Identifiants chercheurs
- claudekirchner
- 0000-0002-1686-1046
- IdRef : 032478739
Présentation
Publications
- 6
- 2
- 2
- 2
- 1
Probabilistic rewrite strategies. Applications to ELAN13th International Conference on Rewriting Techniques and Applications - RTA'2002, Jul 2002, Copenhagen, Denmark, pp.252-266
Communication dans un congrès
inria-00100883v1
|
|
Verification of Timed Automata Using Rewrite Rules and StrategiesThe Seventh Biennal Bar-Ilan Symposium on the Foundations of Artificial Intelligence - BISFAI'01, Jun 2001, Bar-Ilan University, Ramat-Gan, Israel, 15 p
Communication dans un congrès
inria-00100535v1
|
|
Verification of Timed Automata Using Rewrite Rules and StrategiesERCIM Working Group on Constraints, Jun 2001, Prague, Czech Republic, 15 p
Communication dans un congrès
inria-00100534v1
|
Termination in finite mean time of a CSMA/CA rule-based model2006
Autre publication scientifique
inria-00000774v1
|
|
Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b[Research Report] AVERROES/Lot 4.2/Fourniture 4.2, 2006, pp.13
Rapport
inria-00104120v1
|
|
Stratégies de réécriture probabiliste dans ELAN4[Rapport de recherche] 2004, pp.17
Rapport
inria-00104091v1
|