Moiré flat bands in strongly coupled atomic arrays
Dams, D., Beutel, D., Garcia-Santiago, X., Rockstuhl, C., Alaee, R.
Published in Optical materials express (01.07.2023)
Published in Optical materials express (01.07.2023)
Get full text
Journal Article
Non-linear viscoelastic behavior of abdominal aortic aneurysm thrombus
van Dam, Evelyne A., Dams, Susanne D., Peters, Gerrit W. M., Rutten, Marcel C. M., Schurink, Geert Willem H., Buth, Jaap, van de Vosse, Frans N.
Published in Biomechanics and modeling in mechanobiology (01.04.2008)
Published in Biomechanics and modeling in mechanobiology (01.04.2008)
Get full text
Journal Article
Incremental Algorithms for Inter-procedural Analysis of Safety Properties
Conway, Christopher L., Namjoshi, Kedar S., Dams, Dennis, Edwards, Stephen A.
Published in Computer Aided Verification (2005)
Published in Computer Aided Verification (2005)
Get full text
Book Chapter
Conference Proceeding
Partial-order reduction techniques for real-time model checking
Get full text
Conference Proceeding
Journal Article
Iterating transducers
Dams, Dennis, Lakhnech, Yassine, Steffen, Martin
Published in The journal of logic and algebraic programming (01.07.2002)
Published in The journal of logic and algebraic programming (01.07.2002)
Get full text
Journal Article
The Wisconsin epidemiologic study of diabetic retinopathy. XI. The incidence of macular edema
Klein, R, Moss, S E, Klein, B E, Davis, M D, DeMets, D L
Published in Ophthalmology (Rochester, Minn.) (01.10.1989)
Published in Ophthalmology (Rochester, Minn.) (01.10.1989)
Get more information
Journal Article
On the design of a correct freeness analysis for logic programs
Codish, Michael, Dams, Dennis, Filé, Gilberto, Bruynooghe, Maurice
Published in The journal of logic programming (1996)
Published in The journal of logic programming (1996)
Get full text
Journal Article