Dorel Lucanu

From MaRDI portal
Revision as of 01:49, 12 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Dorel Lucanu to Dorel Lucanu: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:493519

Available identifiers

zbMath Open lucanu.dorelMaRDI QIDQ493519

List of research outcomes

PublicationDate of PublicationType
Operationally-based program equivalence proofs using LCTRSs2023-09-25Paper
A matching logic foundation for Alk2023-07-28Paper
Unification Modulo Builtins2023-04-26Paper
Connecting Constrained Constructor Patterns and Matching Logic2022-12-22Paper
Towards a \(\mathbb{K}\)ool future2021-05-20Paper
https://portal.mardi4nfdi.de/entity/Q52087792020-01-10Paper
A coinductive approach to proving reachability properties in logically constrained term rewriting systems2018-10-18Paper
Symbolic execution based on language transformation2018-05-15Paper
https://portal.mardi4nfdi.de/entity/Q45940042017-11-16Paper
A language-independent proof system for full program equivalence2017-02-14Paper
A generic framework for symbolic execution: a coinductive approach2017-02-06Paper
Language definitions as rewrite theories2016-12-28Paper
https://portal.mardi4nfdi.de/entity/Q31876182016-09-02Paper
A Theoretical Foundation for Programming Languages Aggregation2016-02-25Paper
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications2015-09-14Paper
Language Definitions as Rewrite Theories2015-09-09Paper
Program equivalence by circular reasoning2015-09-03Paper
Strategy-Based Proof Calculus for Membrane Systems2015-03-19Paper
Patterns for Maude Metalanguage Applications2015-03-19Paper
Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions2014-07-22Paper
Behavioral Rewrite Systems and Behavioral Productivity2014-03-25Paper
On Automation of OTS/CafeOBJ Method2014-03-25Paper
Regular Strategies as Proof Tactics for CIRC2014-01-24Paper
https://portal.mardi4nfdi.de/entity/Q28520952013-10-07Paper
https://portal.mardi4nfdi.de/entity/Q28498702013-09-20Paper
Bounded Model Checking of Recursive Programs with Pointers in K2013-09-13Paper
On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework2012-11-02Paper
Circular Coinduction: A Proof Theoretical Foundation2012-06-01Paper
CIRC: A Behavioral Verification Tool Based on Circular Coinduction2012-06-01Paper
A Decision Procedure for Bisimilarity of Generalized Regular Expressions2011-05-12Paper
REWRITING LOGIC-BASED SEMANTICS OF P SYSTEMS AND THE MAXIMAL CONCURRENCY2009-06-30Paper
Verification, Model Checking, and Abstract Interpretation2009-05-15Paper
Integrated Formal Methods2009-05-07Paper
CIRC: A Circular Coinductive Prover2009-03-10Paper
https://portal.mardi4nfdi.de/entity/Q54576872008-04-14Paper
https://portal.mardi4nfdi.de/entity/Q54576932008-04-14Paper
Events, Causality, and Concurrency in Membrane Systems2008-03-28Paper
Semantic Web Languages – Towards an Institutional Perspective2007-09-07Paper
Expressing Control Mechanisms of Membranes by Rewriting Strategies2007-09-03Paper
A rewriting logic framework for operational semantics of membrane systems2007-04-19Paper
Membrane Computing2006-11-13Paper
https://portal.mardi4nfdi.de/entity/Q56995602005-10-26Paper
Membrane Computing2005-09-14Paper
Relaxed models for rewriting logic2003-01-21Paper
https://portal.mardi4nfdi.de/entity/Q27339882001-08-13Paper
https://portal.mardi4nfdi.de/entity/Q45208202001-02-27Paper
https://portal.mardi4nfdi.de/entity/Q49343462000-07-26Paper
https://portal.mardi4nfdi.de/entity/Q48412912000-06-27Paper
Bisimulation and Hidden Algebra1999-07-12Paper
https://portal.mardi4nfdi.de/entity/Q48665851996-07-01Paper
Algebraic structures of directed acyclic graphs: application to concurrent calculus1996-06-23Paper
https://portal.mardi4nfdi.de/entity/Q39769671992-06-25Paper
Several properties of array languages1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34894651987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37836091987-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Dorel Lucanu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:493519&oldid=10823662"
Powered by MediaWiki