| 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 | 1043 | 2000 |
| Lava: hardware design in Haskell P Bjesse, K Claessen, M Sheeran, S Singh Acm SIGPLAN Notices 34 (1), 174-184, 1998 | 596 | 1998 |
| Circuit design in Ruby G Jones, M Sheeran Formal methods for VLSI design, 13-70, 1990 | 256* | 1990 |
| muFP, a language for VLSI design M Sheeran Proceedings of the 1984 ACM Symposium on LISP and functional programming …, 1984 | 189 | 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 | 141 | 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 | 124 | 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 | 92 | 2012 |
| JlFP-AN ALGEBRAIC VLSI DESIGN LANGUAGE M Sheeran Computing 50, 1boratory, 1983 | 85 | 1983 |
| The design and implementation of feldspar: An embedded language for digital signal processing E Axelsson, K Claessen, M Sheeran, J Svenningsson, D Engdal, ... Symposium on Implementation and Application of Functional Languages, 121-136, 2010 | 75 | 2010 |
| 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 | 69 | 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 | 63 | 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 | 49 | 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 | 48 | 2006 |
Koen ClaessenChalmers University of TechnologyE-mailová adresa ověřena na: chalmers.se