Concepedia

Dejan Jovanović

DJ

12

Publications

573

Citations

12

H-Index

1990

Active since

Affiliations

SRI International(Current)

New York University

Microsoft (United States)

Princeton University

Dejan Jovanović is an author at SRI International specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringFormal MethodsAutomated ReasoningFormal VerificationVerificationProgram AnalysisSoftware Analysis

Publications per year

1990–2016

12

Publications

12

Tactical Scheduling of Rail Operations: The SCAN I System

Dejan Jovanović, Patrick T. Harker · Transportation Science · 1991 · 193 citations

Railway Traffic, Freight Railroad Traffic, Engineering +14

Solving non-linear arithmetic

Dejan Jovanović, Leonardo de Moura · ACM communications in computer algebra · 2013 · 60 citations

Numerical Analysis, Applied Logic, Computational Logic +13

Safety envelope for security

Ashish Tiwari, Bruno Dutertre, Dejan Jovanović et al. · 2014 · 48 citations

Engineering, Machine Learning, Information Security +21

Template-based circuit understanding

Adrià Gascón, Pramod Subramanyan, Bruno Dutertre et al. · 2014 · 37 citations

Circuit Complexity, Engineering, Verification +20

The design and implementation of the model constructing satisfiability calculus

Dejan Jovanović, Clark Barrett, Leonardo de Moura · 2013 · 36 citations

Satisfiability Calculus, Engineering, Verification +16

Rows per page

1–5 of 12