Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph. - Bern Martens; Maurice Bruynooghe (Expert Database Conf., 1988)

Integrity Constraints and Interactive Concept-Learning. - Luc De Raedt; Maurice Bruynooghe; Bern Martens (ML, 1991)

Integrity Verification in Knowledge Bases. - François Bry; Rainer Manthey; Bern Martens (RCLP, 1991)

A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs. - Maurice Bruynooghe; Danny De Schreye; Bern Martens (ISLP, 1991)

Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs. - Danny De Schreye; Bern Martens; Gunther Sablon; Maurice Bruynooghe (J. Autom. Reason., 1991)

A sensible least Herbrand semantics for untyped Vanilla meta-programming and its extension to a limited form of amalgamation. - Danny De Schreye; Bern Martens (CNKBS, 1992)

Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures. - Bern Martens; Danny De Schreye; Maurice Bruynooghe (FGCS, 1992)

A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming. - Bern Martens; Danny De Schreye (JICSLP, 1992)

A General Criterion for Avoiding Infinite Unfolding during Partial Deduction. - Maurice Bruynooghe; Danny De Schreye; Bern Martens (New Gener. Comput., 1992)

Some Further Issues in Finite Unfolding (Abstract). - Bern Martens; Danny De Schreye (LOPSTR, 1993)

Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures. - Bern Martens; Danny De Schreye; Tamás Horváth 001 (Theor. Comput. Sci., 1994)

On the semantics of meta-programming and the control of partial deduction in logic programming. - Bern Martens (1994)

Generating Specialised Update Procedures Through Partial Deduction of the Ground Representation. - Michael Leuschel; Bern Martens (Deductive Databases / Abduction in Deductive Databases, 1995)

Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. - Bern Martens; John P. Gallagher (ICLP, 1995)

Partial Deduction of the Ground Representation and its Application to Integrity Checking. - Michael Leuschel; Bern Martens (ILPS, 1995)

Tutorial on Program Specialisation (Abstract). - Danny De Schreye; Michael Leuschel; Bern Martens (ILPS, 1995)

Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem. - Bern Martens; Danny De Schreye (J. Log. Program., 1995)

Global Control for Partial Deduction through Characteristic Atoms and Global Trees. - Michael Leuschel; Bern Martens (Dagstuhl Seminar on Partial Evaluation, 1996)

Conjunctive Partial Deduction in Practice. - Jesper Jørgensen; Michael Leuschel; Bern Martens (LOPSTR, 1996)

Controlling Conjunctive Partial Deduction. - Robert Glück; Jesper Jørgensen; Bern Martens; Morten Heine Sørensen (PLILP, 1996)

Automatic Finite Unfolding Using Well-Founded Measures. - Bern Martens; Danny De Schreye (J. Log. Program., 1996)

Termination Analysis for Tabled Logic Programming. - Stefaan Decorte; Danny De Schreye; Michael Leuschel; Bern Martens; Konstantinos Sagonas (LOPSTR, 1997)

Preserving Termination of Tabled Logic Programs While Unfolding. - Michael Leuschel; Bern Martens; Konstantinos Sagonas (LOPSTR, 1997)

To Parse or Not To Parse. - Wim Vanhoof; Bern Martens (LOPSTR, 1997)

Specialising the Other Way Arond. - Wim Vanhoof; Bern Martens; Danny De Schreye; Karel De Vlaminck (IJCSLP, 1998)

Bottom-Up Specialisation of Logic Programs. - Wim Vanhoof; Danny De Schreye; Bern Martens (LOPSTR, 1998)

A Framework for Bottom Up Specialisation of Logic Programs. - Wim Vanhoof; Danny De Schreye; Bern Martens (PLILP/ALP, 1998)

Some Achievements and Prospects in Partial Deduction. - Michael Leuschel; Bern Martens; Danny De Schreye (ACM Comput. Surv., 1998)

Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs. - Michael Leuschel; Bern Martens; Danny De Schreye (ACM Trans. Program. Lang. Syst., 1998)

Bottom-up Partial Deduction of Logic Programs - Wim Vanhoof; Danny De Schreye; Bern Martens (J. Funct. Log. Program., 1999)

Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. - Danny De Schreye; Robert Glück; Jesper Jørgensen; Michael Leuschel; Bern Martens; Morten Heine Sørensen (J. Log. Program., 1999)

Project Report on LP+: A Second Generation Logic Programming Language. - Danny De Schreye; Maurice Bruynooghe; Bart Demoen; Marc Denecker; Gerda Janssens; Bern Martens (AI Commun., 2000)

Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments". - Danny De Schreye; Robert Glück; Jesper Jørgensen; Michael Leuschel; Bern Martens; Morten Heine Sørensen (J. Log. Program., 2000)

IT, Ethics and Education : Teaching the Teachers (and their Pupils). - Bern Martens (The Information Society, 2006)

Positioning computer science in Flemish K-12 education: a reflection. - Bern Martens; Tom Hofkens (WiPSCE, 2013)

Starting from scratch: experimenting with computer science in Flemish secondary education. - Francis Wyffels; Bern Martens; Stefan Lemmens (WiPSCE, 2014)

Bringing Algorithms to Flemish Classrooms: Teaching the Teachers, and some Students. - Bern Martens; Bart Demoen; Febe Karpez; Dorien Vandenhove; Kristien Van Loon (WiPSCE, 2017)

Co-de: an online learning platform for computational thinking. - Zimcke Van de Staey; Tobias Verlinde; Bart Demoen; Bern Martens (WiPSCE, 2018)