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
(23)
Maurice Bruynooghe
15
Bern Martens
5
Michael Leuschel
5
Francois Degrave (François Degrave)
5
Danny De Schreye
4
Conferences
(8)
LOPSTR
13
ICLP(JICSLP)
3
LPAR(RCLP)
2
PLILP
1
PPDP
1
Journals
(6)
CORR
4
JFLP
1
TPLP
1
TOPLAS
1
TCS
1
Keywords
(53)
Embed
Subscribe
Academic
Authors
Wim Vanhoof
Edit
Wim Vanhoof
Facultes Universitaires Notre Dame de la Paix
Publications: 35
|
Citations: 223
|
G-Index: 13
|
H-Index: 9
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:
Programming Languages
,
Software Engineering
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
23 co-authors
from 1997 to 2010
; Cited by
120 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(35)
BibTeX
|
RIS
|
RefWorks
Download
Declarative workflows to efficiently manage flexible and advanced business processes
Romain Demeyer
,
Maxime Van Assche
,
Ludovic Langevine
,
Wim Vanhoof
Conference:
Principles and Practice of Declarative Programming - PPDP
, pp. 209-218, 2010
A Test Automation Framework for Mercury
Peter Biener
,
François Degrave
,
Wim Vanhoof
Journal:
Computing Research Repository - CORR
, vol. abs/1009.3, 2010
A multi-objective Evolutionary Concept Learner
Celine Dandois
,
Federico Divina
,
Wim Vanhoof
Conference:
IEEE Congress on Evolutionary Computation - CEC
, pp. 1-8, 2010
Towards a Framework for Constraint-Based Test Case Generation
(
Citations: 3
)
François Degrave
,
Tom Schrijvers
,
Wim Vanhoof
Conference:
Logic Program Synthesis and Transformation - LOPSTR
, pp. 128-142, 2009
Automatic Generation of Test Inputs for Mercury
(
Citations: 3
)
François Degrave
,
Tom Schrijvers
,
Wim Vanhoof
Conference:
Logic Program Synthesis and Transformation - LOPSTR
, pp. 71-86, 2008
Order by:
Citations
(223 times by 134 publications)
mTOR kinase inhibition results in oocyte loss characterized by empty follicles in human ovarian cortical strips cultured in vitro
Marie McLaughlin
,
Pasquale Patrizio
,
Umit Kayisli
,
Janelle Luk
,
Travis C. Thomson
,
Richard A. Anderson
,
Evelyn E. Telfer
,
Joshua Johnson
Journal:
Fertility and Sterility - FERT STERIL
, vol. 96, no. 5, pp. 1154-1159.e1, 2011
PET: a partial evaluation-based test case generation tool for Java bytecode
(
Citations: 3
)
Elvira Albert
,
Miguel Gómez-zamalloa
,
Germán Puebla
Conference:
Partial Evaluation and Semantic-Based Program Manipulation - PEPM
, pp. 25-28, 2010
Automated termination analysis for logic programs with cut
(
Citations: 4
)
Peter Schneider-Kamp
,
Jürgen Giesl
,
Thomas Ströder
,
Alexander Serebrenik
,
René Thiemann
Journal:
Theory and Practice of Logic Programming - TPLP
, vol. 10, no. 4-6, pp. 365-381, 2010
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
(
Citations: 3
)
MANH THANG NGUYEN
,
DANNY DE SCHREYE
,
JÜRGEN GIESL
,
PETER SCHNEIDER-KAMP
Journal:
Theory and Practice of Logic Programming - TPLP
, vol. 10, no. 02, 2010
Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization
(
Citations: 1
)
Daan Fierens
Conference:
International Conference on Logic Programming/Joint International Conference and Symposium on Logic Programming - ICLP(JICSLP)
, pp. 74-83, 2010
Comments