Person:493519

Available identifiers

zbMath Open lucanu.dorelMaRDI QIDQ493519

List of research outcomes

Publication	Date of Publication	Type
Operationally-based program equivalence proofs using LCTRSs	2023-09-25	Paper
A matching logic foundation for Alk	2023-07-28	Paper
Unification Modulo Builtins	2023-04-26	Paper
Connecting Constrained Constructor Patterns and Matching Logic	2022-12-22	Paper
Towards a \(\mathbb{K}\)ool future	2021-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q5208779	2020-01-10	Paper
A coinductive approach to proving reachability properties in logically constrained term rewriting systems	2018-10-18	Paper
Symbolic execution based on language transformation	2018-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q4594004	2017-11-16	Paper
A language-independent proof system for full program equivalence	2017-02-14	Paper
A generic framework for symbolic execution: a coinductive approach	2017-02-06	Paper
Language definitions as rewrite theories	2016-12-28	Paper
https://portal.mardi4nfdi.de/entity/Q3187618	2016-09-02	Paper
A Theoretical Foundation for Programming Languages Aggregation	2016-02-25	Paper
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications	2015-09-14	Paper
Language Definitions as Rewrite Theories	2015-09-09	Paper
Program equivalence by circular reasoning	2015-09-03	Paper
Strategy-Based Proof Calculus for Membrane Systems	2015-03-19	Paper
Patterns for Maude Metalanguage Applications	2015-03-19	Paper
Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions	2014-07-22	Paper
Behavioral Rewrite Systems and Behavioral Productivity	2014-03-25	Paper
On Automation of OTS/CafeOBJ Method	2014-03-25	Paper
Regular Strategies as Proof Tactics for CIRC	2014-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q2852095	2013-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q2849870	2013-09-20	Paper
Bounded Model Checking of Recursive Programs with Pointers in K	2013-09-13	Paper
On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework	2012-11-02	Paper
Circular Coinduction: A Proof Theoretical Foundation	2012-06-01	Paper
CIRC: A Behavioral Verification Tool Based on Circular Coinduction	2012-06-01	Paper
A Decision Procedure for Bisimilarity of Generalized Regular Expressions	2011-05-12	Paper
REWRITING LOGIC-BASED SEMANTICS OF P SYSTEMS AND THE MAXIMAL CONCURRENCY	2009-06-30	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
Integrated Formal Methods	2009-05-07	Paper
CIRC: A Circular Coinductive Prover	2009-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5457687	2008-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q5457693	2008-04-14	Paper
Events, Causality, and Concurrency in Membrane Systems	2008-03-28	Paper
Semantic Web Languages – Towards an Institutional Perspective	2007-09-07	Paper
Expressing Control Mechanisms of Membranes by Rewriting Strategies	2007-09-03	Paper
A rewriting logic framework for operational semantics of membrane systems	2007-04-19	Paper
Membrane Computing	2006-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q5699560	2005-10-26	Paper
Membrane Computing	2005-09-14	Paper
Relaxed models for rewriting logic	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2733988	2001-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4520820	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4934346	2000-07-26	Paper
https://portal.mardi4nfdi.de/entity/Q4841291	2000-06-27	Paper
Bisimulation and Hidden Algebra	1999-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q4866585	1996-07-01	Paper
Algebraic structures of directed acyclic graphs: application to concurrent calculus	1996-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q3976967	1992-06-25	Paper
Several properties of array languages	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3489465	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783609	1987-01-01	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: Dorel Lucanu