Research Output per year
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
Model checking
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Profiles
Alexander Bentkamp
- Faculty of Science, Theoretical Computer Science - Standard PhD Candidate
- Network Institute - Standard PhD Candidate
- Theoretical Computer Science - Standard PhD Candidate
Person: Academic
Jasmin Christian Blanchette
- Faculty of Science, Theoretical Computer Science - Assistant Professor
- Network Institute - Assistant Professor
- Theoretical Computer Science - Assistant Professor
Person: Academic
J. Endrullis
- Faculty of Science, Theoretical Computer Science - Assistant Professor
- Network Institute - Assistant Professor
- Theoretical Computer Science - Assistant Professor
Person: Academic
W.J. Fokkink
- Faculty of Science, Theoretical Computer Science - Full Professor
- Network Institute - Full Professor
- Theoretical Computer Science - Full Professor
Person: Academic
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 Journal › Article › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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. 14Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-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 Journal › Article › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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 / Presentation › Academic
Maximal Sharing in the Lambda Calculus with Letrec
C.A. Grabmayer (Speaker)1 Sep 2014
Activity: Lecture / Presentation › Academic
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 / Presentation › Academic
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 work › Editorial work › Academic