Manuel Clavel

Available identifiers

zbMath Open clavel.manuelMaRDI QIDQ875515

List of research outcomes

Publication	Date of Publication	Type
Reflective metalogical frameworks	2017-07-12	Paper
Two Decades of Maude	2015-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q2851051	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2844063	2013-08-27	Paper
Cyclic behavior of extruded magnesium: experimental, microstructural and numerical approach	2012-05-18	Paper
Model-Driven Development of Security-Aware GUIs for Data-Centric Applications	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.	2007-08-08	Paper
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic	2007-04-13	Paper
Term Rewriting and Applications	2005-11-11	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4472433	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4447224	2004-02-16	Paper
Maude: specification and programming in rewriting logic	2002-08-13	Paper
Reflection in conditional rewriting logic	2002-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q2734833	2001-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q2703706	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q2703708	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222979	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222994	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4223000	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222853	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222856	1998-12-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Manuel Clavel