Valerio Genovese
From MaRDI portal
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
