| 2009 |
|---|
| 28 | EE | 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) |
| 2008 |
|---|
| 27 | EE | Dorel Lucanu,
Grigore Rosu,
Gheorghe Grigoras:
Regular Strategies as Proof Tactics for CIRC.
Electr. Notes Theor. Comput. Sci. 204: 83-98 (2008) |
| 2007 |
|---|
| 26 | EE | Dorel Lucanu,
Grigore Rosu:
CIRC : A Circular Coinductive Prover.
CALCO 2007: 372-378 |
| 25 | EE | Dorel Lucanu:
Proving Behavioral Commutativity with CIRC.
SYNASC 2007: 85-92 |
| 24 | EE | Gabriel Ciobanu,
Dorel Lucanu:
Events, Causality, and Concurrency in Membrane Systems.
Workshop on Membrane Computing 2007: 209-227 |
| 23 | EE | 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 | EE | 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 | EE | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
Expressing Control Mechanisms of Membranes by Rewriting Strategies.
Workshop on Membrane Computing 2006: 154-169 |
| 20 | EE | Gabriel Ciobanu,
Dorel Lucanu:
A specification language for coordinated objects.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 19 | EE | 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 | EE | Mihai Danes,
Dorel Lucanu,
Gabriel Ciobanu:
Specification of Coordinated Objects and Verification of Their Temporal Properties.
SYNASC 2005: 259-266 |
| 16 | EE | 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 | EE | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
Structural Operational Semantics of P Systems.
Workshop on Membrane Computing 2005: 31-48 |
| 14 | EE | Gabriel Ciobanu,
Dorel Lucanu:
Communicating Concurrent Objects in HiddenCCS.
Electr. Notes Theor. Comput. Sci. 117: 353-373 (2005) |
| 2004 |
|---|
| 13 | EE | Gabriel Ciobanu,
Dorel Lucanu:
Specification and Verification of Synchronizing Concurrent Objects.
IFM 2004: 307-327 |
| 12 | EE | Gabriel Ciobanu,
Dorel Lucanu:
Cellular Meta-programming over Membranes.
UPP 2004: 196-206 |
| 11 | EE | Dorel Lucanu,
Gabriel Ciobanu:
Model Checking for Object Specifications in Hidden Algebra.
VMCAI 2004: 97-109 |
| 10 | EE | 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 | EE | Radu Grosu,
Dorel Lucanu,
Gheorghe Stefanescu:
Mixed Relations as Enriched Semiringal Categories.
J. UCS 6(1): 112-129 (2000) |
| 1999 |
|---|
| 4 | EE | Dorel Lucanu:
Axiomatization of the Coherence Property for Categories of Symmetries.
FCT 1999: 386-397 |
| 3 | EE | 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) |
