Claude Kirchner
137
Documents
Identifiants chercheurs
claudekirchner-
0000-0002-1686-1046
- IdRef : 032478739
Présentation
Publications
- 35
- 28
- 10
- 9
- 9
- 8
- 7
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
Pour un numérique fraternelRevue Quart Monde, 2021
Article dans une revue
hal-03348601v1
|
|
|
Défis de la recherche scientifique en cyber-sécuritéAnnales des Mines - Enjeux Numériques, 2019, pp.1-15
Article dans une revue
hal-02381411v1
|
|
|
Réflexion éthique : une urgence. Entretien avec Claude Kirchner, propos recueillis par Dominique ChouchanLes Cahiers de l'INRIA - La Recherche, 2010, Cancer la révolution, 440 avril 2010
Article dans une revue
inria-00511390v1
|
|
|
Regaining Cut Admissibility in Deduction Modulo using Abstract CompletionInformation and Computation, 2010, 208 (2), pp.140-164. ⟨10.1016/j.ic.2009.10.005⟩
Article dans une revue
inria-00132964v2
|
Anti-patterns for Rule-based LanguagesJournal of Symbolic Computation, 2010, 54 (5), pp.523-550. ⟨10.1016/j.jsc.2010.01.007⟩
Article dans une revue
inria-00429226v1
|
|
|
|
On the confluence of lambda-calculus with conditional rewritingTheoretical Computer Science, 2010, 411 (37), pp.3301-3327. ⟨10.1016/j.tcs.2009.07.058⟩
Article dans une revue
inria-00509054v1
|
|
|
Inductive Proof Search ModuloAnnals of Mathematics and Artificial Intelligence, 2009, Special Issue on First-Order Theorem Proving / Guest Edited by Silvio Ranise and Ullrich Hustadt, 55 (1), pp.123-154. ⟨10.1007/s10472-009-9154-5⟩
Article dans une revue
inria-00337380v1
|
Analysis of Rewrite-Based Access Control PoliciesElectronic Notes in Theoretical Computer Science, 2009, Proceedings of the Third International Workshop on Security and Rewriting Techniques (SecReT 2008), Pittsburgh, PA, USA, 22 June 2008, 234, pp.55-75. ⟨10.1016/j.entcs.2009.02.072⟩
Article dans une revue
inria-00433409v1
|
|
|
|
Sécurité informatique : peut-on se fier au numérique ? par Hélène Kirchner et Claude Kirchner. Le sens des mots, entretien avec Isabelle de Lamberterie, propos recueillis par Dominique Chouchan.Les Cahiers de l'INRIA - La Recherche, 2008, Les nouveaux défis de la cryptologie, 420 juin 2008
Article dans une revue
inria-00546796v1
|
|
|
A Rho-Calculus of explicit constraint applicationHigher-Order and Symbolic Computation, 2007, Special Issue on Rewriting Logic and its Applications, 20, pp.37-72. ⟨10.1007/s10990-007-9004-2⟩
Article dans une revue
inria-00000628v3
|
A rewriting calculus for cyclic higher-order term graphsMathematical Structures in Computer Science, 2007, 17 (3), pp.363-406. ⟨10.1017/S0960129507006093⟩
Article dans une revue
inria-00110872v1
|
|
Expressing Combinatory Reduction Systems Derivations in the Rewriting CalculusHigher-Order and Symbolic Computation, 2006
Article dans une revue
inria-00110869v1
|
|
Abstract canonical presentationsTheoretical Computer Science, 2006, Theoretical Computer Science, 357 (1-3), pp.53--69. ⟨10.1016/j.tcs.2006.03.012⟩
Article dans une revue
inria-00121760v1
|
|
L'Action Concertée Incitative Sécurité et InformatiqueRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, 23 (3), pp.421-426. ⟨10.3166/tsi.23.421-426⟩
Article dans une revue
inria-00100103v1
|
|
Theorem Proving ModuloJournal of Automated Reasoning, 2003, 31 (1), pp.33-72
Article dans une revue
inria-00099711v1
|
|
ELAN from a rewriting logic point of viewTheoretical Computer Science, 2002, 285 (2), pp.155-185. ⟨10.1016/S0304-3975(01)00358-9⟩
Article dans une revue
inria-00100974v1
|
|
External rewriting for skeptical proof assistantsJournal of Automated Reasoning, 2002, 29 (3-4), pp.309-336
Article dans une revue
inria-00101009v1
|
|
The Rewriting Calculus - Part IILogic Journal of the IGPL, 2001, 9 (3), pp.465-498. ⟨10.1093/jigpal/9.3.377⟩
Article dans une revue
inria-00100532v1
|
|
|
|
Rewriting with strategies in ELAN: a functional semanticsInternational Journal of Foundations of Computer Science, 2001, pp.27. ⟨10.1142/S0129054101000412⟩
Article dans une revue
inria-00098778v1
|
Rewriting and Multisets in Rho-calculus and ELANRomanian Journal of Information Science and Technology, 2001, 4 (1-2), pp.33--48
Article dans une revue
inria-00100656v1
|
|
The Rewriting Calculus - Part ILogic Journal of the IGPL, 2001, 9 (3), pp.339-375. ⟨10.1093/jigpal/9.3.339⟩
Article dans une revue
inria-00100531v1
|
|
A Methodological View of Constraint SolvingConstraints, 1999, 4 (4), pp.337-361
Article dans une revue
inria-00098856v1
|
|
Generating feasible schedules for a pick-up and delivery problemElectronic Notes in Discrete Mathematics, 1999, 1
Article dans une revue
inria-00098910v1
|
|
Dynamically-Typed Computations for Order-Sorted Equational PresentationsJournal of Symbolic Computation, 1998, 25 (4), pp.455-526
Article dans une revue
inria-00098625v1
|
|
Rule-Based Constraint ProgrammingFundamenta Informaticae, 1998, 34 (3), pp.225--262
Article dans une revue
inria-00098476v1
|
Pourquoi l’éthique du numérique ?Séminaire du LIRIMA, Nov 2020, [En distanciel], France
Communication dans un congrès
hal-03586285v1
|
|
Prévention des attaques informatiques et protectionConstruire la paix et la sécurité internationales de la société numérique, Secrétariat général de la défense et de la sécurité nationale (SGDSN); Agence Nationale de Sécurité des Systèmes de l’Information (ANSSI); Ministère des affaires étrangères, Apr 2017, Paris, France
Communication dans un congrès
hal-02055458v1
|
|
|
|
Lightning Talk:"I solemnly pledge" A Manifesto for Personal Responsibility in the Engineering of Academic SoftwareFourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4), 2016, Manchester, United Kingdom
Communication dans un congrès
hal-01367344v1
|
|
|
EPISCIENCES - an overlay publication platformELPUB2014 - International Conference on Electronic Publishing, Alexander Technological Education Institute of Thessaloniki, Jun 2014, Thessalonique, Greece. pp.78-87, ⟨10.3233/978-1-61499-409-1-78⟩
Communication dans un congrès
hal-01002815v2
|
|
|
A Type System for TomProceedings Tenth International Workshop on Rule-Based Programming - RULE 2009, Jun 2009, Brasilia, Brazil. ⟨10.4204/EPTCS.21.5⟩
Communication dans un congrès
inria-00426439v2
|
Constraint Based Strategies18th International Workshop on Functional and Constraint Logic Programming - WFLP 2009, Jun 2009, Brasilia, Brazil. pp.13-26
Communication dans un congrès
inria-00494531v1
|
|
Analysis of Rewrite-Based Access Control Policies3rd International Workshop on Security and Rewriting Techniques, Jun 2008, Pittsburgh, United States
Communication dans un congrès
inria-00335088v1
|
|
|
|
Anti-Pattern Matching ModuloSecond International Conference on Language and Automata Theory and Applications - LATA 2008, Mar 2008, Tarragone, Italy. pp.275-286, ⟨10.1007/978-3-540-88282-4_26⟩
Communication dans un congrès
inria-00337722v1
|
Weaving Rewrite-Based Access Control PoliciesThe 5th ACM Workshop on Formal Methods in Security Engineering - FMSE 2007, ACM, Nov 2007, Alexandria, United States
Communication dans un congrès
inria-00185710v1
|
|
|
|
Cut Elimination in Deduction Modulo by Abstract CompletionSymposium on Logical Foundations of Computer Science LFCS'07, Sergei Artemov, Jun 2007, New York, United States. pp.115-131, ⟨10.1007/978-3-540-72734-7_9⟩
Communication dans un congrès
inria-00115556v3
|
|
|
Principles of SuperdeductionTwenty-Second Annual IEEE Symposium on Logic in Computer Science - LiCS 2007, Jul 2007, Wroclaw, Poland. ⟨10.1109/LICS.2007.37⟩
Communication dans un congrès
inria-00133557v3
|
Towards a sharing strategy for the graph rewriting calculus7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007, Jun 2007, Paris, France
Communication dans un congrès
inria-00186141v1
|
|
|
|
Anti-Pattern Matching16th European Symposium on Programming - ESOP'07, Mar 2007, Braga, Portugal. pp.110-124, ⟨10.1007/978-3-540-71316-6_9⟩
Communication dans un congrès
inria-00129419v1
|
|
|
Inductive Proof Search Modulo6th International Workshop on First-Order Theorem Proving - FTP 2007, Sep 2007, Liverpool, United Kingdom. pp.4-19
Communication dans un congrès
inria-00187458v1
|
|
|
Superdeduction at workColloquium in honor of Jean-Pierre Jouannaud, Jun 2007, Cachan, France. pp.132-166, ⟨10.1007/978-3-540-73147-4⟩
Communication dans un congrès
inria-00141672v2
|
Modular Access Control via Strategic Rewriting12th European Symposium On Research In Computer Security - ESORICS 2007, Sep 2007, Dresden, Germany. pp.578-593, ⟨10.1007/978-3-540-74835-9_38⟩
Communication dans un congrès
inria-00185697v1
|
|
|
|
Anti-Pattern Matching Modulo21th International Workshop on Unification - UNIF'07, 2007, Paris, France
Communication dans un congrès
inria-00176055v1
|
The Rewriting Calculus as a Combinatory Reduction SystemTenth International Conference on Foundations of Software Science and Computations Structures - FoSSaCS 2007, Mar 2007, Braga, Portugal. pp.78-92, ⟨10.1007/978-3-540-71389-0_7⟩
Communication dans un congrès
inria-00121792v1
|
|
|
|
Modular Formal Islands: Embed theory in your practiceThird Taiwanese-French Conference on Information Technology - TFIT 2006, INRIA/LORIA, Mar 2006, Nancy/France
Communication dans un congrès
inria-00001186v1
|
|
|
Completion is an Instance of Abstract Canonical System InferenceAlgebra, Meaning, and Computation: A Festschrift Symposium in Honor of Joseph Goguen, Jun 2006, San Diego/USA, pp.497-520, ⟨10.1007/11780274_26⟩
Communication dans un congrès
inria-00000775v2
|
|
|
Decidable Type Inference for the Polymorphic Rewriting Calculus17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. pp.57-69
Communication dans un congrès
inria-00000817v1
|
|
|
Formal Islands11th International Conference on Algebraic Methodology and Software Technology - AMAST '06, Jul 2006, Kuressaare, Estonia. pp.51-65
Communication dans un congrès
inria-00001146v1
|
|
|
On the confluence of lambda-calculus with conditional rewritingFoundations of Software Science and Computation Structures, Mar 2006, Vienne, Austria. ⟨10.1007/11690634_26⟩
Communication dans un congrès
inria-00000729v2
|
|
|
Formal Validation of Pattern Matching CodeProceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming - PPDP'2005, Jul 2005, Lisbon/Portugal, pp.187--197
Communication dans un congrès
inria-00000701v1
|
|
|
Anchoring modularity in HTML.1st International Workshop on Automated Specification and Verification of Web Sites - WWV'05, Mar 2005, Valencia/Spain, pp.139-151
Communication dans un congrès
inria-00000750v1
|
|
|
Strategic Rewriting4th International Workshop on Reduction Strategies in Rewriting and Programming - WRS'2004, 2004, Aachen, Germany
Communication dans un congrès
inria-00107802v1
|
|
|
Rule-based programming and proving: the ELAN experience outcomesNinth Asian Computing Science Conference - ASIAN'04, 2004, Chiang Mai, Thailand, 17 p
Communication dans un congrès
inria-00107801v1
|
|
|
A rho-calculus of explicit constraint application.Workshop on Rewriting Logic and Applications, Mar 2004, Barcelona (Spain), Spain
Communication dans un congrès
inria-00095626v1
|
A rewriting calculus for cyclic higher-order term graphs2nd International Workshop on Term Graph Rewriting - TERMGRAPH'2004, Oct 2004, Rome, Italy, 20 p
Communication dans un congrès
inria-00100095v1
|
|
|
|
Translating Combinatory Reduction Systems into the Rewriting Calculus4th International Workshop on Rule-Based Programming - RULE 2003, 2003, Valencia, Spain
Communication dans un congrès
inria-00107640v1
|
|
|
Proof Search and Proof Check for Equational and Inductive TheoremsConference on Automated Deduction - CADE-19, Jul 2003, Miami (FL), United States. 20 p, ⟨10.1007/978-3-540-45085-6_26⟩
Communication dans un congrès
inria-00099470v1
|
|
|
The QSL platform at LORIAFirst QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p
Communication dans un congrès
inria-00099497v1
|
|
|
Rewrite Strategies in the Rewriting CalculusWRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings, Jun 2003, Valencia, Spain. pp.593-624, ⟨10.1016/S1571-0661(05)82613-1⟩
Communication dans un congrès
inria-00099586v1
|
|
|
Pure Patterns Type SystemsProceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003, Jan 2003, New Orleans, United States. pp.250 - 261, ⟨10.1145/604131.604152⟩
Communication dans un congrès
inria-00099463v2
|
|
|
Abstract Saturation-based InferenceEighteenth Annual IEEE Symposium on Logic in Computer Science - LICS'2003), Jun 2003, Ottawa, Canada, 10 p
Communication dans un congrès
inria-00099466v1
|
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
|
|
Deduction versus Computation: the Case of InductionSixth International Conference on Artificial Intelligence and Symbolic Computation - AISC'2002, Jul 2002, Marseille, France, pp.4-6
Communication dans un congrès
inria-00101024v1
|
|
|
|
Rewriting Calculus with(out) TypesWRLA 2002, 4th International Workshop on Rewriting Logic and Its Applications, Pisa, Italy 19–21 September 2002, Sep 2002, Pisa, Italy. pp.3-19, ⟨10.1016/S1571-0661(05)82526-5⟩
Communication dans un congrès
inria-00100858v1
|
Proceedings of the 4th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02)Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 2002, Pittsburgh, USA
Communication dans un congrès
inria-00101023v1
|
|
|
|
Abstract Canonical Inference Systems16th International Workshop on Unification - UNIF'2002, Jul 2002, Copenhagen, Denmark, 20 p
Communication dans un congrès
inria-00107627v1
|
|
|
Exceptions in the rewriting calculus13th International Conference on Rewriting Techniques and Applications - RTA 2002, Jul 2002, Copenhagen/Denmark, pp.66--82
Communication dans un congrès
inria-00101011v2
|
|
|
Binding Logic: proofs and models9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR'2002, Oct 2002, Tbilisi, Georgia. pp.130-144
Communication dans un congrès
inria-00101012v1
|
|
|
The rho cube : some results, some problemsFirst International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, D. Kesner, T. Nipkow and F. van Raamsdonk, Jul 2002, Copenhague, Denmark
Communication dans un congrès
inria-00099411v1
|
|
|
Matching Power12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings, May 2001, Utrecht, Netherlands. pp.77-92, ⟨10.1007/3-540-45127-7_8⟩
Communication dans un congrès
inria-00107876v2
|
|
|
The Rho Cube4th International Conference on Foundations of Software Science and Computation Structures - FOSSACS 2001, Apr 2001, Genova, Italy. 15 p, ⟨10.1007/3-540-45315-6_11⟩
Communication dans un congrès
inria-00107877v1
|
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
|
|
ELAN : Modélisation et preuve en calcul de réécritureApproches Formelles dans l'Assistance au Développement de Logiciels, 2001, Nancy, France, 2 p
Communication dans un congrès
inria-00100560v1
|
|
Inversion StrategiesThird Workshop on Rule-Based Constraint Reasoning and Programming - RCoRP'01, Dec 2001, Paphos, Cyprus, 15 p
Communication dans un congrès
inria-00100570v1
|
|
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
|
|
|
|
Rewriting and Multisets in the Rewriting Calculus and ELANWorkshop on Multiset Processing, Aug 2000, Curtea de Arges, Romania, 17 p
Communication dans un congrès
inria-00099053v1
|
|
|
The simply typed rewriting calculus3rd International Workshop on Rewriting Logic & its Applications - WRLA2000, Sep 2000, none, 19 p
Communication dans un congrès
inria-00099052v1
|
|
|
ELAN ou la programmation par réécritureFAC 2000, May 2000, Toulouse, France, 96 p
Communication dans un congrès
inria-00107865v1
|
HOL-$\lambda \sigma$ an intentional first-order expression of higher-order logicTenth International Conference on Rewriting Techniques & Applications - RTA'99, Jul 1999, Trento, Italy, 14 p
Communication dans un congrès
inria-00098847v1
|
|
The rewriting calculus as a semantics to strategy application. Application to ELAN.Third International CADE workshop on strategies in automated deduction, Jul 1999, Trento, Italy
Communication dans un congrès
inria-00098922v1
|
|
Deduction and theorem proving moduloSchool of logic & computation, May 1999, Edinburgh, United Kingdom
Communication dans un congrès
inria-00098921v1
|
|
An Overview of ELANSecond Workshop on Rewriting Logic and its Applications - WRLA'98, 1998, Pont-à-Mousson, France, 16 p
Communication dans un congrès
inria-00098518v1
|
|
Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELANFroCoS'98, 1998, Amsterdam, The Netherlands, 25 p
Communication dans un congrès
inria-00098808v1
|
|
A functional view of rewriting and strategies for a semantics of ELANThe Third Fuji International Symposium on Functional and Logic Programming, 1998, Kyoto (Japan), pp.143-167
Communication dans un congrès
inria-00098628v1
|
|
Rewriting as a Unified Specification Tool for Logic and Control: The ELAN LanguageSecond International Workshop on the Theory and Practice of Algebraic Specifications, 1998, Amsterdam, N.L., 10 p
Communication dans un congrès
inria-00098626v1
|
|
|
|
Using Rewriting and Strategies for Describing the B Predicate ProverProceedings of the Workshop on Strategies in Automated Deduction - CADE-15, F. Pfenning, B. Gramlich, 1998, Lindau, Germany, pp.23-34
Communication dans un congrès
inria-00098715v1
|
Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, Bordeaux, France, July 6-10, 2010, Part I & II. Volume 6198 & 6199 of Lecture Notes in Computer Science (ARCoSS)Springer, pp.900, 2010
Ouvrages
hal-01009675v1
|
|
La sécurité de l'individu numériséStéphanie Lacour. L'Harmattan, 300 p., 2009, 978-2-296-07612-9
Ouvrages
halshs-00345394v1
|
|
Formal to practical SecuritySpringer, 5458, pp.200, 2009, Lecture Notes in Computer Science, 978-3-642-02001-8
Ouvrages
inria-00426617v1
|
|
Automated Deduction - CADE-15Kirchner, Claude and Kirchner, Hélène. Springer Verlag, 1998, Lecture Notes in Artificial Intelligence
Ouvrages
inria-00098417v1
|
|
|
Equational logic and rewritingDov M. Gabbay; Jörg H. Siekmann; John Woods. Handbook of the History of Logic, 9 (Chap.8), Elsevier, 2014, History of Logic and Computation in the 20th Century, 978-0444516244
Chapitre d'ouvrage
hal-01183817v1
|
|
|
Strategic Computation and DeductionChristoph Benzmüller and Chad E. Brown and Jörg Siekmann and Richard Statman. Reasoning in Simple Type Theory. Festchrift in Honour of Peter B. Andrews on His 70th Birthday, 17, College Publications, pp.339-364, 2008, Studies in Logic and the Foundations of Mathematics, 978-1-904987-70-3
Chapitre d'ouvrage
inria-00433745v1
|
Sécurité Informatique: IntroductionAkoka, Jacky and Comyn-Wattiau, Isabelle. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2006, 978-27117-4846-4
Chapitre d'ouvrage
inria-00121763v1
|
|
|
Narrowing Based Inductive Proof Search2011
Autre publication scientifique
hal-00692193v1
|
Termination in finite mean time of a CSMA/CA rule-based model2006
Autre publication scientifique
inria-00000774v1
|
|
|
|
Types for REWERSE reasoning and query languages I3-D42005, 71p
Autre publication scientifique
hal-01149625v1
|
|
|
Operational fairness when coding facial authentication2022
Pré-publication, Document de travail
hal-04447868v1
|