Dorel Lucanu

인용

	전체	2020년 이후
서지정보	1366	341
h-index	19	10
i10-index	40	11

120

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420255 8 13 4 10 9 15 33 29 38 44 78 47 55 68 76 113 92 58 75 50 58 50 65 76 61 69 14

공개 액세스

모두 보기

자료 4개

자료 0개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Grigore RosuUniversity of Illinois at Urbana Champaignillinois.edu의 이메일 확인됨
Andrei ArusoaieAssociate Professor at Faculty of Computer Science, Alexandru Ioan Cuza Universityuaic.ro의 이메일 확인됨
Vlad RusuInriainria.fr의 이메일 확인됨
Gabriel CiobanuRomanian Academy, Iasiiit.academiaromana-is.ro의 이메일 확인됨
Oana AndreiSchool of Computing Science, University of Glasgowglasgow.ac.uk의 이메일 확인됨
Traian Florin ȘerbănuțăUniversity of Bucharestunibuc.ro의 이메일 확인됨
Stefan CiobacaAlexandru Ioan Cuza Universityinfo.uaic.ro의 이메일 확인됨
Eugen-Ioan GoriacReykjavik Universityru.is의 이메일 확인됨
Chucky EllisonPhD Graduate from University of Illinoisfreefour.com의 이메일 확인됨
Gavrilut DragosBitdefender, Al. I. Cuza Universitybitdefender.com의 이메일 확인됨
Jin Song DongProfessor of Computer Science, National University of Singaporenus.edu.sg의 이메일 확인됨
Yuan-Fang LiOracle, Monash Universitymonash.edu의 이메일 확인됨
Vlad Constantin CraciunTeaching assistant, "Alexandru Ioan Cuza" University of Iasibitdefender.com의 이메일 확인됨
Gheorghe GrigorasProfessor of Computer Science, Alexandru Ioan Cuza University of Iasi, Romaniainfo.uaic.ro의 이메일 확인됨
Marcello BonsangueProfessor of Computer Science, Leiden Universityliacs.leidenuniv.nl의 이메일 확인됨
David LazarMIT CSAILmit.edu의 이메일 확인됨
Kokichi FUTATSUGIProfessor of Computer Science, JAISTjaist.ac.jp의 이메일 확인됨
Andrei StefanescuResearch Engineer, Galois Incstefanescu.io의 이메일 확인됨
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.cwi.nl의 이메일 확인됨
Jurriaan RotRadboud Universitycs.ru.nl의 이메일 확인됨

팔로우

Dorel Lucanu

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

info.uaic.ro의 이메일 확인됨 - 홈페이지

Formal Methods Software Engineering Program Semantics Rewriting


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
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	92	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	76	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
A generic framework for symbolic execution A Arusoaie, D Lucanu, V Rusu International Conference on Software Language Engineering, 281-301, 2013	41*	2013
Concurrent object composition in CafeOBJ S Iida, M Matsumoto, R Diaconescu, K Futatsugi, D Lucanu 北陸先端科学技術大学院大学情報科学研究科, 1998	40	1998
A generic framework for symbolic execution: A coinductive approach D Lucanu, V Rusu, A Arusoaie Journal of Symbolic Computation 80, 125-163, 2017	39	2017
Program equivalence by circular reasoning D Lucanu, V Rusu Formal Aspects of Computing 27, 701-726, 2015	39	2015
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 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	34	2018
Matching logic explained X Chen, D Lucanu, G Roşu Journal of Logical and Algebraic Methods in Programming 120, 100638, 2021	32	2021
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
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	23	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
Executing Formal Semantics with the K Tool D Lazar, A Arusoaie, TF Şerbǎnuţǎ, C Ellison, R Mereuta, D Lucanu, ... FM 2012: Formal Methods, 267-271, 2012	18	2012

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자