HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Gerardo Schneider

Publications
Timed Dyadic Deontic Logic
Karam Kharraz, Martin Leucker and Gerardo Schneider
EasyChair Preprint 6918
The Future Mechanism and Information Flow Security
Farzane Karami, Christian Johansen, Olaf Owe and Gerardo Schneider
EasyChair Preprint 499

Keyphrases

active objects, conflict resolution, deontic logic, dynamic analysis, first-class futures, information flow, Information Security, Normative specification, static analysis, trace semantics, Wrappers.

Copyright © 2012-2025 easychair.org. All rights reserved.