OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Rusinowitch, Michaël"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Article

Avanesov, Tigran and Chevalier, Yannick and Rusinowitch, Michaël and Turuani, Mathieu. Intruder deducibility constraints with negation. Decidability and application to secured service compositions. (2017) Journal of Symbolic Computation, 80 (1). 4-26. ISSN 0747-7171

Avanesov, Tigran and Chevalier, Yannick and Rusinowitch, Michaël and Turuani, Mathieu. Satisfiability of general intruder constraints with and without a set constructor. (2017) Journal of Symbolic Computation, 80 (1). 27-61. ISSN 0747-7171

Belkhir, Walid and Chevalier, Yannick and Rusinowitch, Michaël. Parametrized automata simulation and application to service composition. (2015) Journal of Symbolic Computation, 69. 40-60. ISSN 0747-7171

Conference or Workshop Item

Jha, Tushant and Belkhir, Walid and Chevalier, Yannick and Rusinowitch, Michaël. Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata. (2016) In: International Conference on Service Oriented Computing (ICSOC 2015), 16 November 2015 - 19 November 2015 (Goa, India).

This list was generated on Wed Nov 20 03:12:28 2019 CET.