1
Publications
74
Citations
1
H-Index
2018
Active since
Alexandru Duțu is an author specializing in formal methods, parallel programming, and system software.
Top concepts
CompilersEngineeringGpu ComputingFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisParallel Computing
Publications per year
2018–2018
1
1
Rows per page
1–1 of 1