Wim Vanhoof
Orcid: 0000-0003-3769-6294
According to our database1,
Wim Vanhoof
authored at least 56 papers
between 1997 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
2
2
1
3
1
4
1
1
5
2
2
2
1
1
1
2
2
2
2
1
2
1
1
3
3
2
2
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023
Proceedings of the IEEE International Conference on Web Intelligence and Intelligent Agent Technology, 2023
Proceedings of the 18th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2023), 2023
Proceedings of the Logic-Based Program Synthesis and Transformation, 2023
EvscApp: Evaluating the Pedagogical Relevance of Educational Escape Games for Computer Science.
Proceedings of the 15th International Conference on Computer Supported Education, 2023
2022
Proceedings of the 16th IEEE International Workshop on Software Clones, 2022
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022
2021
Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021).
CoRR, 2021
2020
Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020
Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020
2019
Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, 2019
Proceedings of the Logic-Based Program Synthesis and Transformation, 2019
2017
Survey of Software Visualization Systems to Teach Message-Passing Concurrency in Secondary School.
Proceedings of the Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems, 2017
2016
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016
2015
Sci. Comput. Program., 2015
CoRR, 2015
CoRR, 2015
2014
Proceedings of the 6th International Workshop on Constraints in Software Testing, 2014
2013
Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013
A relational symbolic execution algorithm for constraint-based testing of database programs.
Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013
2012
Proceedings of the Fifth International Workshop on Testing Database Systems, 2012
Proceedings of the Logic-Based Program Synthesis and Transformation, 2012
2011
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011
2010
Declarative workflows to efficiently manage flexible and advanced business processes.
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010
Proceedings of the IEEE Congress on Evolutionary Computation, 2010
2009
Proceedings of the Logic-Based Program Synthesis and Transformation, 2009
2008
Proceedings of the Logic-Based Program Synthesis and Transformation, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
2007
ACM Trans. Program. Lang. Syst., 2007
Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006)
CoRR, 2007
Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)
CoRR, 2007
Proceedings of the Logic-Based Program Synthesis and Transformation, 2007
2004
Theory Pract. Log. Program., 2004
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004
Proceedings of the Logic Based Program Synthesis and Transformation, 2004
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004
2002
Proceedings of the Static Analysis, 9th International Symposium, 2002
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
2001
Proceedings of the Logic for Programming, 2001
Proceedings of the Logic Based Program Synthesis and Transformation, 2001
Proceedings of the Perspectives of System Informatics, 2001
2000
Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury.
Proceedings of the Logic for Programming and Automated Reasoning, 2000
Towards a modular binding-time analysis for higher-order Mercury.
Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000
1999
Proceedings of the Workshop on Optimization and Implementation of Declarative Programs, 1999
Bottom-up Partial Deduction of Logic Programs
J. Funct. Log. Program., 1999
Binding-time Analysis for Mercury.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999
1998
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998
Proceedings of the Logic Programming Synthesis and Transformation, 1998
Specialising the Other Way Arond.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998
1997
Proceedings of the Logic Programming Synthesis and Transformation, 1997