Research Output per year
Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
- 66 Similar Profiles
Specifications
Engineering & Materials Science
Data storage equipment
Engineering & Materials Science
Experiments
Engineering & Materials Science
Research Output 2019 2019
Correct and efficient antichain algorithms for refinement checking
Laveaux, M., Groote, J. F. & Willemse, T. A. C., 26 Feb 2019, In : arXiv. 28 p., 1902.09880Research output: Contribution to journal › Article › Academic
Open Access
File
Specifications
Data storage equipment
Experiments
Correct and efficient antichain algorithms for refinement checking
Laveaux, M., Groote, J. F. & Willemse, T., 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/01)Research output: Book/Report › Report › Academic
Open Access
File
Specifications
Data storage equipment
Experiments
Student theses
Abstracting real-valued parameters in parameterised boolean equation systems
Author: Laveaux, M., 26 Feb 2018Supervisor: Willemse, T. (Supervisor 1)
Student thesis: Master
File