Bern Martens

39 papers B 1C 6Journal 11Unranked 20
YearRankTypeTitle / Venue / Authors
2018 — conf
Co-de: an online learning platform for computational thinking.
WiPSCE
Zimcke Van de Staey, Tobias Verlinde, Bart Demoen, Bern Martens
2017 — conf
Bringing Algorithms to Flemish Classrooms: Teaching the Teachers, and some Students.
WiPSCE
Bern Martens, Bart Demoen, Febe Karpez, Dorien Vandenhove, Kristien Van Loon
2014 — conf
Starting from scratch: experimenting with computer science in Flemish secondary education.
WiPSCE
Francis Wyffels, Bern Martens, Stefan Lemmens
2013 — conf
Positioning computer science in Flemish K-12 education: a reflection.
WiPSCE
Bern Martens, Tom Hofkens
2006 — conf
IT, Ethics and Education : Teaching the Teachers (and their Pupils).
The Information Society
Bern Martens
2000 J jnl
Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments".
J. Log. Program.
Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen
2000 J jnl
Project Report on LP
AI Commun.
Danny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens
1999 J jnl
Bottom-up Partial Deduction of Logic Programs
J. Funct. Log. Program.
Wim Vanhoof, Danny De Schreye, Bern Martens
1999 J jnl
Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments.
J. Log. Program.
Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen
1998 — conf
A Framework for Bottom Up Specialisation of Logic Programs.
PLILP/ALP
Wim Vanhoof, Danny De Schreye, Bern Martens
1998 C conf
Bottom-Up Specialisation of Logic Programs.
LOPSTR
Wim Vanhoof, Danny De Schreye, Bern Martens
1998 J jnl
Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs.
ACM Trans. Program. Lang. Syst.
Michael Leuschel, Bern Martens, Danny De Schreye
1998 J jnl
Some Achievements and Prospects in Partial Deduction.
ACM Comput. Surv.
Michael Leuschel, Bern Martens, Danny De Schreye
1998 — conf
Specialising the Other Way Arond.
IJCSLP
Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck
1997 C conf
Preserving Termination of Tabled Logic Programs While Unfolding.
LOPSTR
Michael Leuschel, Bern Martens, Konstantinos Sagonas
1997 C conf
Termination Analysis for Tabled Logic Programming.
LOPSTR
Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas
1997 C conf
To Parse or Not To Parse.
LOPSTR
Wim Vanhoof, Bern Martens
1996 J jnl
Automatic Finite Unfolding Using Well-Founded Measures.
J. Log. Program.
Bern Martens, Danny De Schreye
1996 C conf
Conjunctive Partial Deduction in Practice.
LOPSTR
Jesper Jørgensen, Michael Leuschel, Bern Martens
1996 — conf
Controlling Conjunctive Partial Deduction.
PLILP
Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen
1996 — conf
Global Control for Partial Deduction through Characteristic Atoms and Global Trees.
Dagstuhl Seminar on Partial Evaluation
Michael Leuschel, Bern Martens
1995 B conf
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance.
ICLP
Bern Martens, John P. Gallagher
1995 — conf
Generating Specialised Update Procedures Through Partial Deduction of the Ground Representation.
Deductive Databases / Abduction in Deductive Databases
Michael Leuschel, Bern Martens
1995 — conf
Partial Deduction of the Ground Representation and its Application to Integrity Checking.
ILPS
Michael Leuschel, Bern Martens
1995 — conf
Tutorial on Program Specialisation (Abstract).
ILPS
Danny De Schreye, Michael Leuschel, Bern Martens
1995 J jnl
Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem.
J. Log. Program.
Bern Martens, Danny De Schreye
1994 — —
On the semantics of meta-programming and the control of partial deduction in logic programming.
Bern Martens
1994 J jnl
Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures.
Theor. Comput. Sci.
Bern Martens, Danny De Schreye, Tamás Horváth
1993 C conf
Some Further Issues in Finite Unfolding (Abstract).
LOPSTR
Bern Martens, Danny De Schreye
1992 J jnl
A General Criterion for Avoiding Infinite Unfolding during Partial Deduction.
New Gener. Comput.
Maurice Bruynooghe, Danny De Schreye, Bern Martens
1992 — conf
A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming.
JICSLP
Bern Martens, Danny De Schreye
1992 — conf
A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation.
META
Danny De Schreye, Bern Martens
1992 — conf
A sensible least Herbrand semantics for untyped Vanilla meta-programming and its extension to a limited form of amalgamation.
CNKBS
Danny De Schreye, Bern Martens
1992 — conf
Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures.
FGCS
Bern Martens, Danny De Schreye, Maurice Bruynooghe
1991 — conf
A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs.
ISLP
Maurice Bruynooghe, Danny De Schreye, Bern Martens
1991 J jnl
Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs.
J. Autom. Reason.
Danny De Schreye, Bern Martens, Gunther Sablon, Maurice Bruynooghe
1991 — conf
Integrity Constraints and Interactive Concept-Learning.
ML
Luc De Raedt, Maurice Bruynooghe, Bern Martens
1991 — conf
Integrity Verification in Knowledge Bases.
RCLP
François Bry, Rainer Manthey, Bern Martens
1988 — conf
Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph.
Expert Database Conf.
Bern Martens, Maurice Bruynooghe