Matthijs Kooijman - Concepedia

Author

Matthijs Kooijman

Also Known As

Kooijman, Matthijs, M. Kooijman, Matthijs Kooijman

Publications

135

Citations

H-Index

Concepts

All Affiliations

Matthijs Kooijman is an author at University of Twente specializing in engineering, formal verification, and computer engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	111
2	Computer Engineering	3	3	111
3	Computer Science	3	3	111
4	Social Sciences	1	1	10
5	Asynchronous Circuits	1	1	10

Matthijs Kooijman

Publications

111

Citations

H-Index

Page 1

	Year	Citations
C?aSH: Structural Descriptions of Synchronous Hardware Using Haskell Christiaan Baaij, Matthijs Kooijman, Jan Kuper, EngineeringHardware Verification LanguageComputer ArchitectureSoftware EngineeringSystem-level Design	2010	91
Higher-Order Abstraction in Hardware Descriptions with C?aSH Marco E. T. Gerards, Christiaan Baaij, Jan Kuper, Hardware ModelingEngineeringHardware Verification LanguageArrow AbstractionComputer Architecture	2011	10
Exercises in architecture specification using CaSH Jan Kuper, Christiaan Baaij, Matthijs Kooijman, EngineeringComputer ArchitectureSoftware EngineeringArchitecture SpecificationFormal Verification	2010	10

Page 1