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

by Roșu, Grigore
Published in Logic, Rewriting, and Concurrency (2015)

by Legunsen, Owolabi, Rosu, Grigore
Year of Publication 2022

by Grigore Rosu
Published in Logical methods in computer science (01.01.2017)

by Fisman, Dana, Rosu, Grigore
Year of Publication 2022

by Fisman, Dana, Rosu, Grigore
Year of Publication 2022

by Roşu, Grigore
Published in Formal methods in system design (01.08.2018)

Year of Publication 2022

Year of Publication 2022

by Chen, Xiaohong, Roşu, Grigore
Published in Proceedings of ACM on programming languages (02.08.2020)

by Meredith, Patrick O’Neil, Jin, Dongyun, Griffith, Dennis, Chen, Feng, Roşu, Grigore
Published in International journal on software tools for technology transfer (01.06.2012)

by Chen, Xiaohong, Lucanu, Dorel, Roşu, Grigore
Published in Journal of logical and algebraic methods in programming (01.04.2021)

by Popescu, Andrei, Roşu, Grigore
Published in Theoretical computer science (27.04.2015)

by Chen, Xiaohong, Lucanu, Dorel, Roşu, Grigore
Published in Journal of logical and algebraic methods in programming (01.01.2023)

by Hildenbrandt, Everett, Saxena, Manasvi, Rodrigues, Nishant, Zhu, Xiaoran, Daian, Philip, Guth, Dwight, Moore, Brandon, Park, Daejun, Zhang, Yi, Stefanescu, Andrei, Rosu, Grigore
Published in 2018 IEEE 31st Computer Security Foundations Symposium (CSF) (01.07.2018)

by Roşu, Grigore
Published in Runtime Verification

by Lin, Zhengyao, Chen, Xiaohong, Trinh, Minh-Thai, Wang, John, Roşu, Grigore
Published in Proceedings of ACM on programming languages (06.04.2023)

by Meseguer, José, Roşu, Grigore
Published in Theoretical computer science (05.04.2007)

by Meseguer, José, Roşu, Grigore
Published in Information and computation (01.10.2013)

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