Skip to Main content Skip to Navigation


inria-00098437v1  Conference papers
Richard MayrMichaël Rusinowitch. Reachability is decidable for ground AC Rewrite systems
INFINITY '98, 3rd International Workshop on Verification of Infinite State Systems, 1998, Aalborg, Denmark, 12 p
inria-00098624v1  Conference papers
Narjes BerregebAdel BouhoulaMichaël Rusinowitch. Observational Proofs with Critical Contexts
Fundamental Approaches to Software Engineering - ETAPS'98, 1998, Lisboa, Portugal, pp.38-53
inria-00100610v1  Conference papers
Alessandro ArmandoMichaël RusinowitchSorin Stratulat. Incorporating Decision Procedures in Implicit Induction
9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning - CALCULEMUS'2001, 2001, Sienne, Italy, 16 p
inria-00100561v1  Conference papers
Julien MussetMichaël Rusinowitch. Improved Subsumption for CLP-based Verification
Workshop on (Constraint) Logic Programming and Software Engineering - CLPSE'2001, Gopal Gupta, 2001, Paphos, Cyprus, 9 p
inria-00098606v1  Conference papers
Hubert ComonPaliath NarendranRobert NieuwenhuisMichaël Rusinowitch. Decision problems in ordered rewriting
Proceedings 13th IEEE Symposium on Logic in Computer Science, 1998, none, 11 p
inria-00098875v1  Conference papers
Florent JacquemardMichaël RusinowitchLaurent Vigneron. Compiling and narrowing cryptographic protocols
Workshop on Verification and Modelling, Françoise Bellegarde and Olga Kouchnarenko, 1999, Besançon, France, 1 p
inria-00099161v1  Conference papers
Florent JacquemardMichaël RusinowitchLaurent Vigneron. Compiling and Verifying Security Protocols
International Conference on Logic Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, pp.131-160
inria-00099166v1  Conference papers
Paliath NarendranMichaël Rusinowitch. The theory of total unary RPO is decidable
First International Conference on Computational Logic - Cl'2000, 2000, Londres, UK, pp.660-672
inria-00100928v1  Conference papers
Alessandro ArmandoMichaël RusinowitchSorin Stratulat. Incorporating Decision Procedures in Implicit Induction
Eight International Conference on Computer Aided Systems Theory - Eurocast'2001, Feb 2001, Casa de Colon, Las Palmas de Gran Canaria, Spain, 16 p
inria-00100414v1  Conference papers
Michaël Rusinowitch. The practice of cryptographic protocols verification
CAV Workshop on Logical Aspects of Cryptographic Protocols Verification, 2001, Paris, France, 1 p
...
inria-00075875v1  Reports
Michaël RusinowitchJieh Hsiang. On word problems in equational theories
[Research Report] RR-0678, INRIA. 1987, pp.20
inria-00099508v1  Journal articles
Hubert Comon-LundhPaliath NarendranRobert NieuwenhuisMichaël Rusinowitch. Deciding the Confluence of Ordered Term Rewrite Systems
ACM Transactions on Computational Logic, Association for Computing Machinery, 2003, 4 (1), pp.33-55
...
inria-00074484v1  Reports
Adel BouhoulaE. KounalisMichaël Rusinowitch. Automated mathematical induction
[Research Report] RR-2187, INRIA. 1994, pp.42
inria-00098607v1  Conference papers
Rakesh VermaMichaël RusinowitchDenis Lugiez. Algorithms and Reductions for Rewriting Problems
Proceedings 9th Conference on Rewriting Techniques and Applications, 1998, Tsukuba, Japan, pp.166-180
inria-00099000v1  Conference papers
Adel BouhoulaAhmed JebaliMichaël Rusinowitch. Reasoning about Object Behaviours with Rewriting.
Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours (in conjunction with Principles, Logics, and Implementations of high-level programming languages PLI99) - OOSDS'99, 1999, Paris, France, 6 p
inria-00098426v1  Conference papers
Paliath NarendranMichaël RusinowitchRakesh Verma. RPO constraint solving is in NP
Computer Science Logic, 1998, Brno, Tchêquie, 12 p
inria-00098862v1  Directions of work or proceedings
Paliath NarendranMichaël Rusinowitch. Rewriting Techniques & Applications
P. Narendran & M. Rusinowitch. Springer-Verlag, 396 p, 1999, Lecture Notes in Computer Science
inria-00099001v1  Conference papers
Francis KlayMichaël RusinowitchSorin Stratulat. Analysing Feature Interactions with Automated Deduction Systems
7th International Conference on Telecommunication Systems Modeling & Analysis, Bezalel Gavish, 1999, Nashville, Tennessee, USA, 33 p
inria-00100413v1  Conference papers
Michaël Rusinowitch. Rewriting for Deduction and Verification
International Conference on Rewriting Techniques and Applications - RTA'2001, 2001, Utrecht, The Netherlands, pp.2
inria-00100446v1  Journal articles
Rakesh VermaMichaël RusinowitchDenis Lugiez. Algorithms and Reductions for Rewriting Problems
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2001, 46 (3), pp.257-276
inria-00099009v1  Conference papers
Gregory KucherovMichaël Rusinowitch. Patterns in words versus patterns in trees : a brief survey and new results
Andrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, pp.283-296
inria-00099017v1  Conference papers
Michaël RusinowitchSorin StratulatFrancis Klay. Mechanical Verification of a Generic Incremental ABR Conformance Algorithm
Workshop on Modelling & Verification, Dec 1999, Besancon, France, 43 p