Dennis Dams

Available identifiers

zbMath Open dams.dennis-reneMaRDI QIDQ1125426

List of research outcomes

Publication	Date of Publication	Type
Abstraction and Abstraction Refinement	2018-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q2845498	2013-08-30	Paper
A Bibliography of Willem-Paul de Roever	2010-03-09	Paper
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors	2008-08-28	Paper
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs	2007-09-11	Paper
Computer Aided Verification	2006-01-10	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4738463	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4414398	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4804921	2003-05-01	Paper
Iterating transducers	2003-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4551159	2002-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q2766661	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q2764000	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2753747	2002-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q2729079	2001-11-06	Paper
Partial-order reduction techniques for real-time model checking	2001-01-14	Paper
Flat fragments of CTL and CTL: separating the expressive and distinguishing powers	1999-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q4223066	1999-01-03	Paper
On the design of a correct freeness analysis for logic programs	1997-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4884237	1996-07-08	Paper
Bottom-up abstract interpretation of logic programs	1994-04-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dennis Dams