Mary Sheeran

2006
20	EE	Henrik Eriksson, Per Larsson-Edefors, Mary Sheeran, Magnus Själander, D. Johansson, M. Scholin: Multiplier reduction tree with logarithmic logic depth and regular connectivity. ISCAS 2006
2005
19	EE	Emil Axelsson, Koen Claessen, Mary Sheeran: Wired: Wire-Aware Circuit Design. CHARME 2005: 5-19
18	EE	Mary Sheeran: Hardware Design and Functional Programming: a Perfect Match. J. UCS 11(7): 1135-1158 (2005)
2004
17	EE	Mary Sheeran: Generating Fast Multipliers Using Clever Circuits. FMCAD 2004: 6-20
2003
16	EE	Mary Sheeran: Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular. CHARME 2003: 4-18
15	EE	Koen Claessen, Mary Sheeran, Satnam Singh: Using Lava to design and verify recursive and periodic sorters. STTT 4(3): 349-358 (2003)
2001
14	EE	Koen Claessen, Mary Sheeran, Satnam Singh: The Design and Verification of a Sorter Core. CHARME 2001: 355-369
2000
13	EE	Mary Sheeran, Satnam Singh, Gunnar Stålmarck: Checking Safety Properties Using Induction and a SAT-Solver. FMCAD 2000: 108-125
12		Mary Sheeran, Gunnar Stålmarck: A Tutorial on Stålmarck's Proof Procedure for Propositional Logic. Formal Methods in System Design 16(1): 23-58 (2000)
1998
11	EE	Mary Sheeran, Gunnar Stålmarck: A Tutorial on Stålmarcks's Proof Procedure for Propositional Logic. FMCAD 1998: 82-99
10	EE	Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh: Lava: Hardware Design in Haskell. ICFP 1998: 174-184
1994
9		Geraint Jones, Mary Sheeran: Designing Arithmetic Circuits by Refinement in Ruby. Sci. Comput. Program. 22(1-2): 107-135 (1994)
1992
8		Geraint Jones, Mary Sheeran: A Certain Loss of Identity. Functional Programming 1992: 113-121
7		Geraint Jones, Mary Sheeran: Designing Arithmetic Circuits by Refinement in Ruby. MPC 1992: 208-232
1991
6		Mary Sheeran: A Note on Absraction in Ruby. Functional Programming 1991: 332-338
5		Geraint Jones, Mary Sheeran: Deriving Bit-Serial Circuits in Ruby. VLSI 1991: 71-80
1989
4		Mary Sheeran: Describing Butterfly Networks in Ruby. Functional Programming 1989: 182-205
3		Mary Sheeran: Categories for the Working Hardware Designer. Hardware Specification, Verification and Synthesis 1989: 380-402
1985
2		Mary Sheeran: Designing Regular Array Architectures using Higher Order Functions. FPCA 1985: 220-237
1984
1		Mary Sheeran: muFP, A Language for VLSI Design. LISP and Functional Programming 1984: 104-112

Coauthor Index

1	Emil Axelsson	[19]
2	Per Bjesse	[10]
3	Koen Claessen	[10] [14] [15] [19]
4	Henrik Eriksson	[20]
5	D. Johansson	[20]
6	Geraint Jones	[5] [7] [8] [9]
7	Per Larsson-Edefors	[20]
8	M. Scholin	[20]
9	Satnam Singh	[10] [13] [14] [15]
10	Magnus Själander	[20]
11	Gunnar Stålmarck	[11] [12] [13]

Colors in the list of coauthors