MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Dorel Lucanu" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 10 documents found, showing 1 through 10.
ATOM RSS
  • Institution Morphisms for Relating OWL and Z  
  • by Dorel Lucanu — 2005 — in The 17th International Conference on Software Engineering and Knowledge Engineering (SEKE’05
  • …Institution Morphisms for Relating OWL and Z Dorel Lucanu Faculty of Computer Science “A…
  • Cited by 1 (0 self) – Add To MetaCart
  • On Refinement in Rewriting Logic  
  • by Dorel Lucanu, Nicolae Surpatanu — 1998
  • …On Refinement in Rewriting Logic Dorel LUCANU Nicolae SURP AT�� ANU University "Al. I. Cuza…
  • Add To MetaCart
  • Rewriting Logic Specification of Membrane Systems with  
  • by Oana Agrigoroaiei, Gabriel Ciobanu, Oana Andrei, Dorel Lucanu
  • … . . . . . . . . . . . . . . . . . . . . . . . . . . 1 OANA ANDREI, DOREL LUCANU Strategy-Based Proof Calculus for Membrane Systems…
  • Add To MetaCart
  • Concurrent Object Composition in CafeOBJ  
  • by Shusaku Iida, Michihiro Matsumoto, Razvan Diaconescu, Kokichi Futatsugi, Dorel Lucanu
  • …, Michihiro Matsumoto, 1 R azvan Diaconescu, 2 Kokichi Futatsugi, and Dorel Lucanu 3 Graduate School…
  • Add To MetaCart
  • Specification and Verification of Synchronizing  
  • by Concurrent Objects Gabriel, Gabriel Ciobanu, Dorel Lucanu — 2004 — In E.Boiten, J.Derrick, and G.Smith (Eds.) Integrated Formal Methods 2004, Lecture Notes in Computer Science
  • …Specification and Verification of Synchronizing Concurrent Objects Gabriel Ciobanu and Dorel…
  • Add To MetaCart
  • A Rewrite Stack Machine for ROC!  
  • by Georgiana Caltais, Eugen-ioan Goriac, Dorel Lucanu, Gheorghe Grigoras, Ru Ioan Cuza Ias¸i, Georgiana Caltais, Eugen-ioan Goriac, Dorel Lucanu, Gheorghe Grigoras — 2008
  • … T A Rewrite Stack Machine for ROC! Georgiana Caltais, Eugen-Ioan Goriac Dorel Lucanu, Gheorghe…
  • Add To MetaCart
Help! Showing 1 through 10.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB