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.

 

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

Maude: specification and programming in rewriting logic., , , , , , и . Theor. Comput. Sci., 285 (2): 187-243 (2002)Dynamic Validation of OCL Constraints with mOdCL., и . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2011)Identifying architectural design decisions for achieving green ML serving., , , и . CoRR, (2024)Models and analysis for user-driven reconfiguration of rule-based IoT applications., , , , и . Internet Things, (2022)Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools.. J. Object Technol., 21 (4): 4:1-12 (2022)Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)., , , , и . Dagstuhl Reports, 9 (11): 97-116 (2019)Component-wise Application Migration in Bidimensional Cross-cloud Environments., , и . CLOSER, стр. 259-269. SciTePress, (2017)Exploiting Results of Model-Based Analysis Tools., , , , , и . Composing Model-Based Analysis Tools, Springer, (2021)Object-Oriented Modules., , , , , , и . All About Maude, том 4350 из Lecture Notes in Computer Science, Springer, (2007)Core Maude Grammar., , , , , , и . All About Maude, том 4350 из Lecture Notes in Computer Science, Springer, (2007)