The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Dorel Lucanu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
    Semantic Web Languages - Towards an Institutional Perspective. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:99-123 [Conf]
  2. Dorel Lucanu
    Axiomatization of the Coherence Property for Categories of Symmetries. [Citation Graph (0, 0)][DBLP]
    FCT, 1999, pp:386-397 [Conf]
  3. Gabriel Ciobanu, Dorel Lucanu
    Specification and Verification of Synchronizing Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:307-327 [Conf]
  4. Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
    Executable Specifications of P Systems. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2004, pp:126-145 [Conf]
  5. Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
    Structural Operational Semantics of P Systems. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2005, pp:31-48 [Conf]
  6. Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
    Expressing Control Mechanisms of Membranes by Rewriting Strategies. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2006, pp:154-169 [Conf]
  7. Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
    Institution Morphisms for Relating OWL and Z. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:286-291 [Conf]
  8. Gabriel Ciobanu, Dorel Lucanu
    Cellular Meta-programming over Membranes. [Citation Graph (0, 0)][DBLP]
    UPP, 2004, pp:196-206 [Conf]
  9. Dorel Lucanu, Gabriel Ciobanu
    Model Checking for Object Specifications in Hidden Algebra. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:97-109 [Conf]
  10. Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
    Soundness proof of Z semantics of OWL using institutions. [Citation Graph (0, 0)][DBLP]
    WWW (Special interest tracks and posters), 2005, pp:1048-1049 [Conf]
  11. Mihai Danes, Dorel Lucanu, Gabriel Ciobanu
    Specification of Coordinated Objects and Verification of Their Temporal Properties. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2005, pp:259-266 [Conf]
  12. Dorel Lucanu
    Initial Logic and Induction in Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 2002, v:12, n:, pp:79-108 [Journal]
  13. Dorel Lucanu
    Initial Logic and Induction in Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 2003, v:13, n:, pp:143-0 [Journal]
  14. Dorel Lucanu
    Fixed-point Solutions for Ground Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 1994, v:3, n:, pp:75-84 [Journal]
  15. Dorel Lucanu, Nicolae Surpatanu
    On Refinement in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 1996, v:5, n:, pp:67-84 [Journal]
  16. Gheorghe Grigoras, Dorel Lucanu
    On Hidden Algebra Semantics of Object Oriented Languages. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 2004, v:14, n:, pp:51-68 [Journal]
  17. Oana Andrei, Dorel Lucanu, Gabriel Ciobanu
    Operational Semantics and Rewriting Logic in Membrane Computing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:57-78 [Journal]
  18. Gabriel Ciobanu, Dorel Lucanu
    Communicating Concurrent Objects in HiddenCCS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:353-373 [Journal]
  19. Dorel Lucanu, Ovidiu Gheorghies, Adriana Apetrei
    Bisimulation and Hidden Algebra. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
  20. Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu
    Mixed Relations as Enriched Semiringal Categories. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:1, pp:112-129 [Journal]
  21. Dorel Lucanu
    Relaxed models for rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:265-289 [Journal]
  22. Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
    A rewriting logic framework for operational semantics of membrane systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:373, n:3, pp:163-181 [Journal]
  23. Dorel Lucanu, Grigore Rosu
    CIRC : A Circular Coinductive Prover. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:372-378 [Conf]

  24. CIRC: A Behavioral Verification Tool Based on Circular Coinduction. [Citation Graph (, )][DBLP]


  25. Circular Coinduction: A Proof Theoretical Foundation. [Citation Graph (, )][DBLP]


  26. Circular Coinduction with Special Contexts. [Citation Graph (, )][DBLP]


  27. Events, Causality, and Concurrency in Membrane Systems. [Citation Graph (, )][DBLP]


  28. Proving Behavioral Commutativity with CIRC. [Citation Graph (, )][DBLP]


  29. A Rewrite Stack Machine for ROC!. [Citation Graph (, )][DBLP]


  30. Automated Proving of the Behavioral Attributes. [Citation Graph (, )][DBLP]


  31. Regular Strategies as Proof Tactics for CIRC. [Citation Graph (, )][DBLP]


  32. Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions. [Citation Graph (, )][DBLP]


  33. Strategy-Based Proof Calculus for Membrane Systems. [Citation Graph (, )][DBLP]


  34. Patterns for Maude Metalanguage Applications. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.302secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002