by Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon Moore, Traian Florin Serbanuta, Grigore Rosu
Published in Logical methods in computer science (01.01.2019)

by Leuştean, Ioana, Moangă, Natalia, Şerbănuţă, Traian Florin
Published in Fundamenta informaticae (01.01.2020)

by Leuştean, Ioana, Moangă, Natalia, Şerbănuţă, Traian Florin
Published in Electronic proceedings in theoretical computer science (02.09.2019)

by Roșu, Grigore, Șerbănută, Traian Florin
Published in The journal of logic and algebraic programming (01.08.2010)

by Rusu, Vlad, Lucanu, Dorel, Şerbănuţă, Traian-Florin, Arusoaie, Andrei, Ştefănescu, Andrei, Roşu, Grigore
Published in Journal of logical and algebraic methods in programming (01.01.2016)

by Daian, Philip, Falcone, Yliès, Meredith, Patrick, Şerbănuţă, Traian Florin, Shiriashi, Shin’ichi, Iwai, Akihito, Rosu, Grigore
Published in Runtime Verification

by Arusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad, Şerbănuţă, Traian-Florin, Ştefănescu, Andrei, Roşu, Grigore
Published in Rewriting Logic and Its Applications (01.01.2014)

by Popescu, Andrei, Şerbănuţă, Traian Florin, Roşu, Grigore
Published in Theoretical computer science (17.03.2009)

by SERBANUTA, Traian-Florin
Published in Theoretical computer science (2004)

by Chen, Feng, Serbanuta, Traian Florin, Rosu, Grigore
Published in International Conference on Software Engineering 2008 (01.01.2008)

by SERBANUTA, Traian Florin, ROSU, Grigore
Published in Lecture notes in computer science (2006)

by Leuştean, Ioana, Moangă, Natalia, Şerbănuţă, Traian Florin
Published in Journal of logical and algebraic methods in programming (01.04.2021)

by Roşu, Grigore, Şerbănuţă, Traian Florin
Published in Electronic notes in theoretical computer science (10.06.2014)

by Şerbănuţă, Traian Florin, Roşu, Grigore, Meseguer, José
Published in Information and computation (01.02.2009)

by Popescu, Andrei, Şerbănuţă, Traian Florin, Roşu, Grigore
Published in Foundations of Software Science and Computation Structures (2006)

by Leuştean, Ioana, Moangă, Natalia, Şerbănuţă, Traian Florin
Published in Automated Reasoning with Analytic Tableaux and Related Methods

by Şerbănuţă, Traian Florin, Arusoaie, Andrei, Lazar, David, Ellison, Chucky, Lucanu, Dorel, Roşu, Grigore
Published in Electronic notes in theoretical computer science (10.06.2014)

by Şerbănuţă, Traian Florin, Chen, Feng, Roşu, Grigore
Published in Runtime Verification

by Frei, Regina, Şerbănuţă, Traian Florin, Marzo Serugendo, Giovanna Di
Published in Journal of ambient intelligence and humanized computing (01.08.2014)

by Şerbănuţă, Traian Florin, Roşu, Grigore
Published in Rewriting Logic and Its Applications