MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Mary Sheeran – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

23 documents found, showing 1 through 10. Next 10 →

ATOM

A tutorial on the use of propositional logic and Stålmarck's method in system verification
by Mary Sheeran — 1998 — Proof Procedure for Propositional Logic, Second International Conference on \Formal Methods in Computer Aieded Design", FMCAD'98
… Sheeran Prover Technology AB and Chalmers University of Technology, Sweden Abstract. We explain the use…
Add To MetaCart

Puzzling Permutations
by Mary Sheeran — 1996 — In Proc. Glasgow Functional Programming Workshop
…Puzzling Permutations Mary Sheeran Computing Science Department, Chalmers Tekniska Hogskola…
Cited by 2 (1 self) – Add To MetaCart

Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular
by Mary Sheeran — 2003 — Proceedings 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods
…Finding regularity: describing and analysing circuits that are not quite regular Mary Sheeran…
Cited by 4 (1 self) – Add To MetaCart

Generating fast multipliers using clever circuits
by Mary Sheeran — 2004 — In Formal Methods in Computer-Aided Design, 5th International Conference, LNCS 3312
… Generating fast multipliers using clever circuits Mary Sheeran Chalmers University of Technology…
Cited by 7 (2 self) – Add To MetaCart

Designing Correct Circuits.
by Edited Mary Sheeran, Tom Melham, Mary Sheeran, Tom Melham — 2006
… Event of the ETAPS 2006 group of conferences Participants’ Proceedings Edited by Mary Sheeran and Tom…
Cited by 1 (0 self) – Add To MetaCart

Timeless Truths about Sequential Circuits
by Geraint Jones, Mary Sheeran — 1988 — Concurrent Computations: Algorithms, Architectures and Technology
… Geraint Jones Oxford University Computing Laboratory 11 Keble Road Oxford OX1 3QD, UK Mary Sheeran…
Cited by 11 (1 self) – Add To MetaCart

Collecting Butterflies
by Geraint Jones, Geraint Jones, Mary Sheeran, Mary Sheeran, Mary Sheeran — 1991 — Proc. 4th Banff Workshop on Higher Order, Springer Workshops in Computing
…COLLECTING BUTTERFLIES by Geraint Jones Mary Sheeran \Delta Oxford University Computing…
Cited by 12 (2 self) – Add To MetaCart

Deriving bit-serial circuits in Ruby
by Geraint Jones, Mary Sheeran — 1991
…Deriving bit-serial circuits in Ruby Geraint Jones a and Mary Sheeran b a Programming Research…
Cited by 1 (1 self) – Add To MetaCart

A Tutorial on Lava: A Hardware Description and Verification System
by Koen Claessen, Mary Sheeran — 2000
…@(email omitted); Mary Sheeran ms@(email omitted); April 9, 2000 Contents 1 Introduction 4 2 Getting Started 6 2.1 Your…
Cited by 17 (5 self) – Add To MetaCart

Relations and Refinement in Circuit Design
by Geraint Jones, Mary Sheeran — 1991 — Proc. BCS FACS Workshop on Refinement, Workshops in Computing
…Relations and Refinement in Circuit Design Geraint Jones Oxford University Mary Sheeran y…
Cited by 23 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB