4
Publications
839
Citations
4
H-Index
1966
Active since
Affiliations
G. Jacopini is an author at Istituto per le Applicazioni del Calcolo Mauro Picone specializing in engineering, parallel computing, and parallel programming.
Top concepts
EngineeringFormal MethodsComputer ScienceProof ComplexityParallel ComputingAutomated ReasoningFunctional AnalysisParallel ProgrammingComputer ArchitectureComputational Complexity
Publications per year
1966–1990
4
4
Rows per page
1–4 of 4