Theoretical Computer Science

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
Term Mathematics
Lambda Calculus Mathematics

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

Profiles

No photo of Alexander Bentkamp

Alexander Bentkamp

Person: Academic

20172018
No photo of Jasmin Christian Blanchette
20162018

Research Output 1993 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
Concretes
Experiments

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
File