Jaco Pol - Citegraph

Author Info

Name	Affiliation	Papers
JACO POL	Faculty EEMCS, University of Twente, Enschede, The Netherlands 7500 AE	7
Collaborators	Citations	PageRank
13	27	3.12
Referers	Referees	References
47	176	81

Search Limit

100176

Publications (7 rows)

Collaborators (13 rows)

Referers (47 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Relational nullable types with Boolean unification	0	0.34	2021
Distributed binary decision diagrams for symbolic reachability	1	0.39	2017
The RERS 2017 challenge and workshop (invited paper)	0	0.34	2017
Compositional Control Synthesis for Partially Observable Systems	6	0.47	2009
Computing Weakest Strategies for Safety Games of Imperfect Information	2	0.37	2009
Applying Model-Based Testing to HTML Rendering Engines --- A Case Study	0	0.34	2008
Symbolic Reachability for Process Algebras with Recursive Data Types	18	0.89	2008

1