3
Publications
54
Citations
3
H-Index
2015
Active since
Affiliations
Nicolas Stucki is an author at École Polytechnique Fédérale de Lausanne specializing in engineering, computer engineering, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisComputer EngineeringFormal MethodsSoftware DesignCluster ComputingSoftware AnalysisParallel ComputingAutomated Reasoning
Publications per year
2015–2021
3
3
RRB vector: a practical general purpose immutable sequence
Nicolas Stucki, Tiark Rompf, Vlad Ureche et al. · 2015 · 23 citations · Full text
Rows per page
1–3 of 3