Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Survey Of Methods For Explaining Black Box Models., , , , and . CoRR, (2018)Memory-Aware Frequent k-Itemset Mining., , and . KDID, volume 3933 of Lecture Notes in Computer Science, page 38-54. Springer, (2005)MuTACLP: A Language for Temporal Reasoning with Multiple Theories., , , and . Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 1-40. Springer, (2002)A framework for specifying and verifying the behaviour of open systems., , and . J. Log. Algebraic Methods Program., 63 (2): 215-240 (2005)A High Level Analysis Tool for Concurrent Programs., and . ICPP, page 293-302. IEEE Computer Society, (1983)Spreadviews., , and . DEXA, page 525-530. Springer-Verlag, Wien, (1991)Measuring Discrimination in Socially-Sensitive Decision Records., , and . SDM, page 581-592. SIAM, (2009)The Sharing of Partial Results in Nondeterministic Computations., , and . AIMSA, page 93-103. North-Holland, (1986)RSF: A Formalism for Executable Requirement Specifications., , , and . IEEE Trans. Software Eng., 16 (11): 1235-1246 (1990)An Exploration of Learning Processes as Process Maps in FLOSS Repositories., , and . CoRR, (2023)