Dorel Lucanu 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	1314	350
h 指数	19	11
i10 指数	39	11

120

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

开放获取的出版物数量

查看全部

4 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Grigore RosuUniversity of Illinois at Urbana Champaign在 illinois.edu 的电子邮件经过验证
Andrei ArusoaieAssociate Professor at Faculty of Computer Science, Alexandru Ioan Cuza University在 uaic.ro 的电子邮件经过验证
Vlad RusuInria在 inria.fr 的电子邮件经过验证
Gabriel CiobanuRomanian Academy, Iasi在 iit.academiaromana-is.ro 的电子邮件经过验证
Oana AndreiSchool of Computing Science, University of Glasgow在 glasgow.ac.uk 的电子邮件经过验证
Traian Florin ȘerbănuțăUniversity of Bucharest在 unibuc.ro 的电子邮件经过验证
Stefan CiobacaAlexandru Ioan Cuza University在 info.uaic.ro 的电子邮件经过验证
Eugen-Ioan GoriacReykjavik University在 ru.is 的电子邮件经过验证
Chucky EllisonPhD Graduate from University of Illinois在 freefour.com 的电子邮件经过验证
Jin Song DongProfessor of Computer Science, National University of Singapore在 nus.edu.sg 的电子邮件经过验证
Yuan-Fang LiMonash University在 monash.edu 的电子邮件经过验证
Gheorghe GrigorasProfessor of Computer Science, Alexandru Ioan Cuza University of Iasi, Romania在 info.uaic.ro 的电子邮件经过验证
Gavrilut DragosBitdefender, Al. I. Cuza University在 bitdefender.com 的电子邮件经过验证
Marcello BonsangueProfessor of Computer Science, Leiden University在 liacs.leidenuniv.nl 的电子邮件经过验证
Vlad Constantin CraciunTeaching assistant, "Alexandru Ioan Cuza" University of Iasi在 bitdefender.com 的电子邮件经过验证
David LazarMIT CSAIL在 mit.edu 的电子邮件经过验证
Kokichi FUTATSUGIProfessor of Computer Science, JAIST在 jaist.ac.jp 的电子邮件经过验证
Andrei StefanescuResearch Engineer, Galois Inc在 stefanescu.io 的电子邮件经过验证
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.在 cwi.nl 的电子邮件经过验证
Jurriaan RotRadboud University在 cs.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	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	62	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	38	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	31	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	27	2021
K Framework Distilled D Lucanu, TF Şerbănuţă, G Roşu Rewriting Logic and Its Applications, 31-53, 2012	24	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用