From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Vérification et synthèse de systèmes concurrents paramétrés. (Verification and synthesis of parameterized concurrent systems).. University of Paris-Saclay, France, (2021)A Competence-based Industrial Learning Approach for Factories of the Future - A Result of the FP7-FoF Project ActionPlanT., , , , , и . CSEDU (2), стр. 28-39. SciTePress, (2012)On the Use of Opaque Predicates in Mobile Agent Code Obfuscation., и . ISI, том 3495 из Lecture Notes in Computer Science, стр. 648-649. Springer, (2005)Computing the Width of Non-deterministic Automata., и . CoRR, (2018)Computing the Width of Non-deterministic Automata., и . Log. Methods Comput. Sci., (2019)Synthesizing Safe Coalition Strategies., , и . FSTTCS, том 182 из LIPIcs, стр. 39:1-39:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)On-the-Fly Agent-Based Distributed Shared State Monitoring., , , , и . PDPTA, стр. 1396-1402. CSREA Press, (2004)Building Mobile Apps with SAP MII and Sybase Unwired Platform, , , и . (2012)Securing Mobile Agents Control Flow Using Opaque Predicates., и . KES (3), том 3683 из Lecture Notes in Computer Science, стр. 1065-1071. Springer, (2005)Manufacturing opaque predicates in distributed systems for code obfuscation., и . ACSC, том 48 из CRPIT, стр. 187-196. Australian Computer Society, (2006)