Edit Profile (opens in new tab) Şerbănuţă, Traian Florin Compute Distance To: Compute Author ID: serbanuta.traian-florin Published as: Şerbănuţă, Traian Florin; Şerbănuţă, Traian-Florin; Şerbănuţă, Traian; Şerbănută, Traian Florin; Şerbănuṭă, Traian Florin more...less Documents Indexed: 25 Publications since 2004 Co-Authors: 19 Co-Authors with 24 Joint Publications 250 Co-Co-Authors all top 5 Co-Authors 1 single-authored 17 Roşu, Grigore 4 Lucanu, Dorel 4 Ştefănescu, Andrei 3 Arusoaie, Andrei 3 Ciobâcă, Ştefan 3 Leuştean, Ioana 3 Moangă, Natalia 3 Rusu, Vlad 2 Mereuta, Radu 2 Meseguer Guaita, José 2 Moore, Brandon M. 2 Popescu, Andrei 2 Ştefănescu, Gheorghe 1 Chira, Camelia 1 Chiriţă, Claudia Elena 1 Dinu, Liviu Petrişor 1 Ellison, Chucky 1 Hills, Mark 1 Şerbănuţă, Virgil Nicolae all top 5 Serials 2 Theoretical Computer Science 2 Fundamenta Informaticae 2 The Journal of Logic and Algebraic Programming 2 Journal of Logical and Algebraic Methods in Programming 1 Revue Roumaine de Mathématiques Pures et Appliquées 1 Information and Computation 1 Logical Methods in Computer Science Fields 25 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 19 Publications have been cited 137 times in 101 Documents Cited by ▼ Year ▼ An overview of the K semantic framework. Zbl 1214.68188Roşu, Grigore; Şerbănuţă, Traian Florin 28 2010 Extending Parikh matrices. Zbl 1071.68036Şerbănuţă, Traian-Florin 23 2004 Injectivity of the Parikh matrix mappings revisited. Zbl 1104.68058Şerbănuţă, Virgil Nicolae; Şerbănuţă, Traian Florin 16 2006 All-path reachability logic. Zbl 1416.68052Ştefănescu, Andrei; Ciobâcă, Ştefan; Mereuta, Radu; Moore, Brandon M.; Şerbănută, Traian Florin; Roşu, Grigore 12 2014 A rewriting logic approach to operational semantics. Zbl 1165.68041Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José 11 2009 Computationally equivalent elimination of conditions. Zbl 1151.68438Şerbănuţă, Traian Florin; Roşu, Grigore 9 2006 A rewrite framework for language definitions and for generation of efficient interpreters. Zbl 1279.68116Hills, Mark; Şerbănuţă, Traian; Roşu, Grigore 6 2007 Defining and executing P systems with structured data in K. Zbl 1196.68084Şerbănuţă, Traian; Ştefănescu, Gheorghe; Roşu, Grigore 6 2009 K-Maude: a rewriting based tool for semantics of programming languages. Zbl 1306.68088Şerbănuţă, Traian Florin; Roşu, Grigore 5 2010 Language definitions as rewrite theories. Zbl 1356.68125Rusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore 4 2016 A rewriting logic approach to type inference. Zbl 1253.68211Ellison, Chucky; Şerbănuţă, Traian Florin; Roşu, Grigore 4 2009 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 semantic approach to interpolation. Zbl 1159.03023Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore 2 2009 P systems with control nuclei: the concept. Zbl 1208.68125Chira, Camelia; Şerbănuţă, Traian Florin; Ştefănescu, Gheorghe 2 2010 Operational semantics and program verification using many-sorted hybrid modal logic. Zbl 1435.68199Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin 2 2019 All-path reachability logic. Zbl 1421.68015Ştefănescu, Andrei; Ciobâcă, Stefan; Mereuta, Radu; Moore, Brandon; Roşu, Grigore; Şerbănuṭă, Traian Florin 1 2019 A many-sorted polyadic modal logic. Zbl 1471.03047Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin 1 2020 A truly concurrent semantics for the \(\mathbb{K}\) framework based on graph transformations. Zbl 1367.68179Şerbănuţă, Traian Florin; Roşu, Grigore 1 2012 A semantic approach to interpolation. Zbl 1159.03314Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore 1 2006 A many-sorted polyadic modal logic. Zbl 1471.03047Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin 1 2020 Operational semantics and program verification using many-sorted hybrid modal logic. Zbl 1435.68199Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin 2 2019 All-path reachability logic. Zbl 1421.68015Ştefănescu, Andrei; Ciobâcă, Stefan; Mereuta, Radu; Moore, Brandon; Roşu, Grigore; Şerbănuṭă, Traian Florin 1 2019 Language definitions as rewrite theories. Zbl 1356.68125Rusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore 4 2016 All-path reachability logic. Zbl 1416.68052Ştefănescu, Andrei; Ciobâcă, Ştefan; Mereuta, Radu; Moore, Brandon M.; Şerbănută, Traian Florin; Roşu, Grigore 12 2014 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 truly concurrent semantics for the \(\mathbb{K}\) framework based on graph transformations. Zbl 1367.68179Şerbănuţă, Traian Florin; Roşu, Grigore 1 2012 An overview of the K semantic framework. Zbl 1214.68188Roşu, Grigore; Şerbănuţă, Traian Florin 28 2010 K-Maude: a rewriting based tool for semantics of programming languages. Zbl 1306.68088Şerbănuţă, Traian Florin; Roşu, Grigore 5 2010 P systems with control nuclei: the concept. Zbl 1208.68125Chira, Camelia; Şerbănuţă, Traian Florin; Ştefănescu, Gheorghe 2 2010 A rewriting logic approach to operational semantics. Zbl 1165.68041Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José 11 2009 Defining and executing P systems with structured data in K. Zbl 1196.68084Şerbănuţă, Traian; Ştefănescu, Gheorghe; Roşu, Grigore 6 2009 A rewriting logic approach to type inference. Zbl 1253.68211Ellison, Chucky; Şerbănuţă, Traian Florin; Roşu, Grigore 4 2009 A semantic approach to interpolation. Zbl 1159.03023Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore 2 2009 A rewrite framework for language definitions and for generation of efficient interpreters. Zbl 1279.68116Hills, Mark; Şerbănuţă, Traian; Roşu, Grigore 6 2007 Injectivity of the Parikh matrix mappings revisited. Zbl 1104.68058Şerbănuţă, Virgil Nicolae; Şerbănuţă, Traian Florin 16 2006 Computationally equivalent elimination of conditions. Zbl 1151.68438Şerbănuţă, Traian Florin; Roşu, Grigore 9 2006 A semantic approach to interpolation. Zbl 1159.03314Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore 1 2006 Extending Parikh matrices. Zbl 1071.68036Şerbănuţă, Traian-Florin 23 2004 all cited Publications top 5 cited Publications all top 5 Cited by 132 Authors 13 Teh, Wen Chean 11 Roşu, Grigore 10 Meseguer Guaita, José 9 Rusu, Vlad 8 Şerbănuţă, Traian Florin 7 Poovanandran, Ghajendran 7 Salomaa, Arto Kustaa 6 Arusoaie, Andrei 6 Lucanu, Dorel 6 Subramanian, Kumbakonam Govindarajan 5 Mahalingam, Kalpana 4 Atanasiu, Adrian 4 Černý, Anton 4 Nishida, Naoki 3 Bera, Somnath 3 Cimini, Matteo 3 Gmeiner, Karl 3 Lucas, Salvador 2 Abdullah, Rosni 2 Alazemi, Hamed M. K. 2 Ciobâcă, Ştefan 2 Escobar, Santiago 2 Fava, Daniel Schnetzer 2 Mosses, Peter D. 2 Mourad, Benjamin 2 Muñoz, César A. 2 Nagar, Atulya K. 2 Nowak, David E. 2 Rocha, Camilo 2 Sakai, Masahiko 2 Ştefănescu, Andrei 2 Ştefănescu, Gheorghe 2 Steffen, Martin 2 Stolz, Volker 1 Ahmad, Azhana 1 Alpuente, María 1 AlTurki, Musab A. 1 Bettini, Lorenzo 1 Biernacka, Małgorzata 1 Boronat, Artur 1 Bugliesi, Michele 1 Buro, Samuele 1 Caltais, Georgiana 1 Calzavara, Stefano 1 Ceterchi, Rodica 1 Charatonik, Witold 1 Cheney, James 1 Chern, Zi Jing 1 Chira, Camelia 1 Cirstea, Horatiu 1 Cohen, Liron 1 Crole, Roy L. 1 Cuenca-Ortega, Angel 1 Diaconescu, Răzvan 1 Dick, Jeffery 1 Dinu, Liviu Petrişor 1 Dong, JinSong 1 Dowek, Gilles 1 Durán, Francisco 1 Eker, Steven 1 Ellison, Chucky 1 Fazekas, Szilárd Zsolt 1 Fleischmann, Pamela 1 Focardi, Riccardo 1 Futatsugi, Kokichi 1 Gottliebsen, Hanne 1 Gramlich, Bernhard 1 Gunter, Elsa L. 1 Haschke, Lukas 1 Haustermann, Michael 1 Hills, Mark 1 Hoa, Koh Chuen 1 Hou, Zhe 1 Huang, Pei 1 Hutchinson, Laura K. 1 Johansen, Christian 1 Keisler, Howard Jerome 1 Keisler, Jeffrey M. 1 Klumpp, Dominik 1 Kop, Cynthia 1 Kwa, Kiam-Heong 1 Lenzen, Philip 1 Lermusiaux, Pierre F. J. 1 Leuştean, Ioana 1 Li, Liyi 1 Li, Rundong 1 Liu, Minghao 1 Liu, Yang 1 Lochbihler, Andreas 1 Ma, Feifei 1 Manea, Florin 1 Martí-Oliet, Narciso 1 Mastroeni, Isabella 1 Mercaş, Robert George 1 Mereuta, Radu 1 Middeldorp, Aart 1 Mizutani, Tomohiro 1 Moangă, Natalia 1 Moldt, Daniel 1 Momigliano, Alberto ...and 32 more Authors all top 5 Cited in 20 Serials 16 Journal of Logical and Algebraic Methods in Programming 15 International Journal of Foundations of Computer Science 12 Theoretical Computer Science 4 Formal Aspects of Computing 3 Journal of Automated Reasoning 3 The Journal of Logic and Algebraic Programming 2 Journal of Computer and System Sciences 2 Logical Methods in Computer Science 1 Acta Informatica 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Annals of Pure and Applied Logic 1 Journal of Symbolic Computation 1 Information and Computation 1 Indagationes Mathematicae. New Series 1 Higher-Order and Symbolic Computation 1 Theory and Practice of Logic Programming 1 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 1 Computer Languages, Systems & Structures 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 9 Fields 101 Computer science (68-XX) 21 Mathematical logic and foundations (03-XX) 4 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) Citations by Year