2
Publications
109
Citations
2
H-Index
2008
Active since
Affiliations
Alexey Rodriguez is an author at Open University of the Netherlands specializing in formal verification, formal methods, and automated reasoning.
Top concepts
EngineeringData ScienceFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSyntaxManagement
Publications per year
2008–2008
2
2
Comparing libraries for generic programming in haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson et al. · 2008 · 70 citations
A lightweight approach to datatype-generic rewriting
Thomas van Noort, Alexey Rodriguez, Stefan Holdermans et al. · 2008 · 39 citations
Rows per page
1–2 of 2