Mary Sheeran

Available identifiers

zbMath Open sheeran.maryMaRDI QIDQ843987

List of research outcomes

Publication	Date of Publication	Type
A language for hierarchical data parallel design-space exploration on GPUs	2017-10-23	Paper
Functional and dynamic programming in the design of parallel prefix networks	2011-07-25	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
SAT-solving in practice, with a tutorial example from supervisory control	2010-01-18	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4787245	2003-01-09	Paper
Designing arithmetic circuits by refinement in Ruby	1994-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4281671	1994-06-20	Paper

Research outcomes over time

This page was built for person: Mary Sheeran