| Checking safety properties using induction and a SAT-solver M Sheeran, S Singh, G Stålmarck International conference on formal methods in computer-aided design, 127-144, 2000 | 1038 | 2000 |
| Lava: hardware design in Haskell P Bjesse, K Claessen, M Sheeran, S Singh Acm Sigplan Notices 34 (1), 174-184, 1998 | 589 | 1998 |
| Circuit design in Ruby G Jones, M Sheeran Formal methods for VLSI design, 13-70, 1990 | 260* | 1990 |
| muFP, a language for VLSI design M Sheeran Proceedings of the 1984 ACM Symposium on LISP and functional programming …, 1984 | 184 | 1984 |
| A tutorial on Stålmarck's proof procedure for propositional logic M Sheeran, G Stålmarck Formal Methods in System Design 16 (1), 23-58, 2000 | 139 | 2000 |
| Feldspar: A domain specific language for digital signal processing algorithms E Axelsson, K Claessen, G Dévai, Z Horváth, K Keijzer, B Lyckegård, ... Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010 | 127 | 2010 |
| A tutorial on Stålmarck’s proof procedure for propositional logic M Sheeran, G Stålmarck International Conference on Formal Methods in Computer-Aided Design, 82-99, 1998 | 127 | 1998 |
| Hardware Design and Functional Programming M Sheeran Journal of Universal Computer Science 2 (7), 1135-1158, 2005 | 96 | 2005 |
| Expressive array constructs in an embedded GPU kernel programming language K Claessen, M Sheeran, BJ Svensson Proceedings of the 7th workshop on Declarative aspects and applications of …, 2012 | 91 | 2012 |
| JlFP-AN ALGEBRAIC VLSI DESIGN LANGUAGE M Sheeran Computing 50, 1boratory, 1983 | 84 | 1983 |
| The design and implementation of feldspar: An embedded language for digital signal processing E Axelsson, K Claessen, M Sheeran, J Svenningsson, D Engdal, ... Implementation and Application of Functional Languages: 22nd International …, 2011 | 74 | 2011 |
| Designing arithmetic circuits by refinement in Ruby G Jones, M Sheeran Science of computer programming 22 (1-2), 107-135, 1994 | 70 | 1994 |
| Wired: Wire-aware circuit design E Axelsson, K Claessen, M Sheeran Advanced Research Working Conference on Correct Hardware Design and …, 2005 | 67 | 2005 |
| Generating fast multipliers using clever circuits M Sheeran International Conference on Formal Methods in Computer-Aided Design, 6-20, 2004 | 67 | 2004 |
| Designing regular array architectures using higher order functions M Sheeran Conference on Functional Programming Languages and Computer Architecture …, 1985 | 65 | 1985 |
| Obsidian: A domain specific embedded language for parallel programming of graphics processors J Svensson, M Sheeran, K Claessen Symposium on Implementation and Application of Functional Languages, 156-173, 2008 | 57 | 2008 |
| SAT-solving in practice K Claessen, N Een, M Sheeran, N Sorensson 2008 9th International Workshop on Discrete Event Systems, 61-67, 2008 | 54 | 2008 |
| The design and verification of a sorter core K Claessen, M Sheeran, S Singh Advanced Research Working Conference on Correct Hardware Design and …, 2001 | 52 | 2001 |
| Retiming and slowdown in Ruby M Sheeran The fusion of hardware design and verification, 289-308, 1988 | 48 | 1988 |
| Multiplier reduction tree with logarithmic logic depth and regular connectivity H Eriksson, P Larsson-Edefors, M Sheeran, M Sjalander, D Johansson, ... 2006 IEEE International Symposium on Circuits and Systems, 4 pp.-8, 2006 | 47 | 2006 |
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
