×

Şerbănuţă, Traian Florin

Compute Distance To:
Author ID: serbanuta.traian-florin Recent zbMATH articles by "Şerbănuţă, Traian Florin"
Published as: Şerbănuţă, Traian Florin; Şerbănuţă, Traian-Florin; Şerbănuţă, Traian; Şerbănută, Traian Florin; Şerbănuṭă, Traian Florin
Documents Indexed: 25 Publications since 2004
Co-Authors: 19 Co-Authors with 24 Joint Publications
259 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 139 times in 103 Documents Cited by Year
An overview of the K semantic framework. Zbl 1214.68188
Roşu, Grigore; Şerbănuţă, Traian Florin
29
2010
Extending Parikh matrices. Zbl 1071.68036
Şerbănuţă, Traian-Florin
24
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
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 rewrite framework for language definitions and for generation of efficient interpreters. Zbl 1279.68116
Hills, Mark; Şerbănuţă, Traian; Roşu, Grigore
6
2007
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.68125
Rusu, 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.68211
Ellison, Chucky; Şerbănuţă, Traian Florin; Roşu, Grigore
4
2009
Language definitions as rewrite theories. Zbl 1356.68115
Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad; Şerbănuţă, Traian-Florin; Ştefănescu, Andrei; Roşu, Grigore
3
2014
P systems with control nuclei: the concept. Zbl 1208.68125
Chira, Camelia; Şerbănuţă, Traian Florin; Ştefănescu, Gheorghe
2
2010
A semantic approach to interpolation. Zbl 1159.03023
Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore
2
2009
Operational semantics and program verification using many-sorted hybrid modal logic. Zbl 1435.68199
Leuş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 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.03314
Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore
1
2006
A many-sorted polyadic modal logic. Zbl 1471.03047
Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin
1
2020
A many-sorted polyadic modal logic. Zbl 1471.03047
Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin
1
2020
Operational semantics and program verification using many-sorted hybrid modal logic. Zbl 1435.68199
Leuş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.68125
Rusu, 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.68115
Arusoaie, 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.68188
Roşu, Grigore; Şerbănuţă, Traian Florin
29
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.68125
Chira, 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.68211
Ellison, Chucky; Şerbănuţă, Traian Florin; Roşu, Grigore
4
2009
A semantic approach to interpolation. Zbl 1159.03023
Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore
2
2009
A rewrite framework for language definitions and for generation of efficient interpreters. Zbl 1279.68116
Hills, 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.03314
Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore
1
2006
Extending Parikh matrices. Zbl 1071.68036
Şerbănuţă, Traian-Florin
24
2004
all top 5

Cited by 136 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 Hutchinson, Laura K.
2 Mercaş, Robert George
2 Mosses, Peter D.
2 Mourad, Benjamin
2 Muñoz, César A.
2 Nagar, Atulya K.
2 Nowak, David E.
2 Reidenbach, Daniel
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 Guan, Zhichao
1 Gunter, Elsa L.
1 Haschke, Lukas
1 Haustermann, Michael
1 Hills, Mark
1 Hoa, Koh Chuen
1 Hou, Zhe
1 Hu, Zhenjiang
1 Huang, Pei
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 Mereuta, Radu
1 Middeldorp, Aart
1 Mizutani, Tomohiro
...and 36 more Authors

Citations by Year