Bern Martens

Publication Activity (10 Years)

Years Active: 1988-2018
Publications (10 Years): 2

Top Venues

WiPSCE

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

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

Bern Martens.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bern Martens