dblp.uni-trier.dewww.uni-trier.de

Michaël Rusinowitch Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
109EEEnrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch: Combinable Extensions of Abelian Groups. CADE 2009: 51-66
108EESiva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch: Unification Modulo Homomorphic Encryption. FroCos 2009: 100-116
107EEEnrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch: Data Structures with Arithmetic Constraints: A Non-disjoint Combination. FroCos 2009: 319-334
106EEAbdessamad Imine, Asma Cherif, Michaël Rusinowitch: A Flexible Access Control Model for Distributed Collaborative Editors. Secure Data Management 2009: 89-106
105EEEnrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch: Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. TACAS 2009: 428-442
104EEFlorent Jacquemard, Michaël Rusinowitch: Rewrite based Verification of XML Updates CoRR abs/0907.5125: (2009)
103EEYannick Chevalier, Michaël Rusinowitch: Compiling and securing cryptographic protocols CoRR abs/0910.5099: (2009)
2008
102EEFlorent Jacquemard, Michaël Rusinowitch: Closure of Hedge-Automata Languages by Hedge Rewriting. RTA 2008: 157-171
101EETarek Abbes, Adel Bouhoula, Michaël Rusinowitch: An inference system for detecting firewall filtering rules anomalies. SAC 2008: 2122-2128
100EEYannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani: Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption. ACM Trans. Comput. Log. 9(4): (2008)
99EEYannick Chevalier, Michaël Rusinowitch: Hierarchical combination of intruder theories. Inf. Comput. 206(2-4): 352-377 (2008)
98EEFlorent Jacquemard, Michaël Rusinowitch, Laurent Vigneron: Tree automata with equality constraints modulo equational theories. J. Log. Algebr. Program. 75(2): 182-208 (2008)
2007
97EETarek Abbes, Adel Bouhoula, Michaël Rusinowitch: A Traffic Classification Algorithm for Intrusion Detection. AINA Workshops (1) 2007: 188-193
96EEYannick Chevalier, Denis Lugiez, Michaël Rusinowitch: Towards an Automatic Analysis of Web Service Security. FroCos 2007: 133-147
95EEYannick Chevalier, Denis Lugiez, Michaël Rusinowitch: Verifying Cryptographic Protocols with Subterms Constraints. LPAR 2007: 181-195
94EESiva Anantharaman, Paliath Narendran, Michaël Rusinowitch: Intruders with Caps. RTA 2007: 20-35
93EEAbdessamad Imine, Michaël Rusinowitch: Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms. Rewriting, Computation and Proof 2007: 213-234
92EEVéronique Cortier, Michaël Rusinowitch, Eugen Zalinescu: Relating two standard notions of secrecy CoRR abs/0706.0502: (2007)
91EEVéronique Cortier, Michaël Rusinowitch, Eugen Zalinescu: Relating two standard notions of secrecy. Logical Methods in Computer Science 3(3): (2007)
2006
90EEVéronique Cortier, Michaël Rusinowitch, Eugen Zalinescu: Relating Two Standard Notions of Secrecy. CSL 2006: 303-318
89EEFlorent Jacquemard, Michaël Rusinowitch, Laurent Vigneron: Tree Automata with Equality Constraints Modulo Equational Theories. IJCAR 2006: 557-571
88EEYannick Chevalier, Michaël Rusinowitch: Hierarchical Combination of Intruder Theories. RTA 2006: 108-122
87EEEugen Zalinescu, Véronique Cortier, Michaël Rusinowitch: Relating two standard notions of secrecy. Trustworthy Software 2006
86EEAlessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò: Automated Reasoning for Security Protocol Analysis. J. Autom. Reasoning 36(1-2): 1-3 (2006)
85EEAbdessamad Imine, Michaël Rusinowitch, Gérald Oster, Pascal Molli: Formal design and verification of operational transformation algorithms for copies convergence. Theor. Comput. Sci. 351(2): 167-183 (2006)
2005
84EEAlessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron: The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV 2005: 281-285
83EEAbdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch: Towards Synchronizing Linear Collaborative Objects with Operational Transformation. FORTE 2005: 411-427
82EEYannick Chevalier, Michaël Rusinowitch: Combining Intruder Theories. ICALP 2005: 639-651
81EEVéronique Cortier, Michaël Rusinowitch, Eugen Zalinescu: A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. PPDP 2005: 12-22
80EEYannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani: Deciding the Security of Protocols with Commuting Public Key Encryption. Electr. Notes Theor. Comput. Sci. 125(1): 55-66 (2005)
79EESiva Anantharaman, Paliath Narendran, Michaël Rusinowitch: Closure properties and decision problems of dag automata. Inf. Process. Lett. 94(5): 231-240 (2005)
78EEYannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani: An NP decision procedure for protocol insecurity with XOR. Theor. Comput. Sci. 338(1-3): 247-274 (2005)
2004
77 David A. Basin, Michaël Rusinowitch: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings Springer 2004
76EEAbdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch: Deductive Verification of Distributed Groupware Systems. AMAST 2004: 226-240
75 Michaël Rusinowitch: A Decidable Analysis of Security Protocols. IFIP TCS 2004: 21
74EETarek Abbes, Adel Bouhoula, Michaël Rusinowitch: Protocol Analysis in Intrusion Detection Using Decision Tree. ITCC (1) 2004: 404-408
73EESiva Anantharaman, Paliath Narendran, Michaël Rusinowitch: Unification Modulo ACUI Plus Distributivity Axioms. J. Autom. Reasoning 33(1): 1-28 (2004)
72 Michaël Rusinowitch: Éditorial. Technique et Science Informatiques 23(3): 289-290 (2004)
71EEGeorg Gottlob, Miki Hermann, Michaël Rusinowitch: 2nd International Workshop on Complexity in Automated Deduction (CiAD) - Foreword. Theory Comput. Syst. 37(6): 639-640 (2004)
2003
70EESiva Anantharaman, Paliath Narendran, Michaël Rusinowitch: Unification Modulo ACU I Plus Homomorphisms/Distributivity. CADE 2003: 442-457
69EEYannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron: Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. CSL 2003: 128-141
68EEAbdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch: Proving Correctness of Transformation Functions Functions in Real-Time Groupware. ECSCW 2003: 277-293
67EEJulien Musset, Michaël Rusinowitch: Computing Meta-transitions for Linear Transition Systems with Polynomials. FME 2003: 562-581
66EEYannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani: Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents. FSTTCS 2003: 124-135
65EEYannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani: An NP Decision Procedure for Protocol Insecurity with XOR. LICS 2003: 261-270
64EESiva Anantharaman, Paliath Narendran, Michaël Rusinowitch: ACID-Unification Is NEXPTIME-Decidable. MFCS 2003: 169-178
63EEHubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michaël Rusinowitch: Deciding the confluence of ordered term rewrite systems. ACM Trans. Comput. Log. 4(1): 33-55 (2003)
62EEMichaël Rusinowitch: Automated analysis of security protocols. Electr. Notes Theor. Comput. Sci. 86(3): (2003)
61EEAlessandro Armando, Silvio Ranise, Michaël Rusinowitch: A rewriting approach to satisfiability procedures. Inf. Comput. 183(2): 140-164 (2003)
60 Michaël Rusinowitch, Sorin Stratulat, Francis Klay: Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm. J. Autom. Reasoning 30(2): 53-177 (2003)
59EEMichaël Rusinowitch, Mathieu Turuani: Protocol insecurity with a finite number of sessions, composed keys is NP-complete. Theor. Comput. Sci. 1-3(299): 451-475 (2003)
2002
58EEAlessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron: The AVISS Security Protocol Analysis Tool. CAV 2002: 349-353
57EEPaliath Narendran, Michaël Rusinowitch: Guest Editorial. Inf. Comput. 178(2): 345 (2002)
56EEAlessandro Armando, Michaël Rusinowitch, Sorin Stratulat: Incorporating Decision Procedures in Implicit Induction. J. Symb. Comput. 34(4): 241-258 (2002)
55EEAdel Bouhoula, Michaël Rusinowitch: Observational proofs by rewriting. Theor. Comput. Sci. 275(1-2): 675-698 (2002)
2001
54EEMichaël Rusinowitch, Mathieu Turuani: Protocol Insecurity with Finite Number of Sessions is NP-Complete. CSFW 2001: 174-
53EEAlessandro Armando, Silvio Ranise, Michaël Rusinowitch: Uniform Derivation of Decision Procedures by Superposition. CSL 2001: 513-527
52EEMichaël Rusinowitch: Rewriting for Deduction and Verification. RTA 2001: 2
51EEMichaël Rusinowitch: The practice of cryptographic protocol verification. Electr. Notes Theor. Comput. Sci. 55(1): (2001)
50 Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez: Algorithms and Reductions for Rewriting Problems. Fundam. Inform. 46(3): 257-276 (2001)
2000
49 Michaël Rusinowitch, Sorin Stratulat, Francis Klay: Mechanical Verification of an Ideal Incremental ABR Conformance. CAV 2000: 344-357
48EEPaliath Narendran, Michaël Rusinowitch: The Theory of Total Unary RPO Is Decidable. Computational Logic 2000: 660-672
47EEFlorent Jacquemard, Michaël Rusinowitch, Laurent Vigneron: Compiling and Verifying Security Protocols. LPAR 2000: 131-160
1999
46 Paliath Narendran, Michaël Rusinowitch: Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings Springer 1999
45EEGregory Kucherov, Michaël Rusinowitch: Patterns in Words versus Patterns in Trees: A Brief Survey and New Results. Ershov Memorial Conference 1999: 283-296
1998
44EEPaliath Narendran, Michaël Rusinowitch, Rakesh M. Verma: RPO Constraint Solving Is in NP. CSL 1998: 385-398
43EENarjes Berregeb, Adel Bouhoula, Michaël Rusinowitch: Observational Proofs with Critical Contexts. FASE 1998: 38-53
42 Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michaël Rusinowitch: Decision Problems in Ordered Rewriting. LICS 1998: 276-286
41EERakesh M. Verma, Michaël Rusinowitch, Denis Lugiez: Algorithms and Reductions for Rewriting Problems. RTA 1998: 166-180
1997
40EEGregory Kucherov, Michaël Rusinowitch: Matching a Set of Strings with Variable Length don't Cares. Theor. Comput. Sci. 178(1-2): 129-154 (1997)
1996
39EENarjes Berregeb, Adel Bouhoula, Michaël Rusinowitch: Automated Verification by Induction with Associative-Commutative Operators. CAV 1996: 220-231
38EENarjes Berregeb, Adel Bouhoula, Michaël Rusinowitch: SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories. RTA 1996: 428-431
37EEEric Monfroy, Michaël Rusinowitch, René Schott: Implementing non-linear constraints with cooperative solvers. SAC 1996: 63-72
36 Paliath Narendran, Michaël Rusinowitch: Any Ground Associative-Commutative Theory Has a Finite Canonical System. J. Autom. Reasoning 17(1): 131-143 (1996)
1995
35 Adel Bouhoula, Michaël Rusinowitch: SPIKE: A System for Automatic Inductive Proofs. AMAST 1995: 576-577
34 Gregory Kucherov, Michaël Rusinowitch: Matching a Set of Strings with Variable Length Don't Cares. CPM 1995: 230-247
33 Emmanuel Kounalis, Michaël Rusinowitch: Reasoning with Conditional Axioms. Ann. Math. Artif. Intell. 15(2): 125-149 (1995)
32 Michaël Rusinowitch, Laurent Vigneron: Automated Deduction Associative-Commutative Operators. Appl. Algebra Eng. Commun. Comput. 6: 23-56 (1995)
31EEGregory Kucherov, Michaël Rusinowitch: Undecidability of Ground Reducibility for Word Rewriting Systems with Variables. Inf. Process. Lett. 53(4): 209-215 (1995)
30 Adel Bouhoula, Michaël Rusinowitch: Implicit Induction in Conditional Theories. J. Autom. Reasoning 14(2): 189-235 (1995)
29 Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch: Automated Mathematical Induction. J. Log. Comput. 5(5): 631-668 (1995)
1994
28 Gregory Kucherov, Michaël Rusinowitch: The Complexitiy of Testing Ground Reducibility for Linear Word Rewriting Systems with Variables. CTRS 1994: 262-275
27EEGregory Kucherov, Michaël Rusinowitch: On ground reducibility problem for word rewriting systems with variables. SAC 1994: 271-276
1993
26 Michaël Rusinowitch, Jean-Luc Remy: Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings Springer 1993
25 Adel Bouhoula, Michaël Rusinowitch: Automatic Case Analysis in Proof by Induction. IJCAI 1993: 88-94
24 Paliath Narendran, Michaël Rusinowitch: The Unifiability Problem in Ground AC Theories LICS 1993: 364-370
1992
23EEAdel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch: SPIKE, an Automatic Theorem Prover. LPAR 1992: 460-462
22 Jieh Hsiang, Hélène Kirchner, Pierre Lescanne, Michaël Rusinowitch: The Term Rewriting Approach to Automated Theorem Proving. J. Log. Program. 14(1&2): 71-99 (1992)
1991
21 Emmanuel Kounalis, Michaël Rusinowitch: Studies on the Ground Convergence Property of Conditional Theories. AMAST 1991: 363-376
20 Michaël Rusinowitch, Laurent Vigneron: Automated deduction with associative commutative operators. FAIR 1991: 185-199
19 Emmanuel Kounalis, Michaël Rusinowitch: Automatic Proof Methods for Algebraic Specifications. FCT 1991: 307-317
18EEPaliath Narendran, Michaël Rusinowitch: Any Gound Associative-Commutative Theory Has a Finite Canonical System. RTA 1991: 423-434
17EEJieh Hsiang, Michaël Rusinowitch: Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method. J. ACM 38(3): 559-587 (1991)
16 Emmanuel Kounalis, Michaël Rusinowitch: On Word Problems in Horn Theories. J. Symb. Comput. 11(1/2): 113-127 (1991)
15 Michaël Rusinowitch: Theorem-Proving with Resolution and Superposition. J. Symb. Comput. 11(1/2): 21-49 (1991)
1990
14 Emmanuel Kounalis, Michaël Rusinowitch: Mechanizing Inductive Reasoning. AAAI 1990: 240-245
13 Emmanuel Kounalis, Michaël Rusinowitch: A Proof System for Conditional Algebraic Specifications. CTRS 1990: 51-63
12 Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch: Deductive/Abductvie Diagnosis: The DA-Principles. ECAI 1990: 47-52
11EEBéchir el Ayeb, Pierre Marquis, Michaël Rusinowitch: A New Diagnosis Approach by Deduction and Abduction. Expert Systems in Engineering 1990: 32-46
10 Emmanuel Kounalis, Michaël Rusinowitch: Mechanizing inductive reasoning. Bulletin of the EATCS 41: 216-226 (1990)
1988
9EEEmmanuel Kounalis, Michaël Rusinowitch: On Word Problems in Horn Theories. CADE 1988: 527-537
8 Michaël Rusinowitch: Theorem-Proving with Resolution and Superposition: An Extension of the Knuth and Bendic Procedure to a Complete Set of Inference Rules. FGCS 1988: 524-531
1987
7 Emmanuel Kounalis, Michaël Rusinowitch: On Word Problems in Horn Theories. CTRS 1987: 144-160
6EEJieh Hsiang, Michaël Rusinowitch: On Word Problems in Equational Theories. ICALP 1987: 54-71
5 Jieh Hsiang, Michaël Rusinowitch, Kô Sakai: Complete Inference Rules for the Cancellation Laws. IJCAI 1987: 990-992
4 Michaël Rusinowitch: On Termination of the Direct Sum of Term-Rewriting Systems. Inf. Process. Lett. 26(2): 65-70 (1987)
3 Michaël Rusinowitch: Path of Subterms Ordering and Recursive Decomposition Ordering Revisited. J. Symb. Comput. 3(1/2): 117-131 (1987)
1986
2EEJieh Hsiang, Michaël Rusinowitch: A New Method for Establishing Refutational Completeness in Theorem Proving. CADE 1986: 141-152
1985
1EEMichaël Rusinowitch: Path of Subterms Ordering and Recursive Decomposition Ordering Revisited. RTA 1985: 225-240

