Mary Sheeran (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

19 Emil Axelsson, Koen Claessen, Mary Sheeran: Wired: Wire-Aware Circuit Design. CHARME 2005: 5-19

15 Koen Claessen, Mary Sheeran, Satnam Singh: Using Lava to design and verify recursive and periodic sorters. STTT 4(3): 349-358 (2003)

14 Koen Claessen, Mary Sheeran, Satnam Singh: The Design and Verification of a Sorter Core. CHARME 2001: 355-369

10 Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh: Lava: Hardware Design in Haskell. ICFP 1998: 174-184

Selection of 4 from 20 records - Mary Sheeran has 11 coauthors

19		Emil Axelsson, Koen Claessen, Mary Sheeran: Wired: Wire-Aware Circuit Design. CHARME 2005: 5-19
15		Koen Claessen, Mary Sheeran, Satnam Singh: Using Lava to design and verify recursive and periodic sorters. STTT 4(3): 349-358 (2003)
14		Koen Claessen, Mary Sheeran, Satnam Singh: The Design and Verification of a Sorter Core. CHARME 2001: 355-369
10		Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh: Lava: Hardware Design in Haskell. ICFP 1998: 174-184