Michael Rusinowitch

Cituota

	Visi	Nuo 2019
Šaltiniai	7814	1485
h-rodyklė	40	15
i10-rodyklė	112	27

400

200

100

300

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202428 65 79 86 84 142 124 121 94 143 105 81 113 139 190 226 346 316 340 324 361 288 383 342 256 306 248 269 276 271 247 255 250 302 213 217

Viešas pasiekiamumas

Peržiūrėti viską

3 straipsniai

1 straipsnis

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Yannick ChevalierMaître de Conférences en informatique, IRIT, Université Toulouse 3Patvirtintas el. paštas irit.fr
Alessandro ArmandoUniversity of GenovaPatvirtintas el. paštas unige.it
David BasinProfessor of Computer Science, ETH ZurichPatvirtintas el. paštas inf.ethz.ch
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegePatvirtintas el. paštas kcl.ac.uk
Jieh HsiangNational Taiwan UniversityPatvirtintas el. paštas ntu.edu.tw
Pascal MolliUniversity of NantesPatvirtintas el. paštas univ-nantes.fr
Gérald OsterAssistant Professor, Université de Lorraine, TELECOM Nancy, InriaPatvirtintas el. paštas loria.fr
Sebastian Alexander MödersheimAssociate Professor of Computer Science, Denmark's Technical UniversityPatvirtintas el. paštas imm.dtu.dk
Gregory KucherovDirecteur de recherche CNRS, LIGM, Univ Gaspard Monge, FrancePatvirtintas el. paštas univ-mlv.fr
Olga KouchnarenkoFEMTO-ST and UFC/UBFCPatvirtintas el. paštas univ-fcomte.fr
Silvio RaniseFBKPatvirtintas el. paštas fbk.eu
Véronique CortierCNRS, LORIAPatvirtintas el. paštas loria.fr
Rakesh Verma, Rakesh M. Verma, RM...Professor of Computer Science, University of HoustonPatvirtintas el. paštas uh.edu
Eugen ZalinescuNomadic LabsPatvirtintas el. paštas nomadic-labs.com
Robert NieuwenhuisProfessor of Computer Science, Tech. Univ. Catalonia (UPC), BarcelonaPatvirtintas el. paštas cs.upc.edu
Marius MineaAssociate Professor, Politehnica University of TimisoaraPatvirtintas el. paštas cs.upt.ro
Roberto CarboneSecurity and Trust - Fondazione Bruno Kessler, Trento, ItalyPatvirtintas el. paštas fbk.eu
Serena Elisa PontaSAP Security ResearchPatvirtintas el. paštas sap.com
Aditya SehgalParity Computing Inc.Patvirtintas el. paštas acm.org

Stebėti

Michael Rusinowitch

INRIA

Patvirtintas el. paštas loria.fr


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	1639	2005
Protocol insecurity with finite number of sessions is NP-complete M Rusinowitch, M Turuani INRIA, 2001	347	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	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	144	2012
Protocol analysis in intrusion detection using decision tree T Abbes, A Bouhoula, M Rusinowitch International Conference on Information Technology: Coding and Computing …, 2004	134	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	111	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

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai