Francisco Durán

Available identifiers

zbMath Open duran.franciscoWikidataQ58881022 ScholiaQ58881022MaRDI QIDQ347376

List of research outcomes

Publication	Date of Publication	Type
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring	2024-02-12	Paper
Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT	2023-07-28	Paper
Associative unification and symbolic reasoning modulo associativity in Maude	2023-07-28	Paper
Proving ground confluence of equational specifications modulo axioms	2023-07-28	Paper
Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)	2022-12-07	Paper
Resource provisioning strategies for BPMN processes: specification and analysis using Maude	2021-11-03	Paper
GTS Families for the Flexible Composition of Graph Transformation Systems	2020-02-13	Paper
Programming and symbolic computation in Maude	2020-01-31	Paper
Ground confluence of order-sorted conditional specifications modulo axioms	2020-01-31	Paper
Multilevel coupled model transformations for precise and reusable definition of model behaviour	2019-06-20	Paper
Error estimation for low-order adaptive finite element approximations for fluid flow problems	2018-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2989001	2017-05-19	Paper
Amalgamation of domain specific languages with behaviour	2016-11-30	Paper
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7	2016-09-05	Paper
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation	2016-05-20	Paper
Equational Abstractions in Rewriting Logic and Maude	2016-04-01	Paper
Two Decades of Maude	2015-09-14	Paper
Composition of Graph-Transformation-Based DSL Definitions by Amalgamation	2015-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q2849581	2013-09-20	Paper
Behaviour Protection in Modular Rule-Based System Specifications	2013-09-13	Paper
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories	2013-01-16	Paper
A generic framework for \(n\)-protocol compatibility checking	2012-07-13	Paper
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6	2012-04-24	Paper
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications	2010-10-12	Paper
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories	2010-10-12	Paper
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages	2010-10-12	Paper
The Third Rewrite Engines Competition	2010-10-12	Paper
Termination Modulo Combinations of Equational Theories	2010-01-07	Paper
Invariant-driven specifications in Maude	2009-08-21	Paper
Proving operational termination of membership equational programs	2009-08-04	Paper
MTT: The Maude Termination Tool (System Description)	2008-11-27	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
Maude's module algebra	2007-05-23	Paper
Structured theories and institutions	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4447224	2004-02-16	Paper
Maude: specification and programming in rewriting logic	2002-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q2767191	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2703706	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q2703707	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q2703708	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4499235	2001-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4222979	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222990	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222994	1999-01-07	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: Francisco Durán