Bern Martens Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2000
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens: Project Report on LP+: A Second Generation Logic Programming Language. AI Commun. 13(1): 13-18 (2000)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny 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): 265 (2000)
1999
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny 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): 231-277 (1999)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWim Vanhoof, Danny De Schreye, Bern Martens: Bottom-up Partial Deduction of Logic Programs Journal of Functional and Logic Programming 1999(Special Issue 2): (1999)
1998
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck: Specialising the Other Way Arond. IJCSLP 1998: 279-293
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWim Vanhoof, Danny De Schreye, Bern Martens: Bottom-Up Specialisation of Logic Programs. LOPSTR 1998: 325-327
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWim Vanhoof, Danny De Schreye, Bern Martens: A Framework for Bottom Up Specialisation of Logic Programs. PLILP/ALP 1998: 54-72
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Leuschel, Bern Martens, Danny De Schreye: Some Achievements and Prospects in Partial Deduction. ACM Comput. Surv. 30(3es): 4 (1998)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Leuschel, Bern Martens, Danny De Schreye: Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs. ACM Trans. Program. Lang. Syst. 20(1): 208-258 (1998)
1997
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos F. Sagonas: Termination Analysis for Tabled Logic Programming. LOPSTR 1997: 111-127
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Leuschel, Bern Martens, Konstantinos F. Sagonas: Preserving Termination of Tabled Logic Programs While Unfolding. LOPSTR 1997: 189-205
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWim Vanhoof, Bern Martens: To Parse or Not To Parse. LOPSTR 1997: 322-342
1996
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Leuschel, Bern Martens: Global Control for Partial Deduction through Characteristic Atoms and Global Trees. Dagstuhl Seminar on Partial Evaluation 1996: 263-283
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesper Jørgensen, Michael Leuschel, Bern Martens: Conjunctive Partial Deduction in Practice. LOPSTR 1996: 59-82
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen: Controlling Conjunctive Partial Deduction. PLILP 1996: 152-166
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBern Martens, Danny De Schreye: Automatic Finite Unfolding Using Well-Founded Measures. J. Log. Program. 28(2): 89-146 (1996)
1995
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Leuschel, Bern Martens: Generating Specialised Update Procedures Through Partial Deduction of the Ground Representation. Deductive Databases / Abduction in Deductive Databases 1995: 81-95
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBern Martens, John P. Gallagher: Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. ICLP 1995: 597-611
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Leuschel, Bern Martens: Partial Deduction of the Ground Representation and its Application to Integrity Checking. ILPS 1995: 495-509
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny De Schreye, Michael Leuschel, Bern Martens: Tutorial on Program Specialisation (Abstract). ILPS 1995: 615-616
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBern Martens, Danny De Schreye: Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem. J. Log. Program. 22(1): 47-99 (1995)
1994
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBern 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): 97-117 (1994)
1993
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBern Martens, Danny De Schreye: Some Further Issues in Finite Unfolding (Abstract). LOPSTR 1993: 159-161
1992
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny 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: 49-51
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBern Martens, Danny De Schreye, Maurice Bruynooghe: Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures. FGCS 1992: 473-480
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBern Martens, Danny De Schreye: A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming. JICSLP 1992: 511-525
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny 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: 192-204
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Bruynooghe, Danny De Schreye, Bern Martens: A General Criterion for Avoiding Infinite Unfolding during Partial Deduction. New Generation Comput. 11(1): 47-79 (1992)
1991
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Bruynooghe, Danny De Schreye, Bern Martens: A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs. ISLP 1991: 117-131
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc De Raedt, Maurice Bruynooghe, Bern Martens: Integrity Constraints and Interactive Concept-Learning. ML 1991: 394-398
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bry, Rainer Manthey, Bern Martens: Integrity Verification in Knowledge Bases. RCLP 1991: 114-139
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny De Schreye, Bern Martens, Gunther Sablon, Maurice Bruynooghe: Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs. J. Autom. Reasoning 7(3): 337-358 (1991)
1988
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBern Martens, Maurice Bruynooghe: Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph. Expert Database Conf. 1988: 567-601

Coauthor Index

1Maurice Bruynooghe [1] [2] [4] [5] [6] [9] [33]
2François Bry (François Bry-Haußer) [3]
3Stefaan Decorte [24]
4Bart Demoen [33]
5Marc Denecker [33]
6John P. Gallagher [16]
7Robert Glück [19] [31] [32]
8Tamás Horváth [12]
9Gerda Janssens [33]
10Jesper Jørgensen [19] [20] [31] [32]
11Michael Leuschel [14] [15] [17] [20] [21] [23] [24] [25] [26] [31] [32]
12Rainer Manthey [3]
13Luc De Raedt [4]
14Gunther Sablon [2]
15Konstantinos F. Sagonas [23] [24]
16Danny De Schreye [2] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [18] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33]
17Morten Heine Sørensen [19] [31] [32]
18Wim Vanhoof [22] [27] [28] [29] [30]
19Karel De Vlaminck [29]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)