Michaël Petit < Michaël Rusinowitch < Michel Bidoit

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 95.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000154 (2004)	Michaël Rusinowitch	A Decidable Analysis of Security Protocols
000926 (2005-07)	Véronique Cortier ; Michaël Rusinowitch ; Eugen Zalinescu	A resolution Strategy for Verifying Cryptographic Protocols with CBC Encryption and Blind Signatures
000A53 (2008-09)	Humberto Abdelnur ; Tigran Avanesov ; Michaël Rusinowitch ; Radu State	Abusing SIP Authentication
000A69 (2004)	Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël Rusinowitch	Achieving Convergence with Operational Transformation in Distributed Groupware Systems
000C06 (1997)	Rakesh M. Verma ; Michaël Rusinowitch ; Denis Lugiez	Algorithms and Reductions for Rewriting Problems
000C07 (2001)	Rakesh Verma ; Michaël Rusinowitch ; Denis Lugiez	Algorithms and Reductions for Rewriting Problems
000C08 (1998)	Rakesh Verma ; Michaël Rusinowitch ; Denis Lugiez	Algorithms and Reductions for Rewriting Problems
000D21 (2003)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani	An NP Decision Procedure for Protocol Insecurity with XOR
000D22 (2005)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani	An NP Decision Procedure for Protocol Insecurity with XOR
000D23 (2003-06-22)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani	An NP Decision Procedure for Protocol Insecurity with XOR
000D38 (2009)	Abdessamad Imine ; Asma Cherif ; Michaël Rusinowitch	An Optimistic Mandatory Access Control Model for Distributed Collaborative Editors
000D72 (2001-03)	Julien Musset ; Michaël Rusinowitch	An effective fixed point calculus for deterministic systems applied to model checking
000E28 (1999)	Francis Klay ; Michaël Rusinowitch ; Sorin Stratulat	Analysing Feature Interactions with Automated Deduction Systems
000E29 (1998)	Francis Klay ; Michaël Rusinowitch ; Sorin Stratulat	Analysing Feature Interactions with Automated Deduction Systems
000F07 (2015-04-14)	Hiep H. Nguyen ; Abdessamad Imine ; Michaël Rusinowitch	Anonymizing Social Graphs via Uncertainty Semantics
001070 (2004)	David Basin ; Michaël Rusinowitch	Automated Reasoning
001080 (2014-07-17)	Michaël Rusinowitch	Automated Verification of Security Protocols and Services
001084 (1993)	Michaël Rusinowitch ; Laurent Vigneron	Automated deduction with associative commutative operators
001085 (1994)	Adel Bouhoula ; E. Kounalis ; Michaël Rusinowitch	Automated mathematical induction
001582 (2005)	Yannick Chevalier ; Michaël Rusinowitch	Combining Intruder Theories
001677 (2000)	Florent Jacquemard ; Michaël Rusinowitch ; Laurent Vigneron	Compiling and Verifying Security Protocols

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Michaël Rusinowitch" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Michaël Rusinowitch" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Michaël Rusinowitch
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022