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
(3)
Michael Weber
3
Jaco Van De Pol
3
Ivan Kurtev
1
Journals
(1)
CORR
2
Keywords
(26)
Embed
Subscribe
Academic
Authors
Alfons Laarman
Edit
Alfons Laarman
University of Twente
Publications: 6
|
Citations: 9
|
G-Index: 2
|
H-Index: 2
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:
Scientific Computing
View FAQ about top research area and research interests
Collaborated with
3 co-authors
from 2006 to 2011
; Cited by
10 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(6)
BibTeX
|
RIS
|
RefWorks
Download
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.
Boosting Multi-Core Reachability Performance with Shared Hash Tables
(
Citations: 3
)
Alfons Laarman
,
Jaco van de Pol
,
Michael Weber
Journal:
Computing Research Repository - CORR
, vol. abs/1004.2, pp. 247-255, 2010
Ontological Metamodeling with Explicit Instantiation
(
Citations: 4
)
Alfons Laarman
,
Ivan Kurtev
Published in 2009.
Improving a Modular Verification Technique for Aspect Oriented Programming
Alfons Laarman
Published in 2006.
Order by:
Citations
(9 times by 7 publications)
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.
Boosting Multi-Core Reachability Performance with Shared Hash Tables
(
Citations: 3
)
Alfons Laarman
,
Jaco van de Pol
,
Michael Weber
Journal:
Computing Research Repository - CORR
, vol. abs/1004.2, pp. 247-255, 2010
Joint Language and Domain Engineering
(
Citations: 3
)
Tobias Walter
,
Fernando Silva Parreiras
,
Steffen Staab
,
Jürgen Ebert
Conference:
European Conference on Model Driven Architecture - Foundations and Applications - ECMDAFA
, pp. 321-336, 2010
Advanced modelling made simple with the Gmodel metalanguage
(
Citations: 1
)
Jorn Bettin
,
Tony Clark
Published in 2010.
Comments