dblp.uni-trier.dewww.uni-trier.de

Dorel Lucanu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
28EEDorel 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
27EEDorel Lucanu, Grigore Rosu, Gheorghe Grigoras: Regular Strategies as Proof Tactics for CIRC. Electr. Notes Theor. Comput. Sci. 204: 83-98 (2008)
2007
26EEDorel Lucanu, Grigore Rosu: CIRC : A Circular Coinductive Prover. CALCO 2007: 372-378
25EEDorel Lucanu: Proving Behavioral Commutativity with CIRC. SYNASC 2007: 85-92
24EEGabriel Ciobanu, Dorel Lucanu: Events, Causality, and Concurrency in Membrane Systems. Workshop on Membrane Computing 2007: 209-227
23EEOana Andrei, Gabriel Ciobanu, Dorel Lucanu: A rewriting logic framework for operational semantics of membrane systems. Theor. Comput. Sci. 373(3): 163-181 (2007)
2006
22EEDorel Lucanu, Yuan-Fang Li, Jin Song Dong: Semantic Web Languages - Towards an Institutional Perspective. Essays Dedicated to Joseph A. Goguen 2006: 99-123
21EEOana Andrei, Gabriel Ciobanu, Dorel Lucanu: Expressing Control Mechanisms of Membranes by Rewriting Strategies. Workshop on Membrane Computing 2006: 154-169
20EEGabriel Ciobanu, Dorel Lucanu: A specification language for coordinated objects. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
19EEOana 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
17EEMihai Danes, Dorel Lucanu, Gabriel Ciobanu: Specification of Coordinated Objects and Verification of Their Temporal Properties. SYNASC 2005: 259-266
16EEDorel 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
15EEOana Andrei, Gabriel Ciobanu, Dorel Lucanu: Structural Operational Semantics of P Systems. Workshop on Membrane Computing 2005: 31-48
14EEGabriel Ciobanu, Dorel Lucanu: Communicating Concurrent Objects in HiddenCCS. Electr. Notes Theor. Comput. Sci. 117: 353-373 (2005)
2004
13EEGabriel Ciobanu, Dorel Lucanu: Specification and Verification of Synchronizing Concurrent Objects. IFM 2004: 307-327
12EEGabriel Ciobanu, Dorel Lucanu: Cellular Meta-programming over Membranes. UPP 2004: 196-206
11EEDorel Lucanu, Gabriel Ciobanu: Model Checking for Object Specifications in Hidden Algebra. VMCAI 2004: 97-109
10EEOana 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
5EERadu Grosu, Dorel Lucanu, Gheorghe Stefanescu: Mixed Relations as Enriched Semiringal Categories. J. UCS 6(1): 112-129 (2000)
1999
4EEDorel Lucanu: Axiomatization of the Coherence Property for Categories of Symmetries. FCT 1999: 386-397
3EEDorel 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)

Coauthor Index

1Oana Andrei [10] [15] [19] [21] [23]
2Adriana Apetrei [3]
3Gabriel Ciobanu [10] [11] [12] [13] [14] [15] [17] [19] [20] [21] [23] [24]
4Mihai Danes [17]
5Jin Song Dong [16] [18] [22]
6Ovidiu Gheorghies [3]
7Gheorghe Grigoras [9] [27]
8Radu Grosu [5]
9Yuan-Fang Li [16] [18] [22]
10Grigore Rosu [26] [27]
11Gheorghe Stefanescu [5]
12Nicolae Surpatanu [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)