Dennis Dams - Concepedia

Author

Dennis Dams

Eindhoven University of Technology

Also Known As

D. Dams, Dams, DR Dennis, Dams, Dennis, Dams, Dennis R, Dennis Dams, Dennis R. Dams

Publications

1.9K

Citations

H-Index

Concepts

All Affiliations

Eindhoven University of Technology

About

Dennis Dams is an author at Eindhoven University of Technology specializing in formal methods, engineering, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	469
2	Computer Science	8	8	400
3	Computer Engineering	2	2	37
4	Language Studies	1	1	21
5	Linguistics	1	1	21

Dennis Dams

Publications

981

Citations

H-Index

Page 1

	Year	Citations
Abstract interpretation of reactive systems Dennis Dams, Rob Gerth, Orna Grümberg ACM Transactions on Programming Languages and Systems	1997	379
Abstract interpretation and partition refinement for model checking Dennis Dams Data Archiving and Networked Services (DANS) EngineeringAutomated ReasoningProgram AnalysisVerificationFormal Methods	1996	195
Bottom-up abstract interpretation of logic programs Michael Codish, Dennis Dams, Eyal Yardeni Theoretical Computer Science EngineeringOperational SemanticsAutomated ReasoningFormal MethodsLogic Programs	1994	59
The existence of finite abstractions for branching time model checking Dennis Dams, Kedar S. Namjoshi Logic in Computer Science EngineeringConcrete Source ProgramVerificationComputer-aided VerificationModel Checking	2004	53
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis. Michael Codish, Dennis Dams, Eyal Yardeni International Conference on Lightning Protection Formal SpecificationEngineeringProgram AnalysisAutomated ReasoningMechanical Verification	1991	49
Symmetric spin Dragan Bošnački, Dennis Dams, Leszek Holenderski International Journal on Software Tools for Technology Transfer	2002	44
Partial-order Reduction Techniques for Real-time Model Checking Dennis Dams, Rob Gerth, Bart Knaack, Formal Aspects of Computing	1998	35
The existence of finite abstractions for branching time model checking Dennis Dams, Kedar S. Namjoshi EngineeringVerificationComputer-aided VerificationModel CheckingSoftware Analysis	2004	31
Freeness analysis for logic programs—and correctness? Michael Codish, Dennis Dams, Gilberto Filé, Lirias (KU Leuven)	1993	23
Flat fragments of CTL and CTL: separating the expressive and distinguishing powers Dennis Dams Logic Journal of IGPL EngineeringClassical LogicHigher-order LogicSemanticsFormal Verification	1999	21

Page 1