Michael Rusinowitch

Cited by

	All	Since 2019
Citations	7771	1442
h-index	41	15
i10-index	112	27

400

200

100

300

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202428 65 79 86 84 142 124 121 94 143 105 81 113 139 189 226 346 316 340 324 363 287 383 343 256 306 248 269 275 272 247 254 249 296 212 184

Public access

View all

3 articles

1 article

available

not available

Based on funding mandates

Co-authors

Yannick ChevalierMaître de Conférences en informatique, IRIT, Université Toulouse 3Verified email at irit.fr
Alessandro ArmandoUniversity of GenovaVerified email at unige.it
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerified email at kcl.ac.uk
Jieh HsiangNational Taiwan UniversityVerified email at ntu.edu.tw
Pascal MolliUniversity of NantesVerified email at univ-nantes.fr
Gérald OsterAssistant Professor, Université de Lorraine, TELECOM Nancy, InriaVerified email at loria.fr
Sebastian Alexander MödersheimAssociate Professor of Computer Science, Denmark's Technical UniversityVerified email at imm.dtu.dk
Gregory KucherovDirecteur de recherche CNRS, LIGM, Univ Gaspard Monge, FranceVerified email at univ-mlv.fr
Olga KouchnarenkoFEMTO-ST and UFC/UBFCVerified email at univ-fcomte.fr
Silvio RaniseFBKVerified email at fbk.eu
Véronique CortierCNRS, LORIAVerified email at loria.fr
Rakesh Verma, Rakesh M. Verma, RM...Professor of Computer Science, University of HoustonVerified email at uh.edu
Eugen ZalinescuNomadic LabsVerified email at nomadic-labs.com
Robert NieuwenhuisProfessor of Computer Science, Tech. Univ. Catalonia (UPC), BarcelonaVerified email at cs.upc.edu
Marius MineaAssociate Professor, Politehnica University of TimisoaraVerified email at cs.upt.ro
Roberto CarboneSecurity and Trust - Fondazione Bruno Kessler, Trento, ItalyVerified email at fbk.eu
Serena Elisa PontaSAP Security ResearchVerified email at sap.com
Aditya SehgalParity Computing Inc.Verified email at acm.org

Michael Rusinowitch

INRIA

Verified email at loria.fr


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The AVISPA tool for the automated validation of internet security protocols and applications A Armando, D Basin, Y Boichut, Y Chevalier, L Compagna, J Cuéllar, ... Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	1618	2005
Protocol insecurity with finite number of sessions is NP-complete M Rusinowitch, M Turuani INRIA, 2001	344	2001
An NP decision procedure for protocol insecurity with XOR Y Chevalier, R Küsters, M Rusinowitch, M Turuani Theoretical Computer Science 338 (1-3), 247-274, 2005	268	2005
On word problems in equational theories J Hsiang, M Rusinowitch Automata, Languages and Programming: 14th International Colloquium Karlsruhe …, 1987	238	1987
Deduction with symbolic constraints C Kirchner, H Kirchner, M Rusinowitch INRIA, 1990	227	1990
Protocol insecurity with a finite number of sessions and composed keys is NP-complete M Rusinowitch, M Turuani Theoretical Computer Science 299 (1-3), 451-475, 2003	225	2003
A rewriting approach to satisfiability procedures A Armando, S Ranise, M Rusinowitch Information and Computation 183 (2), 140-164, 2003	193	2003
Proving refutational completeness of theorem-proving strategies: The transfinite semantic tree method J Hsiang, M Rusinowitch Journal of the ACM (JACM) 38 (3), 558-586, 1991	190	1991
Deciding the security of protocols with Diffie-Hellman exponentiation and products in exponents Y Chevalier, R Küsters, M Rusinowitch, M Turuani International Conference on Foundations of Software Technology and …, 2003	167	2003
Compiling and verifying security protocols F Jacquemard, M Rusinowitch, L Vigneron International Conference on Logic for Programming Artificial Intelligence …, 2000	159	2000
Implicit induction in conditional theories A Bouhoula, M Rusinowitch Journal of automated reasoning 14, 189-235, 1995	157	1995
On termination of the direct sum of term-rewriting systems M Rusinowitch Information processing letters 26 (2), 65-70, 1987	154	1987
Proving correctness of transformation functions in real-time groupware A Imine, P Molli, G Oster, M Rusinowitch ECSCW 2003: Proceedings of the Eighth European Conference on Computer …, 2003	149	2003
The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures A Armando, W Arsac, T Avanesov, M Barletta, A Calvi, A Cappai, ... Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012	143	2012
Protocol analysis in intrusion detection using decision tree T Abbes, A Bouhoula, M Rusinowitch International Conference on Information Technology: Coding and Computing …, 2004	135	2004
Automated mathematical induction A Bouhoula, E Kounalis, M Rusinowitch Journal of Logic and Computation 5 (5), 631-668, 1995	116	1995
Theorem-proving with resolution and superposition M Rusinowitch Journal of Symbolic Computation 11 (1-2), 21-49, 1991	110	1991
The AVISS security protocol analysis tool A Armando, D Basin, M Bouallagui, Y Chevalier, L Compagna, ... Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	106	2002
Mechanizing inductive reasoning E Kounalis, M Rusinowitch Bulletin of the EATCS 41, 216-226, 1990	96	1990
Formal design and verification of operational transformation algorithms for copies convergence A Imine, M Rusinowitch, G Oster, P Molli Theoretical Computer Science 351 (2), 167-183, 2006	90	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors