Dejan Jovanović - Concepedia

Author

Dejan Jovanović

Also Known As

Clark Barrett, D. JOVANOVIĆ, D. Jovanović, D. Jovanović, Dejan Jovanovi, Dejan Jovanovic, Dejan Jovanović, Jovanovic, Dejan, Jovanović, Dejan

Publications

1.9K

Citations

H-Index

Concepts

All Affiliations

SRI International New York University Microsoft (United States)Princeton University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	11	547
2	Computer Science	9	9	502
3	Computer Engineering	7	7	394
4	Business	2	2	221
5	Applied Physics	1	1	29

Dejan Jovanović

Publications

573

Citations

H-Index

Page 1

	Year	Citations
Tactical Scheduling of Rail Operations: The SCAN I System Dejan Jovanović, Patrick T. Harker Transportation Science Railway TrafficFreight Railroad TrafficEngineeringSchedule AnalysisScheduling Analysis	1991	193
Solving non-linear arithmetic Dejan Jovanović, Leonardo de Moura ACM communications in computer algebra Numerical AnalysisApplied LogicComputational LogicDecision ProcedureEngineering	2013	60
Safety envelope for security Ashish Tiwari, Bruno Dutertre, Dejan Jovanović, EngineeringMachine LearningInformation SecuritySafety ScienceInformation Forensics	2014	48
Template-based circuit understanding Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Circuit ComplexityEngineeringVerificationComputer-aided VerificationComputational Complexity	2014	37
The design and implementation of the model constructing satisfiability calculus Dejan Jovanović, Clark Barrett, Leonardo de Moura Satisfiability CalculusEngineeringVerificationComputer-aided VerificationModel Checking	2013	36
Property-directed k-induction Dejan Jovanović, Bruno Dutertre Formal Methods in Computer-Aided Design EngineeringReachability ProblemVerificationComputer-aided VerificationComputational Complexity	2016	35
Property-directed k-induction Dejan Jovanović, Bruno Dutertre EngineeringReachability ProblemVerificationComputer-aided VerificationComputational Complexity	2016	34
Template-based circuit understanding Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Formal Methods in Computer-Aided Design Circuit ComplexityEngineeringVerificationComputer-aided VerificationComputational Complexity	2014	31
Effects of the parallel electron dynamics and finite ion temperature on the plasma blob propagation in the scrape-off layer Dejan Jovanović, P. K. Shukla Physics of Plasmas EngineeringPlasma SciencePlasma PhysicsParallel Electron DynamicsTokamak Edge Plasma	2008	29
A Decision Support System for Train Dispatching: An Optimization-Based Methodology Dejan Jovanović, Patrick T. Harker AgEcon Search (University of Minnesota, USA) Mathematical ProgrammingRailway TrafficEngineeringNew Methodological FrameworkOperations Research	1990	28

Page 1