Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Dorel Lucanu" ( http://dblp.L3S.de/Authors/Dorel_Lucanu )

  Author page on DBLP  Author page in RDF  Community of Dorel Lucanu in ASPL-2

Publication years (Num. hits)
1994-2005 (18) 2006-2009 (20) 2010-2011 (4)
Publication types (Num. hits)
article(18) inproceedings(24)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(7) Sci. Ann. Cuza Univ.(5) SYNASC(5) CALCO(4) Workshop on Membrane Computing(4) ICFEM(2) Theor. Comput. Sci.(2) ACM SIGSOFT Software Engineeri...(1) BCI(1) ECEASST(1) Essays Dedicated to Joseph A. ...(1) FCT(1) IFM(1) Int. J. Found. Comput. Sci.(1) J. UCS(1) SBMF(1) More (+10 of total 20)
Authors
Dorel Lucanu(42) Gabriel Ciobanu(13) Eugen-Ioan Goriac(7) Oana Andrei(7) Georgiana Caltais(6) Grigore Rosu(6) Gheorghe Grigoras(5) Jin Song Dong(3) Yuan-Fang Li(3) Adriana Apetrei(1) Alexandra Silva(1) Gheorghe Stefanescu(1) Irina Mariuca Asavoae(1) Jan J. M. M. Rutten(1) Marcello M. Bonsangue(1) Mihai Danes(1) More (+10 of total 20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 17 keywords
Results
Found 42 publication records. Showing 42 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Dorel Lucanu Preface to CALCO-Tools. Search on Bibsonomy CALCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu Automating Coinduction with Case Analysis. Search on Bibsonomy ICFEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu Path Directed Symbolic Execution in the K Framework. Search on Bibsonomy SYNASC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva A Decision Procedure for Bisimilarity of Generalized Regular Expressions. Search on Bibsonomy SBMF The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gabriel Ciobanu, Dorel Lucanu Model-based Testing and Analysis of Coordinated Components. Search on Bibsonomy ECEASST The full citation details ... 2009 DBLP  BibTeX  RDF
1Dorel Lucanu Rewriting Logic-Based Semantics of P Systems and the Maximal Concurrency. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dorel Lucanu Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras Patterns for Maude Metalanguage Applications. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Oana Andrei, Dorel Lucanu Strategy-Based Proof Calculus for Membrane Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dorel Lucanu, Grigore Rosu Circular Coinduction with Special Contexts. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu Simplification and Generalization in CIRC. Search on Bibsonomy SYNASC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Grigore Rosu, Dorel Lucanu Circular Coinduction: A Proof Theoretical Foundation. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu CIRC: A Behavioral Verification Tool Based on Circular Coinduction. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gheorghe Grigoras, Dorel Lucanu, Georgiana Caltais, Eugen-Ioan Goriac Automated Proving of the Behavioral Attributes. Search on Bibsonomy BCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras Regular Strategies as Proof Tactics for CIRC. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras A Rewrite Stack Machine for ROC!. Search on Bibsonomy SYNASC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Oana Andrei, Gabriel Ciobanu, Dorel Lucanu A rewriting logic framework for operational semantics of membrane systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Dorel Lucanu Proving Behavioral Commutativity with CIRC. Search on Bibsonomy SYNASC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Dorel Lucanu, Grigore Rosu CIRC : A Circular Coinductive Prover. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gabriel Ciobanu, Dorel Lucanu Events, Causality, and Concurrency in Membrane Systems. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Oana Andrei, Dorel Lucanu, Gabriel Ciobanu Operational Semantics and Rewriting Logic in Membrane Computing. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gabriel Ciobanu, Dorel Lucanu A specification language for coordinated objects. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF coordination, temporal logic, process algebra, objects, bisimulation, classes
1Dorel Lucanu, Yuan-Fang Li, Jin Song Dong Semantic Web Languages - Towards an Institutional Perspective. Search on Bibsonomy Essays Dedicated to Joseph A. Goguen The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Oana Andrei, Gabriel Ciobanu, Dorel Lucanu Expressing Control Mechanisms of Membranes by Rewriting Strategies. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gabriel Ciobanu, Dorel Lucanu Communicating Concurrent Objects in HiddenCCS. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Mihai Danes, Dorel Lucanu, Gabriel Ciobanu Specification of Coordinated Objects and Verification of Their Temporal Properties. Search on Bibsonomy SYNASC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dorel Lucanu, Yuan-Fang Li, Jin Song Dong Soundness proof of Z semantics of OWL using institutions. Search on Bibsonomy WWW (Special interest tracks and posters) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF comorphism of institutions, OWL, Z, institution
1Dorel Lucanu, Yuan-Fang Li, Jin Song Dong Institution Morphisms for Relating OWL and Z. Search on Bibsonomy SEKE The full citation details ... 2005 DBLP  BibTeX  RDF
1Oana Andrei, Gabriel Ciobanu, Dorel Lucanu Structural Operational Semantics of P Systems. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gheorghe Grigoras, Dorel Lucanu On Hidden Algebra Semantics of Object Oriented Languages. Search on Bibsonomy Sci. Ann. Cuza Univ. The full citation details ... 2004 DBLP  BibTeX  RDF
1Gabriel Ciobanu, Dorel Lucanu Specification and Verification of Synchronizing Concurrent Objects. Search on Bibsonomy IFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification
1Dorel Lucanu, Gabriel Ciobanu Model Checking for Object Specifications in Hidden Algebra. Search on Bibsonomy VMCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF hidden algebra, object specification, behavioral bisimulation, CTL models, model checking, labeled transition systems, SMV
1Oana Andrei, Gabriel Ciobanu, Dorel Lucanu Executable Specifications of P Systems. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gabriel Ciobanu, Dorel Lucanu Cellular Meta-programming over Membranes. Search on Bibsonomy UPP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Dorel Lucanu Relaxed models for rewriting logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Dorel Lucanu Initial Logic and Induction in Algebraic Specification. Search on Bibsonomy Sci. Ann. Cuza Univ. The full citation details ... 2003 DBLP  BibTeX  RDF
1Dorel Lucanu Initial Logic and Induction in Algebraic Specification. Search on Bibsonomy Sci. Ann. Cuza Univ. The full citation details ... 2002 DBLP  BibTeX  RDF
1Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu Mixed Relations as Enriched Semiringal Categories. Search on Bibsonomy J. UCS The full citation details ... 2000 DBLP  BibTeX  RDF
1Dorel Lucanu, Ovidiu Gheorghies, Adriana Apetrei Bisimulation and Hidden Algebra. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Dorel Lucanu Axiomatization of the Coherence Property for Categories of Symmetries. Search on Bibsonomy FCT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Dorel Lucanu, Nicolae Surpatanu On Refinement in Rewriting Logic. Search on Bibsonomy Sci. Ann. Cuza Univ. The full citation details ... 1996 DBLP  BibTeX  RDF
1Dorel Lucanu Fixed-point Solutions for Ground Term Rewriting Systems. Search on Bibsonomy Sci. Ann. Cuza Univ. The full citation details ... 1994 DBLP  BibTeX  RDF
Displaying result #1 - #42 of 42 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.