Author of the publication

Declare 2017 – Conference on Declarative Programming

, , and (Eds.) 499. Institut für Informatik, (September 2017)

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

Unbalanced tree search on a manycore system using the GPI programming model., , , and . Comput. Sci. Res. Dev., 26 (3-4): 229-236 (2011)Modeling Distributed Network Attacks with Constraints., and . IDC, volume 382 of Studies in Computational Intelligence, page 203-212. Springer, (2011)ISTO: A Language for Temporal Organizational Information Systems., and . INAP, volume 6547 of Lecture Notes in Computer Science, page 40-51. Springer, (2009)Teaching Prolog with Active Logic Documents., , , and . Prolog: The Next 50 Years, volume 13900 of Lecture Notes in Computer Science, Springer, (2023)Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search., , , and . CRiSIS, volume 13204 of Lecture Notes in Computer Science, page 91-107. Springer, (2021)Intelligent Query Answering with Contextual Knowledge for Relational Databases., , and . SLATE, volume 94 of OASIcs, page 16:1-16:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Towards Structured Contexts and Modules., and . ICLP, volume 4079 of Lecture Notes in Computer Science, page 436-438. Springer, (2006)Improving Constraint Solving on Parallel Hybrid Systems., , , and . ICTAI, page 726-732. IEEE, (2018)ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems.. INAP, page 229-237. The Prolog Association of Japan, (2001)Relational Information Retrieval through Natural Lanaguage Analysis., , and . INAP, page 437-451. The Prolog Association of Japan, (2001)