van de Jaco Pol

Statistics

Publications

Citations

H-Index

Active since

2000

Affiliations

Center for Discrete Mathematics and Theoretical Computer Science(Current)

van de Jaco Pol is an author at Center for Discrete Mathematics and Theoretical Computer Science specializing in computing, computer science, and state reduction.

Publications per year

2000–2012

Publications

State space reduction using partial $ au $-confluence

Jan Friso Groote, van de Jaco Pol · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 2000 · 24 citations · Full text

Computing, Computer Science, Formal Methods +7

Solving Hard Lattice Problems and the Security of Lattice-Based Cryptosystems.

Thijs Laarhoven, van de Jaco Pol, de Bmm Benne Weger · Data Archiving and Networked Services (DANS) · 2012 · 21 citations · Full text

Computing, Computer Science, Mathematics +14

1–2 of 2