|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michaël Marcozzi, Federico Divina, Jesús S. Aguilar-Ruiz, Wim Vanhoof |
A novel probabilistic encoding for EAs applied to biclustering of microarray data.  |
GECCO  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Biener, François Degrave, Wim Vanhoof |
A Test Automation Framework for Mercury |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Celine Dandois, Federico Divina, Wim Vanhoof |
A multi-objective Evolutionary Concept Learner. |
IEEE Congress on Evolutionary Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof |
Declarative workflows to efficiently manage flexible and advanced business processes. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
declarative workflow, executable specification language, temporal logic, business process management |
| 1 | François Degrave, Tom Schrijvers, Wim Vanhoof |
Towards a Framework for Constraint-Based Test Case Generation. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanhoof, François Degrave |
An Algorithm for Sophisticated Code Matching in Logic Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | François Degrave, Tom Schrijvers, Wim Vanhoof |
Automatic Generation of Test Inputs for Mercury. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof |
Termination analysis of logic programs through combination of type-based norms. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
program analysis, Abstract interpretation, dataflow analysis, termination analysis, global analysis, groundness analysis |
| 1 | Patricia M. Hill, Wim Vanhoof |
Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007) |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alexander Serebrenik, Wim Vanhoof |
Fingerprinting Logic Programs |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Wim Vanhoof, Susana Muñoz-Hernández |
Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006) |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | François Degrave, Wim Vanhoof |
Towards a Normal Form for Mercury Programs. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe |
Offline specialisation in Prolog using a hand-written compiler generator. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanhoof |
Searching Semantically Equivalent Code Fragments in Logic Programs. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof |
Specialising Interpreters Using Offline Partial Deduction. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel |
Binding-Time Analysis for Mercury. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe |
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof |
Reuse of Results in Termination Analysis of Typed Logic Programs. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy Mazur, Gerda Janssens, Wim Vanhoof |
Collecting Potential Optimisations. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe |
A Fixed Point Semantics for Logic Programs Extended with Cuts. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Wim Vanhoof, Michael Codish |
Pos(T): Analyzing Dependencies in Typed Logic Programs. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanhoof, Maurice Bruynooghe |
Binding-Time Annotations Without Binding-Time Analysis. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanhoof, Maurice Bruynooghe |
When Size Does Matter. |
LOPSTR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Wim Vanhoof |
Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanhoof, Maurice Bruynooghe |
Towards a modular binding-time analysis for higher-order Mercury. |
LOPSTR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Wim Vanhoof, Maurice Bruynooghe |
Towards Modular Binding-Time Analysis for First-order Mercury. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanhoof, Danny De Schreye, Bern Martens |
Bottom-up Partial Deduction of Logic Programs |
Journal of Functional and Logic Programming |
1999 |
DBLP BibTeX RDF |
|
| 1 | Wim Vanhoof, Maurice Bruynooghe |
Binding-time Analysis for Mercury. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck |
Specialising the Other Way Arond. |
IJCSLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Wim Vanhoof, Danny De Schreye, Bern Martens |
A Framework for Bottom Up Specialisation of Logic Programs. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanhoof, Danny De Schreye, Bern Martens |
Bottom-Up Specialisation of Logic Programs. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanhoof, Bern Martens |
To Parse or Not To Parse. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")