Gerda Janssens - Concepedia

Author

Gerda Janssens

KU Leuven

Also Known As

G. Janssens, GERDA JANSSENS, Gerda Janssens, Janssens Gerda, Janssens, Gerda, Marc Denecker, Maurice Bruynooghe

162

Publications

Citations

H-Index

Concepts

All Affiliations

KU Leuven IMEC Universidade do Porto University of Oxford

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	18	1K
2	Computer Engineering	8	8	222
3	Management	2	2	87
4	Language Studies	1	1	13
5	Communication	1	1	21

Gerda Janssens

Publications

1.5K

Citations

H-Index

Page 1

	Year	Citations
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016 Joachim Jansen, Bart Bogaerts, Jo Devriendt, International Joint Conference on Artificial Intelligence Artificial IntelligenceAi ArchitectureEngineeringMachine LearningData Science	2016	303
Deriving descriptions of possible values of program variables by means of abstract interpretation Gerda Janssens, Maurice Bruynooghe The Journal of Logic Programming Formal SpecificationEngineeringProgram AnalysisAutomated ReasoningSoftware Testing	1992	156
Improving the Efficiency of Inductive Logic Programming Through theUse of Query Packs Hendrik Blockeel, Bart Demoen, Gerda Janssens, Journal of Artificial Intelligence Research	2002	109
Abstract interpretation: towards the global optimisation of PROLOG programs Maurice Bruynooghe, Gerda Janssens, Allain Callebaut, Lirias (KU Leuven)	1987	83
An instance of abstract interpretation integrating type and mode inferencing Maurice Bruynooghe, Gerda Janssens Lirias (KU Leuven)	1988	73
Abstract Interpretation: Towards the Global Optimization of Prolog Programs. Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, SLP Declarative ProgrammingEngineeringAutomated ReasoningAbstract InterpretationFormal Methods	1987	69
Global analysis of constraint logic programs María García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, ACM Transactions on Programming Languages and Systems Dataflow AnalysisConstraint SolvingGeneralized FrameworkEngineeringDeclarative Programming	1996	67
Query transformations for improving the efficiency of ilp systems Vı́tor Santos Costa, Ashwin Srinivasan, Rui Camacho, EngineeringBusiness IntelligencePattern DiscoveryPattern MiningText Mining	2003	60
Equivalence checking of static affine programs using widening to handle recurrences Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe ACM Transactions on Programming Languages and Systems Mathematical ProgrammingProgram CheckingEngineeringVerificationComputer-aided Verification	2012	56
Multi-dimensional incremental loop fusion for data locality Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Cluster ComputingEngineeringCompiler TechnologyComputer ArchitectureSoftware Engineering	2004	54

Page 1