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
Term Mathematics
Process Algebra Mathematics
Model checking Engineering & Materials Science
Equivalence 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
Photo of Jasmin Christian Blanchette
20162018
No photo of M.J.J. Dijkstra

M.J.J. Dijkstra

Person: Academic

20152018
No photo of J. Endrullis

J. Endrullis

Person: Academic

20062018
No photo of W.J. Fokkink
20022018

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 JournalArticleAcademicpeer-review

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 contributionAcademicpeer-review

Data structures

Decreasing diagrams with two labels are complete for confluence of countable systems

Endrullis, J., Klop, J. W. & Overbeek, R., 1 Jul 2018, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 108, p. 1-15 15 p. 14

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Labels
Electric commutation
Labeling

Degrees of Infinite Words, Polynomials and Atoms

Endrullis, J., Karhumäki, J., Klop, J. W. & Saarela, A., Aug 2018, In : International Journal of Foundations of Computer Science. 29, 5, p. 825-843 19 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Transducers
Polynomials
Atoms
Turing machines
Equivalence classes

Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover

Schlichtkrull, A., Blanchette, J. C., Traytel, D. & Waldmann, U., 2018, Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Springer/Verlag, p. 89-107 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10900 LNAI)

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Theorem proving
Automated Reasoning
Formal Proof
Theorem Proving
Formalization

Activities 2000 2015

Regularity-Preserving but not Reflecting Encodings

C.A. Grabmayer (Speaker)
9 Jul 2015

Activity: Lecture / PresentationAcademic

Maximal Sharing in the Lambda Calculus with Letrec

C.A. Grabmayer (Speaker)
1 Sep 2014

Activity: Lecture / PresentationAcademic

Nested Term Graphs

C.A. Grabmayer (Speaker)
13 Jul 2014

Activity: Lecture / PresentationAcademic

hogere orde en erste orde (ter ere van het afscheid van Vincent van Oostrom van de Universiteit Utrecht)

C.A. Grabmayer (Speaker)
2 Jul 2014

Activity: Lecture / PresentationAcademic

Electronic Proceedings in Theoretical Computer Science (Journal)

B. Luttik (Member of editorial board), F. Valencia (Member of editorial board)
2011

Activity: Peer review and Editorial workEditorial workAcademic