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

Algebra Engineering & Materials Science
Semantics Engineering & Materials Science
Axiomatization Mathematics
Specifications Engineering & Materials Science
Process Algebra Mathematics
Bisimulation Mathematics
Equivalence Mathematics
Term 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

20172019
Photo of Jasmin Christian Blanchette
20162019
No photo of J. Endrullis

J. Endrullis

Person: Academic

20062018
No photo of W.J. Fokkink
19932019

Research Output 1993 2019

A formal proof of Hensel's lemma over the p-adic integers

Lewis, R. Y., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 15-26 12 p.

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

Number theory
Polynomials

A verified prover based on ordered resolution

Schlichtkrull, A., Blanchette, J. C. & Traytel, D., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 152-165 14 p.

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

Specifications

Extending a brainiac prover to lambda-free higher-order logic

Vukmirović, P., Blanchette, J. C., Cruanes, S. & Schulz, S., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings - Part 1. Zhang, L. & Vojnar, T. (eds.). Springer Verlag, Vol. 1. p. 192-210 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

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

Higher-order Logic
Data structures
Algorithms and Data Structures
Higher Order
Theorem proving

Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk)

Blanchette, J. C., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 1-13 13 p.

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

Genome-wide meta-analysis identifies new loci and functional pathways influencing Alzheimer's disease risk

Jansen, I. E., Savage, J. E., Watanabe, K., Bryois, J., Williams, D. M., Steinberg, S., Sealock, J., Karlsson, I. K., Hägg, S., Athanasiu, L., Voyle, N., Proitsi, P., Witoelar, A., Stringer, S., Aarsland, D., Almdahl, I. S., Andersen, F., Bergh, S., Bettella, F., Bjornsson, S. & 33 othersBrækhus, A., Bråthen, G., de Leeuw, C., Desikan, R. S., Djurovic, S., Dumitrescu, L., Fladby, T., Hohman, T. J., Jonsson, P. V., Kiddle, S. J., Rongve, A., Saltvedt, I., Sando, S. B., Selbæk, G., Shoai, M., Skene, N. G., Snaedal, J., Stordal, E., Ulstein, I. D., Wang, Y., White, L. R., Hardy, J., Hjerling-Leffler, J., Sullivan, P. F., van der Flier, W. M., Dobson, R., Davis, L. K., Stefansson, H., Stefansson, K., Pedersen, N. L., Ripke, S., Andreassen, O. A. & Posthuma, D., Mar 2019, In : Nature Genetics. 51, 3, p. 404-413 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Meta-Analysis
Alzheimer Disease
Genome
Proxy
Genes

Activities 2000 2015

Regularity-Preserving but not Reflecting Encodings

C.A. Grabmayer (Speaker)
9 Jul 2015

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

Maximal Sharing in the Lambda Calculus with Letrec

C.A. Grabmayer (Speaker)
1 Sep 2014

Activity: Lecture / PresentationAcademic

Theoretical Computer Science (Journal)

B. Jacobs (Member of editorial board), M. Niqui (Member of editorial board), J.J.M.M. Rutten (Member of editorial board), A. Silva (Member of editorial board)
2011

Activity: Peer review and Editorial workEditorial workAcademic