Concepedia

Bern Martens

BM

9

Publications

391

Citations

9

H-Index

1991

Active since

Affiliations

KU Leuven(Current)

Bern Martens is an author at KU Leuven specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationLanguageCompilersSemanticsData MiningLinguistics

Publications per year

1991–1999

9

Publications

9

Conjunctive partial deduction: foundations, control, algorithms, and experiments

Danny De Schreye, Robert Glück, Jesper Jørgensen et al. · The Journal of Logic Programming · 1999 · 100 citations · Full text

Engineering, Automated Reasoning, Propositional Logic +6

Controlling generalization and polyvariance in partial deduction of normal logic programs

Michaël Leuschel, Bern Martens, Danny De Schreye · ACM Transactions on Programming Languages and Systems · 1998 · 92 citations · Full text

Engineering, Well-founded Semantics, Computational Complexity +23

A general criterion for avoiding infinite unfolding during partial deduction

Maurice Bruynooghe, Danny De Schreye, Bern Martens · New Generation Computing · 1992 · 67 citations · Full text

Partial Deduction, Formal Methods

Automatic finite unfolding using well-founded measures

Bern Martens, Danny De Schreye · The Journal of Logic Programming · 1996 · 37 citations · Full text

Engineering, Machine Learning, Data Mining +5

Controlling conjunctive partial deduction of definite logic programs

Robert Glück, J. Jørgensen, Bern Martens et al. · 1996 · 33 citations

Rows per page

1–5 of 9