3
Publications
219
Citations
3
H-Index
1997
Active since
Affiliations
Nikolas Gloy is an author at Harvard University specializing in automated reasoning, parallel computing, and engineering.
Top concepts
EngineeringData ModelingComputer ScienceProgram AnalysisParallel ComputingAutomated ReasoningComputer EngineeringParallel ProgrammingComputer ArchitectureFormal Methods
Publications per year
1997–1999
3
3
Procedure placement using temporal ordering information
Nikolas Gloy, Trevor Blackwell, Michael D. Smith et al. · 1997 · 84 citations
Engineering, Computer Architecture, Software Engineering +24
Rows per page
1–3 of 3