Concepedia
Statistics
Publications
2
Citations
95
H-Index
Active since
1984
Jacob Levy is an author specializing in formal verification, engineering, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationLogic ProgrammingParallel ComputingAutomated ReasoningSystems EngineeringParallel ProgrammingCombinatorial Optimization
Publications per year
1984–1990
Janus: a step towards distributed constraint programming
Vijay Saraswat, Ken Kahn, Jacob Levy · Conference on Logic Programming · 1990 · 85 citations
Constraint Solving, Engineering, Constraint Satisfaction +8
A Unification Algorithm for Concurrent Prolog.
Jacob Levy · International Conference on Lightning Protection · 1984 · 10 citations
Computational Logic, Engineering, Automated Reasoning +6
1–2 of 2