| Checking safety properties using induction and a SAT-solver M Sheeran, S Singh, G Stålmarck Formal Methods in Computer-Aided Design: Third International Conference …, 2000 | 946 | 2000 |
| Lava: hardware design in Haskell P Bjesse, K Claessen, M Sheeran, S Singh ACM SIGPLAN Notices 34 (1), 174-184, 1998 | 563 | 1998 |
| Circuit design in Ruby G Jones, M Sheeran Formal methods for VLSI design, 13-70, 1990 | 253* | 1990 |
| muFP, a language for VLSI design M Sheeran Proceedings of the 1984 ACM Symposium on LISP and functional programming …, 1984 | 170 | 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 | 132 | 2000 |
| A tutorial on Stålmarck’s proof procedure for propositional logic M Sheeran, G Stålmarck Formal Methods in Computer-Aided Design: Second International Conference …, 2002 | 127 | 2002 |
| 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 | 122 | 2010 |
| Hardware Design and Functional Programming M Sheeran Journal of Universal Computer Science 2 (7), 1135-1158, 2005 | 94 | 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 | 85 | 2012 |
| JlFP-AN ALGEBRAIC VLSI DESIGN LANGUAGE M Sheeran Computing 50, 1boratory, 1983 | 81 | 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 | 73 | 2011 |
| Designing arithmetic circuits by refinement in Ruby G Jones, M Sheeran Science of computer programming 22 (1-2), 107-135, 1994 | 70 | 1994 |
| Generating fast multipliers using clever circuits M Sheeran Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD …, 2004 | 67 | 2004 |
| Wired: Wire-aware circuit design E Axelsson, K Claessen, M Sheeran Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5 Advanced …, 2005 | 62 | 2005 |
| Designing regular array architectures using higher order functions M Sheeran Functional Programming Languages and Computer Architecture: Nancy, France …, 1985 | 58 | 1985 |
| Obsidian: A domain specific embedded language for parallel programming of graphics processors J Svensson, M Sheeran, K Claessen Implementation and Application of Functional Languages: 20th International …, 2011 | 57 | 2011 |
| The design and verification of a sorter core K Claessen, M Sheeran, S Singh Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced …, 2001 | 51 | 2001 |
| Retiming and slowdown in Ruby M Sheeran The fusion of hardware design and verification 10, 289-308, 1988 | 51 | 1988 |
| SAT-solving in practice K Claessen, N Een, M Sheeran, N Sorensson 2008 9th International Workshop on Discrete Event Systems, 61-67, 2008 | 48 | 2008 |
| 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 | 46 | 2006 |
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
