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 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 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 Fundamenta informaticae (01.01.2020)

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

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

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

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 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 Ş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

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

by Daian, Philip, Guth, Dwight, Hathhorn, Chris, Li, Yilong, Pek, Edgar, Saxena, Manasvi, Şerbănuţă, Traian Florin, Roşu, Grigore
Published in Runtime Verification

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

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

by Şerbănuţă, Traian Florin, Dinu, Liviu P.
Published in Rewriting Logic and Its Applications (2016)