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 d'invariants pour des systèmes spécifiés en logique de réécriture., и . Stud. Inform. Univ., 7 (2): 83-112 (2009)Optimising Fine-Grained Access Control Policy Enforcement for Database Queries. A Model-Driven Approach., и . CoRR, (2022)Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010)., , , и . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2010)User Interfaces and Metalanguage Applications., , , , , , и . All About Maude, том 4350 из Lecture Notes in Computer Science, Springer, (2007)Functional Modules., , , , , , и . All About Maude, том 4350 из Lecture Notes in Computer Science, Springer, (2007)LTL Model Checking., , , , , , и . All About Maude, том 4350 из Lecture Notes in Computer Science, Springer, (2007)A Hierarchy of Data Types: From Trees to Sets., , , , , , и . All About Maude, том 4350 из Lecture Notes in Computer Science, Springer, (2007)Web Browsers' Support for Managing Cookies. An Experiment Report., и . FDSE, том 1925 из Communications in Computer and Information Science, стр. 135-152. Springer, (2023)Principles of Maude., , , и . WRLA, том 4 из Electronic Notes in Theoretical Computer Science, стр. 65-89. Elsevier, (1996)The TTC 2021 OCL2PSQL case., , и . TTC/, том 3089 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)