Dorel Lucanu

Cited by

	All	Since 2019
Citations	1328	363
h-index	19	11
i10-index	39	12

120

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 8 13 4 10 9 15 32 30 38 44 78 47 56 67 77 111 92 58 75 50 57 53 65 76 60 48

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Andrei ArusoaieAssociate Professor at Faculty of Computer Science, Alexandru Ioan Cuza UniversityVerified email at uaic.ro
Vlad RusuInriaVerified email at inria.fr
Gabriel CiobanuRomanian Academy, IasiVerified email at iit.academiaromana-is.ro
Oana AndreiSchool of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Traian Florin ȘerbănuțăUniversity of BucharestVerified email at unibuc.ro
Stefan CiobacaAlexandru Ioan Cuza UniversityVerified email at info.uaic.ro
Eugen-Ioan GoriacReykjavik UniversityVerified email at ru.is
Chucky EllisonPhD Graduate from University of IllinoisVerified email at freefour.com
Jin Song DongProfessor of Computer Science, National University of SingaporeVerified email at nus.edu.sg
Yuan-Fang LiMonash UniversityVerified email at monash.edu
Gavrilut DragosBitdefender, Al. I. Cuza UniversityVerified email at bitdefender.com
Gheorghe GrigorasProfessor of Computer Science, Alexandru Ioan Cuza University of Iasi, RomaniaVerified email at info.uaic.ro
Vlad Constantin CraciunTeaching assistant, "Alexandru Ioan Cuza" University of IasiVerified email at bitdefender.com
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
David LazarMIT CSAILVerified email at mit.edu
Kokichi FUTATSUGIProfessor of Computer Science, JAISTVerified email at jaist.ac.jp
Andrei StefanescuResearch Engineer, Galois IncVerified email at stefanescu.io
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Jurriaan RotRadboud UniversityVerified email at cs.ru.nl

Dorel Lucanu

Professor of Computer Science, Alexandru Ioan Cuza University, Iasi, RO

Verified email at info.uaic.ro - Homepage

Formal Methods Software Engineering Program Semantics Rewriting


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Circular coinduction: A proof theoretical foundation G Roşu, D Lucanu International Conference on Algebra and Coalgebra in Computer Science, 127-144, 2009	95	2009
A rewriting logic framework for operational semantics of membrane systems O Andrei, G Ciobanu, D Lucanu Theoretical Computer Science 373 (3), 163-181, 2007	90	2007
A comparison of open-source static analysis tools for vulnerability detection in c/c++ code A Arusoaie, S Ciobâca, V Craciun, D Gavrilut, D Lucanu 2017 19th International Symposium on Symbolic and Numeric Algorithms for …, 2017	66	2017
CIRC: A behavioral verification tool based on circular coinduction D Lucanu, EI Goriac, G Caltais, G Roşu Algebra and Coalgebra in Computer Science: Third International Conference …, 2009	57	2009
CIRC: A circular coinductive prover D Lucanu, G Roşu International Conference on Algebra and Coalgebra in Computer Science, 372-378, 2007	46	2007
Executable specifications of P systems O Andrei, G Ciobanu, D Lucanu International Workshop on Membrane Computing, 126-145, 2004	46	2004
A language-independent proof system for full program equivalence Ş Ciobâcă, D Lucanu, V Rusu, G Roşu Formal Aspects of Computing 28, 469-497, 2016	45	2016
Concurrent object composition in CafeOBJ S Iida, M Matsumoto, R Diaconescu, K Futatsugi, D Lucanu 北陸先端科学技術大学院大学情報科学研究科, 1998	40	1998
Program equivalence by circular reasoning D Lucanu, V Rusu Formal Aspects of Computing 27, 701-726, 2015	39	2015
A generic framework for symbolic execution A Arusoaie, D Lucanu, V Rusu International Conference on Software Language Engineering, 281-301, 2013	37*	2013
The K primer (version 3.3) A Arusoaie, D Lazar, C Ellison, D Lucanu	37*	2013
Structural operational semantics of P systems O Andrei, G Ciobanu, D Lucanu International Workshop on Membrane Computing, 31-48, 2005	36	2005
A generic framework for symbolic execution: A coinductive approach D Lucanu, V Rusu, A Arusoaie Journal of Symbolic Computation 80, 125-163, 2017	35	2017
A coinductive approach to proving reachability properties in logically constrained term rewriting systems Ş Ciobâcă, D Lucanu Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018	33	2018
Verifying reachability-logic properties on rewriting-logic specifications D Lucanu, V Rusu, A Arusoaie, D Nowak Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015	29	2015
Matching logic explained X Chen, D Lucanu, G Roşu Journal of Logical and Algebraic Methods in Programming 120, 100638, 2021	28	2021
K Framework Distilled D Lucanu, TF Şerbănuţă, G Roşu Rewriting Logic and Its Applications, 31-53, 2012	25	2012
Semantic web languages–towards an institutional perspective D Lucanu, YF Li, JS Dong Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on …, 2006	22	2006
Language definitions as rewrite theories V Rusu, D Lucanu, TF Şerbănuţă, A Arusoaie, A Ştefănescu, G Roşu Journal of Logical and Algebraic Methods in Programming 85 (1), 98-120, 2016	21	2016
Operational semantics and rewriting logic in membrane computing O Andrei, D Lucanu, G Ciobanu Electronic Notes in Theoretical Computer Science 156 (1), 57-78, 2006	18	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors