Edit Profile (opens in new tab) Lucanu, Dorel Co-Author Distance Author ID: lucanu.dorel Published as: Lucanu, Dorel; Lucanu, D. Homepage: https://fmse.info.uaic.ro/member/dorel-lucanu/ External Links: MGP · ORCID · Google Scholar · dblp Documents Indexed: 57 Publications since 1987 4 Contributions as Editor Reviewing Activity: 57 Reviews Co-Authors: 36 Co-Authors with 46 Joint Publications 656 Co-Co-Authors all top 5 Co-Authors 15 single-authored 14 Roşu, Grigore 9 Ciobanu, Gabriel 9 Rusu, Vlad 7 Andrei, Oana 7 Arusoaie, Andrei 6 Ciobâcă, Ştefan 4 Şerbănuţă, Traian Florin 3 Asăvoae, Irina Măriuca 3 Bonsangue, Marcello Maria 3 Caltais, Georgiana 3 Goriac, Eugen-Ioan 3 Grigoraş, Gheorghe 2 de Boer, Frank S. 2 Kleijn, Jetty 2 Rot, Jurriaan 2 Ştefănescu, Andrei 1 Aman, Bogdan 1 Apetrei, Adriana 1 Asăvoae, Mihail 1 Buruiană, Andrei Sebastian 1 Cristea, Dan 1 Dong, JinSong 1 Futatsugi, Kokichi 1 Gaĭnă, Daniel 1 Gheorghies, Ovidiu 1 Grosu, Radu 1 Koutny, Maciej 1 Leuştean, Laurenţiu 1 Li, Yuan Fang 1 Lungu, Alexandru-Ioan 1 Nowak, David E. 1 Ogata, Kazuhiro 1 Rutten, Jan J. M. M. 1 Silva, Alexandra 1 Ştefănescu, Gheorge 1 Surpăţanu, Nicolae all top 5 Serials 5 Analele Științifice ale Universității Al. I. Cuza din Iași. Serie Nouă. Informatică 5 Journal of Logical and Algebraic Methods in Programming 2 Theoretical Computer Science 2 Formal Aspects of Computing 2 Fundamenta Informaticae 1 Revue Roumaine de Mathématiques Pures et Appliquées 1 Analele Științifice ale Universității Al. I. Cuza din Iași. (Serie Nouă.) Secțiunea Ia. Matematică-Informatică 1 Bulletin Mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie. Nouvelle Série 1 Information Sciences 1 Journal of Symbolic Computation 1 International Journal of Foundations of Computer Science 1 International Journal of Computer Mathematics 1 Analele Universității din Timișoara. Seria Matematică-Informatică 1 Journal of Universal Computer Science 1 Computer Languages, Systems & Structures 1 Lecture Notes in Computer Science all top 5 Fields 60 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 3 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 2 Category theory; homological algebra (18-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 33 Publications have been cited 168 times in 101 Documents Cited by ▼ Year ▼ A rewriting logic framework for operational semantics of membrane systems. Zbl 1111.68064Andrei, Oana; Ciobanu, Gabriel; Lucanu, Dorel 27 2007 Circular coinduction: a proof theoretical foundation. Zbl 1239.68067Roşu, Grigore; Lucanu, Dorel 19 2009 CIRC: a behavioral verification tool based on circular coinduction. Zbl 1239.68066Lucanu, Dorel; Goriac, Eugen-Ioan; Caltais, Georgiana; Roşu, Grigore 13 2009 A generic framework for symbolic execution: a coinductive approach. Zbl 1356.68044Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei 12 2017 CIRC: a circular coinductive prover. Zbl 1214.68336Lucanu, Dorel; Roşu, Grigore 10 2007 Verifying reachability-logic properties on rewriting-logic specifications. Zbl 1321.68359Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei; Nowak, David 7 2015 A coinductive approach to proving reachability properties in logically constrained term rewriting systems. Zbl 1511.68132Ciobâcă, Ştefan; Lucanu, Dorel 7 2018 Strategy-based proof calculus for membrane systems. Zbl 1347.68126Andrei, Oana; Lucanu, Dorel 6 2009 Structural operational semantics of P systems. Zbl 1135.68400Andrei, Oana; Ciobanu, Gabriel; Lucanu, Dorel 6 2006 Language definitions as rewrite theories. Zbl 1356.68125Rusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore 5 2016 Expressing control mechanisms of membranes by rewriting strategies. Zbl 1187.68223Andrei, Oana; Ciobanu, Gabriel; Lucanu, Dorel 5 2006 Strategy-based rewrite semantics for membrane systems preserves maximal concurrency of evolution rule actions. Zbl 1294.68081Lucanu, Dorel 4 2009 Program equivalence by circular reasoning. Zbl 1319.68060Lucanu, Dorel; Rusu, Vlad 4 2015 Events, causality, and concurrency in membrane systems. Zbl 1137.68380Ciobanu, Gabriel; Lucanu, Dorel 4 2007 Operational semantics and rewriting logic in membrane computing. Zbl 1273.68201Andrei, Oana; Lucanu, Dorel; Ciobanu, Gabriel 4 2006 Matching logic explained. Zbl 07363403Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore 3 2021 Symbolic execution based on language transformation. Zbl 1387.68047Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad 3 2015 Language definitions as rewrite theories. Zbl 1356.68115Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad; Şerbănuţă, Traian-Florin; Ştefănescu, Andrei; Roşu, Grigore 3 2014 A language-independent proof system for full program equivalence. Zbl 1355.68051Ciobâcă, Ştefan; Lucanu, Dorel; Rusu, Vlad; Roşu, Grigore 3 2016 Semantic web languages – towards an institutional perspective. Zbl 1132.68757Lucanu, Dorel; Li, Yuan Fang; Dong, Jin Song 3 2006 A theoretical foundation for programming languages aggregation. Zbl 1472.68019Ciobâcă, Ştefan; Lucanu, Dorel; Rusu, Vlad; Roşu, Grigore 3 2015 Bisimulation and hidden algebra. Zbl 1126.08300Lucanu, Dorel; Gheorghies, Ovidiu; Apetrei, Adriana 2 1999 Executable specifications of P systems. Zbl 1117.68440Andrei, Oana; Ciobanu, Gabriel; Lucanu, Dorel 2 2005 On abstractions for timing analysis in the \(\mathbb{K}\) framework. Zbl 1367.68058Asăvoae, Mihail; Asăvoae, Irina Măriuca; Lucanu, Dorel 2 2012 A decision procedure for bisimilarity of generalized regular expressions. Zbl 1325.68127Bonsangue, Marcello; Caltais, Georgiana; Goriac, Eugen-Ioan; Lucanu, Dorel; Rutten, Jan; Silva, Alexandra 2 2011 Unification modulo builtins. Zbl 1509.68116Ciobâcă, Ştefan; Arusoaie, Andrei; Lucanu, Dorel 2 2018 Axiomatization of the coherence property for categories of symmetries. Zbl 0940.18003Lucanu, Dorel 1 1999 A representation theorem for regular array languages. Zbl 0642.68136Lucanu, Dorel 1 1987 Mixed relations as enriched semiringal categories. Zbl 0968.68030Grosu, Radu; Lucanu, Dorel; Stefanescu, Gheorge 1 2000 Relaxed models for rewriting logic. Zbl 1018.68036Lucanu, Dorel 1 2003 On automation of OTS/CafeOBJ method. Zbl 1407.68308Găină, Daniel; Lucanu, Dorel; Ogata, Kazuhiro; Futatsugi, Kokichi 1 2014 Interacting via the heap in the presence of recursion. Zbl 1433.68218Rot, Jurriaan; Asăvoae, Irina Măriuca; De Boer, Frank; Bonsangue, Marcello M.; Lucanu, Dorel 1 2012 Connecting constrained constructor patterns and matching logic. Zbl 1517.68157Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore 1 2020 Matching logic explained. Zbl 07363403Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore 3 2021 Connecting constrained constructor patterns and matching logic. Zbl 1517.68157Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore 1 2020 A coinductive approach to proving reachability properties in logically constrained term rewriting systems. Zbl 1511.68132Ciobâcă, Ştefan; Lucanu, Dorel 7 2018 Unification modulo builtins. Zbl 1509.68116Ciobâcă, Ştefan; Arusoaie, Andrei; Lucanu, Dorel 2 2018 A generic framework for symbolic execution: a coinductive approach. Zbl 1356.68044Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei 12 2017 Language definitions as rewrite theories. Zbl 1356.68125Rusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore 5 2016 A language-independent proof system for full program equivalence. Zbl 1355.68051Ciobâcă, Ştefan; Lucanu, Dorel; Rusu, Vlad; Roşu, Grigore 3 2016 Verifying reachability-logic properties on rewriting-logic specifications. Zbl 1321.68359Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei; Nowak, David 7 2015 Program equivalence by circular reasoning. Zbl 1319.68060Lucanu, Dorel; Rusu, Vlad 4 2015 Symbolic execution based on language transformation. Zbl 1387.68047Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad 3 2015 A theoretical foundation for programming languages aggregation. Zbl 1472.68019Ciobâcă, Ştefan; Lucanu, Dorel; Rusu, Vlad; Roşu, Grigore 3 2015 Language definitions as rewrite theories. Zbl 1356.68115Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad; Şerbănuţă, Traian-Florin; Ştefănescu, Andrei; Roşu, Grigore 3 2014 On automation of OTS/CafeOBJ method. Zbl 1407.68308Găină, Daniel; Lucanu, Dorel; Ogata, Kazuhiro; Futatsugi, Kokichi 1 2014 On abstractions for timing analysis in the \(\mathbb{K}\) framework. Zbl 1367.68058Asăvoae, Mihail; Asăvoae, Irina Măriuca; Lucanu, Dorel 2 2012 Interacting via the heap in the presence of recursion. Zbl 1433.68218Rot, Jurriaan; Asăvoae, Irina Măriuca; De Boer, Frank; Bonsangue, Marcello M.; Lucanu, Dorel 1 2012 A decision procedure for bisimilarity of generalized regular expressions. Zbl 1325.68127Bonsangue, Marcello; Caltais, Georgiana; Goriac, Eugen-Ioan; Lucanu, Dorel; Rutten, Jan; Silva, Alexandra 2 2011 Circular coinduction: a proof theoretical foundation. Zbl 1239.68067Roşu, Grigore; Lucanu, Dorel 19 2009 CIRC: a behavioral verification tool based on circular coinduction. Zbl 1239.68066Lucanu, Dorel; Goriac, Eugen-Ioan; Caltais, Georgiana; Roşu, Grigore 13 2009 Strategy-based proof calculus for membrane systems. Zbl 1347.68126Andrei, Oana; Lucanu, Dorel 6 2009 Strategy-based rewrite semantics for membrane systems preserves maximal concurrency of evolution rule actions. Zbl 1294.68081Lucanu, Dorel 4 2009 A rewriting logic framework for operational semantics of membrane systems. Zbl 1111.68064Andrei, Oana; Ciobanu, Gabriel; Lucanu, Dorel 27 2007 CIRC: a circular coinductive prover. Zbl 1214.68336Lucanu, Dorel; Roşu, Grigore 10 2007 Events, causality, and concurrency in membrane systems. Zbl 1137.68380Ciobanu, Gabriel; Lucanu, Dorel 4 2007 Structural operational semantics of P systems. Zbl 1135.68400Andrei, Oana; Ciobanu, Gabriel; Lucanu, Dorel 6 2006 Expressing control mechanisms of membranes by rewriting strategies. Zbl 1187.68223Andrei, Oana; Ciobanu, Gabriel; Lucanu, Dorel 5 2006 Operational semantics and rewriting logic in membrane computing. Zbl 1273.68201Andrei, Oana; Lucanu, Dorel; Ciobanu, Gabriel 4 2006 Semantic web languages – towards an institutional perspective. Zbl 1132.68757Lucanu, Dorel; Li, Yuan Fang; Dong, Jin Song 3 2006 Executable specifications of P systems. Zbl 1117.68440Andrei, Oana; Ciobanu, Gabriel; Lucanu, Dorel 2 2005 Relaxed models for rewriting logic. Zbl 1018.68036Lucanu, Dorel 1 2003 Mixed relations as enriched semiringal categories. Zbl 0968.68030Grosu, Radu; Lucanu, Dorel; Stefanescu, Gheorge 1 2000 Bisimulation and hidden algebra. Zbl 1126.08300Lucanu, Dorel; Gheorghies, Ovidiu; Apetrei, Adriana 2 1999 Axiomatization of the coherence property for categories of symmetries. Zbl 0940.18003Lucanu, Dorel 1 1999 A representation theorem for regular array languages. Zbl 0642.68136Lucanu, Dorel 1 1987 all cited Publications top 5 cited Publications all top 5 Cited by 156 Authors 21 Lucanu, Dorel 11 Roşu, Grigore 10 Ciobanu, Gabriel 8 Rusu, Vlad 7 Gheorghe, Marian 7 Milazzo, Paolo 6 Barbuti, Roberto 6 Ipate, Florentin 6 Meseguer Guaita, José 5 Agrigoroaiei, Oana 5 Arusoaie, Andrei 5 Bonsangue, Marcello Maria 5 Maggiolo-Schettini, Andrea 5 Martí-Oliet, Narciso 5 Rutten, Jan J. M. M. 4 Caltais, Georgiana 4 Futatsugi, Kokichi 4 Rubio, Rubén 4 Silva, Alexandra 4 Tini, Simone 3 Aman, Bogdan 3 Andrei, Oana 3 Goriac, Eugen-Ioan 3 Ogata, Kazuhiro 3 Pardini, Giovanni 3 Şerbănuţă, Traian Florin 3 Verdejo, Alberto 2 Alpuente, María 2 Bonchi, Filippo 2 Capretta, Venanzio 2 Ciobâcă, Ştefan 2 Cohen, Liron 2 Diaconescu, Răzvan 2 Eker, Steven 2 Escobar, Santiago 2 García-Quismondo, Manuel 2 Grigoraş, Gheorghe 2 Lefticaru, Raluca 2 Martins, Manuel António 2 Muñoz, César A. 2 Nowak, David E. 2 Păun, Gheorghe 2 Pérez-Jiménez, Mario J. 2 Pita, Isabel 2 Rocha, Camilo 2 Ştefănescu, Gheorghe 2 Todoran, Eneia Nicolae 2 Valencia-Cabrera, Luis 2 Vaszil, Gyorgy 2 Zantema, Hans 1 Alhazov, Artiom 1 Babenyshev, Sergey 1 Baldan, Paolo 1 Barbosa, Luís Soares 1 Basold, Henning 1 Basuki, Thomas Anung 1 Battyányi, Péter 1 Bernardini, Francesco 1 Blanchette, Jasmin Christian 1 Bouzy, Aymeric 1 Bove, Pasquale 1 Buruiană, Andrei Sebastian 1 Cavaliere, Matteo 1 Cerone, Antonio 1 Chira, Camelia 1 Csuhaj-Varjú, Erzsébet 1 Cuenca-Ortega, Angel 1 de Boer, Frank S. 1 Díaz-Pernil, Daniel 1 Dowek, Gilles 1 Duan, Yingying 1 Dumitrache, Ion 1 Durán, Francisco 1 Ernst, Gidon 1 Freund, Rudolf 1 Gadducci, Fabio 1 Gaĭnă, Daniel 1 Giavitto, Jean-Louis 1 Gutiérrez-Naranjo, Miguel A. 1 Hanaoka, Goichiro 1 Hansen, Helle Hvid 1 Hennicker, Rolf 1 Hinze, Thomas 1 Ivanov, Sergiu 1 Kitagawa, Fuyuki 1 Klaudel, Hanna 1 Kojima, Misaki 1 Konur, Savas 1 Kozen, Dexter C. 1 Krasnogor, Natalio 1 Krauss, Alexander 1 Krieg-Brückner, Bernd 1 Krithivasan, Kamala 1 Kupke, Clemens 1 Leporati, Alberto 1 Lescanne, Pierre 1 Lochbihler, Andreas 1 Lungu, Alexandru-Ioan 1 Macías-Ramos, Luis-Felipe 1 Madeira, Alexandre ...and 56 more Authors all top 5 Cited in 18 Serials 17 Theoretical Computer Science 14 Journal of Logical and Algebraic Methods in Programming 5 The Journal of Logic and Algebraic Programming 4 Formal Aspects of Computing 2 Acta Informatica 2 Studia Logica 2 Information and Computation 2 International Journal of Foundations of Computer Science 2 Natural Computing 1 Information Sciences 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Computer Mathematics 1 Fundamenta Informaticae 1 Journal of Applied Logic 1 Logical Methods in Computer Science 1 Journal of Membrane Computing all top 5 Cited in 8 Fields 99 Computer science (68-XX) 23 Mathematical logic and foundations (03-XX) 4 Category theory; homological algebra (18-XX) 4 Biology and other natural sciences (92-XX) 2 General algebraic systems (08-XX) 1 History and biography (01-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year