conf.researchr.org / Florin Manea

Registered user since Thu 10 Nov 2022

Name:Florin Manea
Country:Germany
Affiliation:University of Göttingen

Contributions

POPL 2023 Author of On the Expressive Power of String Constraints within the POPL-track
AST 2020 Author of The Power of String Solving: Simplicity of Comparison within the AST 2020-track
FormaliSE 2020 Author of Rule-based Word Equation Solving within the FormaliSE 2020-track