Author of the publication

Preface.

, and . STM, volume 179 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2006)

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