Coauthor Index

1Tarek Abbes [74] [97] [101]
2Siva Anantharaman [64] [70] [73] [79] [94] [108]
3Alessandro Armando [53] [56] [58] [61] [84] [86]
4Béchir el Ayeb [11] [12]
5David A. Basin [58] [77] [84] [86]
6Narjes Berregeb [38] [39] [43]
7Yohan Boichut [84]
8Mehdi Bouallagui [58]
9Adel Bouhoula [23] [25] [29] [30] [35] [38] [39] [43] [55] [74] [97] [101]
10Asma Cherif [106]
11Yannick Chevalier [58] [65] [66] [69] [78] [80] [82] [84] [88] [95] [96] [99] [100] [103]
12Hubert Comon-Lundh (Hubert Comon) [42] [63]
13Luca Compagna [58] [84]
14Véronique Cortier [81] [87] [90] [91] [92]
15Jorge Cuéllar [84] [86]
16Paul Hankes Drielsma [84]
17Georg Gottlob [71]
18Pierre-Cyrille Héam [84]
19Miki Hermann [71]
20Jieh Hsiang [2] [5] [6] [17] [22]
21Abdessamad Imine [68] [76] [83] [85] [93] [106]
22Florent Jacquemard [47] [89] [98] [102] [104]
23Hélène Kirchner [22]
24Francis Klay [49] [60]
25Olga Kouchnarenko [84]
26Emmanuel Kounalis [7] [9] [10] [13] [14] [16] [19] [21] [23] [29] [33]
27Gregory Kucherov [27] [28] [31] [34] [40] [45]
28Ralf Küsters [65] [66] [69] [78] [80] [100]
29Pierre Lescanne [22]
30Hai Lin [108]
31Denis Lugiez [41] [50] [95] [96]
32Christopher Lynch [108]
33Jacopo Mantovani [84]
34Pierre Marquis [11] [12]
35Sebastian Mödersheim [58] [84]
36Pascal Molli [68] [76] [83] [85]
37Eric Monfroy [37]
38Julien Musset [67]
39Paliath Narendran [18] [24] [36] [42] [44] [46] [48] [57] [63] [64] [70] [73] [79] [94] [108]
40Enrica Nicolini [105] [107] [109]
41Robert Nieuwenhuis [42] [63]
42David von Oheimb [84]
43Gérald Oster [68] [76] [83] [85]
44Silvio Ranise [53] [61]
45Jean-Luc Remy [26]
46Christophe Ringeissen [105] [107] [109]
47Kô Sakai [5]
48Judson Santiago [84]
49René Schott [37]
50Sorin Stratulat [49] [56] [60]
51Mathieu Turuani [54] [58] [59] [65] [66] [69] [78] [80] [84] [100]
52Rakesh M. Verma [41] [44] [50]
53Luca Viganò [58] [84] [86]
54Laurent Vigneron [20] [32] [47] [58] [69] [84] [89] [98]
55Eugen Zalinescu [81] [87] [90] [91] [92]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)