List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Countermodels from sequent calculi in multi-modal logics 2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
| Logics in access control: a conditional approach Journal Of Logic And Computation | 2015-01-12 | Paper |
| Reasoning about delegation and revocation schemes in answer set programming Journal Of Logic And Computation | 2014-04-01 | Paper |
| Embedding and automating conditional logics in classical higher-order logic Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
| A conditional constructive logic for access control and its sequent calculus Lecture Notes in Computer Science | 2011-07-01 | Paper |
| Higher-order coalition logic | 2011-05-11 | Paper |
| Modal access control logic. Axiomatization, semantics and FOL theorem proving | 2011-04-12 | Paper |
| A meta-model of access control in a fibred security language Studia Logica | 2009-11-16 | Paper |
| Fibred security language Studia Logica | 2009-11-16 | Paper |
Research outcomes over time
This page was built for person: Valerio Genovese
