Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Semantics Engineering & Materials Science
Algebra Engineering & Materials Science
Specifications Engineering & Materials Science
Axiomatization Mathematics
Process Algebra Mathematics
Equivalence Mathematics
Lambda Calculus Mathematics
Term Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.


No photo of Alexander Bentkamp

Alexander Bentkamp

Person: Academic

No photo of Jasmin Christian Blanchette
No photo of M.J.J. Dijkstra

M.J.J. Dijkstra

Person: Academic


Research Output 1999 2018

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

Blanchette, J. C., Fleury, M., Lammich, P. & Weidenbach, C. 12 Mar 2018 In : Journal of Automated Reasoning. 2018, p. 1-33 33 p.

Research output: Contribution to journalArticle

Functional programming
Computer programming languages
Data structures

A verified SAT solver with watched literals using Imperative HOL

Fleury, M., Blanchette, J. C. & Lammich, P. Jan 2018 CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. New York, NY: Association for Computing Machinery, Inc, p. 158-171 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data structures

Formal Modeling and Analysis of Mobile Ad hoc Networks

Ghassemi Esfahani, F. 2018 232 p.

Research output: ThesisPhD Thesis - Research VU, graduation VU

Open Access