Author of the publication

The Second Rewrite Engines Competition.

, , , , , , , , , and . WRLA, volume 238 of Electronic Notes in Theoretical Computer Science, page 281-291. Elsevier, (2008)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Using Maude to write and execute ODP information viewpoint specifications., , and . Comput. Stand. Interfaces, 27 (6): 597-620 (2005)Invariant-Driven Strategies for Maude., , and . WRS, volume 124 of Electronic Notes in Theoretical Computer Science, page 17-28. Elsevier, (2004)Dynamic Validation of OCL Constraints with mOdCL., and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2011)Tracing Properties of UML and OCL Models with Maude, , and . AMMSE, volume 56 of EPTCS, page 81-97. (2011)A Prolog interpreter for OR parallelism evaluation on distributed systems., , and . PDP, page 105-112. IEEE, (1993)Invariant-driven specifications in Maude., , and . Sci. Comput. Program., 74 (10): 812-835 (2009)The Second Rewrite Engines Competition., , , , , , , , , and . WRLA, volume 238 of Electronic Notes in Theoretical Computer Science, page 281-291. Elsevier, (2008)Dynamic Validation of Maude Prototypes of UML Models., , , and . Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 212-228. Springer, (2014)Design and Implementation of a Pressure Monitoring System Based on IoT for Water Supply Networks., , , , and . Sensors, 20 (15): 4247 (2020)Discovery of Diverse Natural Products as Inhibitors of SARS-CoV-2 Mpro Protease through Virtual Screening., , , , , , , , , and 3 other author(s). J. Chem. Inf. Model., 61 (12): 6094-6106 (2021)