Michael Rusinowitch

Citado por

	Total	Desde 2019
Citas	7663	1345
Índice h	40	14
Índice i10	110	24

380

190

285

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202429 66 81 84 85 142 125 120 95 144 107 76 113 138 187 228 347 342 339 325 360 288 380 335 252 305 245 265 272 272 245 255 250 287 223 85

Acceso público

Ver todo

3 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Yannick ChevalierMaître de Conférences en informatique, IRIT, Université Toulouse 3Dirección de correo verificada de irit.fr
Alessandro ArmandoUniversity of GenovaDirección de correo verificada de unige.it
David BasinProfessor of Computer Science, ETH ZurichDirección de correo verificada de inf.ethz.ch
Jieh HsiangNational Taiwan UniversityDirección de correo verificada de ntu.edu.tw
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeDirección de correo verificada de kcl.ac.uk
Pascal MolliUniversity of NantesDirección de correo verificada de univ-nantes.fr
Gérald OsterAssistant Professor, Université de Lorraine, TELECOM Nancy, InriaDirección de correo verificada de loria.fr
Sebastian Alexander MödersheimAssociate Professor of Computer Science, Denmark's Technical UniversityDirección de correo verificada de imm.dtu.dk
Gregory KucherovDirecteur de recherche CNRS, LIGM, Univ Gaspard Monge, FranceDirección de correo verificada de univ-mlv.fr
Olga KouchnarenkoFEMTO-ST and UFC/UBFCDirección de correo verificada de univ-fcomte.fr
Silvio RaniseFBKDirección de correo verificada de fbk.eu
Véronique CortierCNRS, LORIADirección de correo verificada de loria.fr
Rakesh Verma, Rakesh M. Verma, RM...Professor of Computer Science, University of HoustonDirección de correo verificada de uh.edu
Eugen ZalinescuNomadic LabsDirección de correo verificada de nomadic-labs.com
Robert NieuwenhuisProfessor of Computer Science, Tech. Univ. Catalonia (UPC), BarcelonaDirección de correo verificada de cs.upc.edu
Marius MineaAssociate Professor, Politehnica University of TimisoaraDirección de correo verificada de cs.upt.ro
Roberto CarboneSecurity and Trust - Fondazione Bruno Kessler, Trento, ItalyDirección de correo verificada de fbk.eu
Serena Elisa PontaSAP Security ResearchDirección de correo verificada de sap.com
Aditya SehgalParity Computing Inc.Dirección de correo verificada de acm.org

Seguir

Michael Rusinowitch

INRIA

Dirección de correo verificada de loria.fr


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	1571	2005
Protocol insecurity with finite number of sessions is NP-complete M Rusinowitch, M Turuani INRIA, 2001	342	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	266	2005
On word problems in equational theories J Hsiang, M Rusinowitch Automata, Languages and Programming: 14th International Colloquium Karlsruhe …, 1987	235	1987
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
Deduction with symbolic constraints C Kirchner, H Kirchner, M Rusinowitch INRIA, 1990	225	1990
A rewriting approach to satisfiability procedures A Armando, S Ranise, M Rusinowitch Information and Computation 183 (2), 140-164, 2003	194	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	165	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	155	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	150	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	139	2012
Protocol analysis in intrusion detection using decision tree T Abbes, A Bouhoula, M Rusinowitch International Conference on Information Technology: Coding and Computing …, 2004	133	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	108	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	105	2002
Mechanizing inductive reasoning E Kounalis, M Rusinowitch Bulletin of the EATCS 41, 216-226, 1990	95	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores