Koen De Bosschere

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A novel obfuscation: class hierarchy flattening Foundations and Practice of Security	2013-08-07	Paper
A profile-based tool for finding pipeline parallelism in sequential programs Parallel Computing	2010-09-02	Paper
Opaque Predicates Detection by Abstract Interpretation Algebraic Methodology and Software Technology	2009-04-28	Paper
On the expressiveness of timed coordination models Science of Computer Programming	2006-06-30	Paper
Euro-Par 2004 Parallel Processing Lecture Notes in Computer Science	2005-08-23	Paper
Euro-Par 2004 Parallel Processing Lecture Notes in Computer Science	2005-08-23	Paper
scientific article; zbMATH DE number 2090627 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2090621 (Why is no real title available?)	2004-08-12	Paper
Suspension terms as a means for meta-coordination in the \({\mu}Log\) coordination framework The Journal of Supercomputing	2003-07-01	Paper
Non-intrusive detection of synchronization errors using execution replay Automated Software Engineering	2003-02-17	Paper
scientific article; zbMATH DE number 1863304 (Why is no real title available?)	2003-02-04	Paper
scientific article; zbMATH DE number 1823195 (Why is no real title available?)	2002-11-04	Paper
Bounding the number of segment histories during data race detection Parallel Computing	2002-09-09	Paper
scientific article; zbMATH DE number 1728452 (Why is no real title available?)	2002-04-15	Paper
scientific article; zbMATH DE number 1728461 (Why is no real title available?)	2002-04-15	Paper
alto: A link-time optimizer for the Compaq Alpha Software. Practice & Experience	2001-07-01	Paper
Blackboard relations in the \(\mu\text{Log}\) coordination model New Generation Computing	2001-04-17	Paper
LogiMOO: An extensible multi-user virtual world with natural language control The Journal of Logic Programming	2000-05-28	Paper
scientific article; zbMATH DE number 1262851 (Why is no real title available?)	1999-03-15	Paper
On the use of subword parallelism in medical image processing Parallel Computing	1999-01-12	Paper
On Delphi lemmas and other memoing techniques for deterministic logic programs The Journal of Logic Programming	1998-03-17	Paper
Extending the \(\mu\)log framework with local and conditional blackboard operations Journal of Symbolic Computation	1997-08-25	Paper
Partial translation: towards a portable and efficient prolog implementation technology The Journal of Logic Programming	1997-07-28	Paper

Research outcomes over time

This page was built for person: Koen De Bosschere