Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(81)
Stefan Blom
17
Natalia Ioustinova
12
Wan Fokkink
11
Miguel Valero Espada
10
Michael Weber
9
Conferences
(31)
MFCS
4
AMAST
4
CONCUR
4
IFM
3
ACSD
3
Journals
(16)
ENTCS
11
TCS
6
CORR
5
STTT
3
LOGCOM
2
Keywords
(208)
Embed
Subscribe
Academic
Authors
Jaco Van De Pol
Edit
Jaco Van De Pol
University of Twente
Publications: 114
|
Citations: 486
|
G-Index: 16
|
H-Index: 11
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Algorithms & Theory
,
Programming Languages
View FAQ about top research area and research interests
Collaborated with
81 co-authors
from 1992 to 2011
; Cited by
391 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(114)
BibTeX
|
RIS
|
RefWorks
Download
Distributed Algorithms for SCC Decomposition
(
Citations: 4
)
Jiri Barnat
,
Jakub Chaloupka
,
Jaco van de Pol
Journal:
Journal of Logic and Computation - LOGCOM
, vol. 21, no. 1, pp. 23-44, 2011
A Database Approach to Distributed State-Space Generation
(
Citations: 1
)
Stefan Blom
,
Bert Lisser
,
Jaco van de Pol
,
M. Weber
Journal:
Journal of Logic and Computation - LOGCOM
, vol. 21, no. 1, pp. 45-62, 2011
Parallel Recursive State Compression for Free
(
Citations: 1
)
Alfons Laarman
,
Jaco van de Pol
,
Michael Weber
Journal:
Computing Research Repository - CORR
, vol. abs/1104.3, 2011
Multi-Core LTSmin: Marrying Modularity and Scalability
(
Citations: 1
)
Alfons Laarman
,
Jaco van de Pol
,
Michael Weber
Published in 2011.
On the axiomatizability of priority II
Luca Aceto
,
Taolue Chen
,
Anna Ingolfsdottir
,
Bas Luttik
,
Jaco van de Pol
Journal:
Theoretical Computer Science - TCS
, vol. 412, no. 28, pp. 3035-3044, 2011
Order by:
Citations
(486 times by 330 publications)
Distributed Algorithms for SCC Decomposition
(
Citations: 4
)
Jiri Barnat
,
Jakub Chaloupka
,
Jaco van de Pol
Journal:
Journal of Logic and Computation - LOGCOM
, vol. 21, no. 1, pp. 23-44, 2011
Generating tests from B specifications and dynamic selection criteria
(
Citations: 2
)
Jacques Julliand
,
Pierre-Alain Masson
,
Regis Tissot (Régis Tissot)
,
Pierre-Christophe Bué
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 1, pp. 3-19, 2011
Parallel probabilistic model checking on general purpose graphics processors
(
Citations: 1
)
Dragan Bosnacki
,
Stefan Edelkamp
,
Damian Sulewski
,
Anton Wijs
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 1, pp. 21-35, 2011
Parallel Recursive State Compression for Free
(
Citations: 1
)
Alfons Laarman
,
Jaco van de Pol
,
Michael Weber
Journal:
Computing Research Repository - CORR
, vol. abs/1104.3, 2011
Multi-Core LTSmin: Marrying Modularity and Scalability
(
Citations: 1
)
Alfons Laarman
,
Jaco van de Pol
,
Michael Weber
Published in 2011.
Comments