Author of the publication

Abstract Interpretation of Active Rules and its Use in Termination Analysis.

, , , and . ICDT, volume 1186 of Lecture Notes in Computer Science, page 188-202. Springer, (1997)

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

Generation of Alternative Clusterings Using the CAMI Approach., and . SDM, page 118-129. SIAM, (2010)Transfer of Automated Performance Feedback Models to Different Specimens in Virtual Reality Temporal Bone Surgery., , , , , , , and . AIED (1), volume 12163 of Lecture Notes in Computer Science, page 296-308. Springer, (2020)Generalized Modularity for Community Detection., , , , and . ECML/PKDD (2), volume 9285 of Lecture Notes in Computer Science, page 655-670. Springer, (2015)Discovery and analysis of consistent active sub-networks in cancers., , , , , and . BMC Bioinform., 14 (S-2): S7 (2013)A fast indexing approach for protein structure comparison., , , and . BMC Bioinform., 11 (S-1): 46 (2010)Building more robust multi-agent systems using a log-based approach., , and . Web Intell. Agent Syst., 7 (1): 65-87 (2009)A Framework for Goal-Based Semantic Compensation in Agent Systems., , and . Safety and Security in Multiagent Systems, volume 4324 of Lecture Notes in Computer Science, Springer, (2009)Managing Semantic Compensation in a Multi-agent System., , and . CoopIS/DOA/ODBASE (1), volume 3290 of Lecture Notes in Computer Science, page 245-263. Springer, (2004)Abstract Interpretation of Active Rules and its Use in Termination Analysis., , , and . ICDT, volume 1186 of Lecture Notes in Computer Science, page 188-202. Springer, (1997)Classification Using Constrained Emerging Patterns., , and . WAIM, volume 2762 of Lecture Notes in Computer Science, page 226-237. Springer, (2003)