Concepedia

Anne Mulkers

AM

Statistics

Publications

6

Citations

225

H-Index

6

Active since

1989

Affiliations

KU Leuven(Current)

Anne Mulkers is an author at KU Leuven specializing in formal methods, automated reasoning, and software engineering.

Top concepts

EngineeringFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware EngineeringLinguisticsComputer ScienceLogic ProgrammingFormal Verification

Publications per year

1989–1995

6

Publications

6

Improving abstract interpretations by combining domains

Michael Codish, Anne Mulkers, Maurice Bruynooghe et al. · ACM Transactions on Programming Languages and Systems · 1995 · 75 citations · Full text

Engineering, Software Systems, Verification +24

Improving abstract interpretations by combining domains

Michael Codish, Anne Mulkers, Maurice Bruynooghe et al. · 1993 · 44 citations · Full text

The Impact of Abstract Interpretation: An Experiment in Code Generation.

André Mariën, Gerda Janssens, Anne Mulkers et al. · International Conference on Lightning Protection · 1989 · 40 citations

Engineering, Automated Reasoning, Program Analysis +9

Live-structure dataflow analysis for Prolog

Anne Mulkers, William H. Winsborough, Maurice Bruynooghe · ACM Transactions on Programming Languages and Systems · 1994 · 23 citations · Full text

Engineering, Compiler Technology, Computer Architecture +21

On the Practicality of Abstract Equation Systems

Anne Mulkers, Wim Simoens, Gerda Janssens et al. · The MIT Press eBooks · 1995 · 22 citations · Full text

1–5 of 6