Concepedia

Gerda Janssens

GJ

32

Publications

1.5K

Citations

19

H-Index

1987

Active since

Affiliations

KU Leuven(Current)

IMEC

Universidade do Porto

University of Oxford

Gerda Janssens is an author at KU Leuven specializing in engineering, computer science, and formal methods.

Top concepts

Publications per year

1987–2017

32

Publications

32

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016

Joachim Jansen, Bart Bogaerts, Jo Devriendt et al. · International Joint Conference on Artificial Intelligence · 2016 · 303 citations

, , +7

Deriving descriptions of possible values of program variables by means of abstract interpretation

Gerda Janssens, Maurice Bruynooghe · The Journal of Logic Programming · 1992 · 156 citations · Full text

, , +14

Improving the Efficiency of Inductive Logic Programming Through theUse of Query Packs

Hendrik Blockeel, Bart Demoen, Gerda Janssens et al. · Journal of Artificial Intelligence Research · 2002 · 109 citations · Full text

Abstract interpretation: towards the global optimisation of PROLOG programs

Maurice Bruynooghe, Gerda Janssens, Allain Callebaut et al. · Lirias (KU Leuven) · 1987 · 83 citations · Full text

An instance of abstract interpretation integrating type and mode inferencing

Maurice Bruynooghe, Gerda Janssens · Lirias (KU Leuven) · 1988 · 73 citations · Full text

Rows per page

1–5 of 32