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)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)Layered Modes., and . J. Log. Program., 39 (1-3): 225-244 (1999)Properties of Input-Consuming Derivations, , and . CoRR, (2001)Semantics of well-moded input-consuming logic programs., , and . Comput. Lang., 26 (1): 1-25 (2000)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)Experimental Validation of a Risk Assessment Method., , and . REFSQ, volume 9013 of Lecture Notes in Computer Science, page 1-16. Springer, (2015)