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

Encryption in ICS networks: A blessing or a curse?, , , , , and . SmartGridComm, page 289-294. IEEE, (2017)A Logic for Auditing Accountability in Decentralized Systems., , , , and . Formal Aspects in Security and Trust, volume 173 of IFIP, page 187-201. Springer, (2004)Properties of Input-Consuming Derivations, , and . CoRR, (2001)Layered Modes., and . J. Log. Program., 39 (1-3): 225-244 (1999)Semantics of well-moded input-consuming logic programs., , and . Comput. Lang., 26 (1): 1-25 (2000)On the Unification Free Prolog Programs., and . MFCS, volume 711 of Lecture Notes in Computer Science, page 1-19. Springer, (1993)Transformation of Left Terminating Programs., , and . LOPSTR, volume 1817 of Lecture Notes in Computer Science, page 156-175. Springer, (1999)From System Specification to Anomaly Detection (and back)., , , , , and . CPS-SPC@CCS, page 13-24. ACM, (2017)10141 Abstracts Collection - Distributed Usage Control., , , and . Distributed Usage Control, volume 10141 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)Preface., and . STM, volume 179 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2006)