Octavian Procopiuc is an author at Duke University specializing in computer science, engineering, and automated reasoning.
Top concepts
EngineeringComputer ScienceLanguageLinguisticsFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningComputational LinguisticsSyntax
Publications per year
1997–2002
5
5
Scalable Sweeping-Based Spatial Join
Lars Arge, Octavian Procopiuc, Sridhar Ramaswamy et al. · 1998 · 180 citations
A collection of tools for making automata theory and formal languages come alive
Susan H. Rodger, Anna Bilska‐Kos, Kenneth H. Leider et al. · 1997 · 54 citations
Rows per page
1–5 of 5