 | 2009 |
|---|
| 33 |       | Grigore Rosu,
Dorel Lucanu:
Circular Coinduction: A Proof Theoretical Foundation.
CALCO 2009: 127-144 |
| 32 | | Dorel Lucanu,
Eugen-Ioan Goriac,
Georgiana Caltais,
Grigore Rosu:
CIRC: A Behavioral Verification Tool Based on Circular Coinduction.
CALCO 2009: 433-442 |
| 31 | | Dorel Lucanu:
Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions.
Electr. Notes Theor. Comput. Sci. 237: 107-125 (2009) |
| 30 | | Eugen-Ioan Goriac,
Georgiana Caltais,
Dorel Lucanu,
Oana Andrei,
Gheorghe Grigoras:
Patterns for Maude Metalanguage Applications.
Electr. Notes Theor. Comput. Sci. 238(3): 121-138 (2009) |
| 29 | | Oana Andrei,
Dorel Lucanu:
Strategy-Based Proof Calculus for Membrane Systems.
Electr. Notes Theor. Comput. Sci. 238(3): 23-43 (2009) |
| 28 | | Dorel Lucanu:
Rewriting Logic-Based Semantics of P Systems and the Maximal Concurrency.
Int. J. Found. Comput. Sci. 20(3): 395-410 (2009) |
| 2008 |
|---|
| 27 | | Dorel Lucanu,
Grigore Rosu,
Gheorghe Grigoras:
Regular Strategies as Proof Tactics for CIRC.
Electr. Notes Theor. Comput. Sci. 204: 83-98 (2008) |
| 2007 |
|---|
| 26 | | Dorel Lucanu,
Grigore Rosu:
CIRC : A Circular Coinductive Prover.
CALCO 2007: 372-378 |
| 25 | | Dorel Lucanu:
Proving Behavioral Commutativity with CIRC.
SYNASC 2007: 85-92 |
| 24 | | Gabriel Ciobanu,
Dorel Lucanu:
Events, Causality, and Concurrency in Membrane Systems.
Workshop on Membrane Computing 2007: 209-227 |
| 23 | | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
A rewriting logic framework for operational semantics of membrane systems.
Theor. Comput. Sci. 373(3): 163-181 (2007) |
| 2006 |
|---|
| 22 | | Dorel Lucanu,
Yuan-Fang Li,
Jin Song Dong:
Semantic Web Languages - Towards an Institutional Perspective.
Essays Dedicated to Joseph A. Goguen 2006: 99-123 |
| 21 | | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
Expressing Control Mechanisms of Membranes by Rewriting Strategies.
Workshop on Membrane Computing 2006: 154-169 |
| 20 | | Gabriel Ciobanu,
Dorel Lucanu:
A specification language for coordinated objects.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 19 | | Oana Andrei,
Dorel Lucanu,
Gabriel Ciobanu:
Operational Semantics and Rewriting Logic in Membrane Computing.
Electr. Notes Theor. Comput. Sci. 156(1): 57-78 (2006) |
| 2005 |
|---|
| 18 |  | Dorel Lucanu,
Yuan-Fang Li,
Jin Song Dong:
Institution Morphisms for Relating OWL and Z.
SEKE 2005: 286-291 |
| 17 | | Mihai Danes,
Dorel Lucanu,
Gabriel Ciobanu:
Specification of Coordinated Objects and Verification of Their Temporal Properties.
SYNASC 2005: 259-266 |
| 16 | | Dorel Lucanu,
Yuan-Fang Li,
Jin Song Dong:
Soundness proof of Z semantics of OWL using institutions.
WWW (Special interest tracks and posters) 2005: 1048-1049 |
| 15 | | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
Structural Operational Semantics of P Systems.
Workshop on Membrane Computing 2005: 31-48 |
| 14 | | Gabriel Ciobanu,
Dorel Lucanu:
Communicating Concurrent Objects in HiddenCCS.
Electr. Notes Theor. Comput. Sci. 117: 353-373 (2005) |
| 2004 |
|---|
| 13 | | Gabriel Ciobanu,
Dorel Lucanu:
Specification and Verification of Synchronizing Concurrent Objects.
IFM 2004: 307-327 |
| 12 | | Gabriel Ciobanu,
Dorel Lucanu:
Cellular Meta-programming over Membranes.
UPP 2004: 196-206 |
| 11 | | Dorel Lucanu,
Gabriel Ciobanu:
Model Checking for Object Specifications in Hidden Algebra.
VMCAI 2004: 97-109 |
| 10 | | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
Executable Specifications of P Systems.
Workshop on Membrane Computing 2004: 126-145 |
| 9 | | Gheorghe Grigoras,
Dorel Lucanu:
On Hidden Algebra Semantics of Object Oriented Languages.
Sci. Ann. Cuza Univ. 14: 51-68 (2004) |
| 2003 |
|---|
| 8 | | Dorel Lucanu:
Initial Logic and Induction in Algebraic Specification.
Sci. Ann. Cuza Univ. 13: 143- (2003) |
| 7 | | Dorel Lucanu:
Relaxed models for rewriting logic.
Theor. Comput. Sci. 290(1): 265-289 (2003) |
| 2002 |
|---|
| 6 | | Dorel Lucanu:
Initial Logic and Induction in Algebraic Specification.
Sci. Ann. Cuza Univ. 12: 79-108 (2002) |
| 2000 |
|---|
| 5 | | Radu Grosu,
Dorel Lucanu,
Gheorghe Stefanescu:
Mixed Relations as Enriched Semiringal Categories.
J. UCS 6(1): 112-129 (2000) |
| 1999 |
|---|
| 4 | | Dorel Lucanu:
Axiomatization of the Coherence Property for Categories of Symmetries.
FCT 1999: 386-397 |
| 3 | | Dorel Lucanu,
Ovidiu Gheorghies,
Adriana Apetrei:
Bisimulation and Hidden Algebra.
Electr. Notes Theor. Comput. Sci. 19: (1999) |
| 1996 |
|---|
| 2 | | Dorel Lucanu,
Nicolae Surpatanu:
On Refinement in Rewriting Logic.
Sci. Ann. Cuza Univ. 5: 67-84 (1996) |
| 1994 |
|---|
| 1 | | Dorel Lucanu:
Fixed-point Solutions for Ground Term Rewriting Systems.
Sci. Ann. Cuza Univ. 3: 75-84 (1994) |
