Markus Stumptner

4 papers in the IJCAI proceedings

IJCAI 2007

Abstract Interpretation of Programs for Model-Based Debugging

with Wolfgang Mayer

Details PDF

IJCAI 2003

Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems

with Franz Wotawa

Details PDF

IJCAI 1999

Debugging Functional Programs

with Franz Wotawa

Details PDF

IJCAI 1997

Diagnosing Tree Structured Systems

with Franz Wotawa

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings