M. Clavel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reflective metalogical frameworks ACM Transactions on Computational Logic	2017-07-12	Paper
Two Decades of Maude Lecture Notes in Computer Science	2015-09-14	Paper
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic	2013-10-02	Paper
Strategies and user interfaces in Maude at work	2013-08-27	Paper
Cyclic behavior of extruded magnesium: experimental, microstructural and numerical approach International Journal of Plasticity	2012-05-18	Paper
Model-Driven Development of Security-Aware GUIs for Data-Centric Applications Foundations of Security Analysis and Design VI	2011-09-16	Paper
All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Lecture Notes in Computer Science	2007-08-08	Paper
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic Theoretical Computer Science	2007-04-13	Paper
Term Rewriting and Applications Lecture Notes in Computer Science	2005-11-11	Paper
Algebraic Methodology and Software Technology Lecture Notes in Computer Science	2005-08-25	Paper
scientific article; zbMATH DE number 2080191 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 2043522 (Why is no real title available?)	2004-02-16	Paper
Maude: specification and programming in rewriting logic Theoretical Computer Science	2002-08-13	Paper
Reflection in conditional rewriting logic Theoretical Computer Science	2002-08-13	Paper
Reflection in rewriting logic. Metalogical foundations and metaprogramming applications	2001-08-26	Paper
Towards Maude 2. 0	2001-05-07	Paper
Polytypic programming in Maude	2001-05-07	Paper
scientific article; zbMATH DE number 1231654 (Why is no real title available?)	1999-01-07	Paper
scientific article; zbMATH DE number 1231667 (Why is no real title available?)	1999-01-07	Paper
scientific article; zbMATH DE number 1231672 (Why is no real title available?)	1999-01-07	Paper
scientific article; zbMATH DE number 1231537 (Why is no real title available?)	1998-12-20	Paper
scientific article; zbMATH DE number 1231540 (Why is no real title available?)	1998-12-20	Paper

Research outcomes over time

This page was built for person: M. Clavel