Startseite // SnT // People // Marcos Cramer

Marcos Cramer

Marcos Cramer

Wissenschaftlicher Mitarbeiter

Fakultät oder Zentrum Interdisciplinary Centre for Security, Reliability and Trust
Postadresse Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Büroadresse MNO, E03 0345-060
E-Mail
Telefon (+352) 46 66 44 5364
Fax (+352) 46 66 44 35364
powered by
orbilu.uni.lu

2017

Full Text
See detailPostulates for Revocation Schemes - Technical Report
Cramer, Marcos; Casini, Giovanni

Report (2017)

Full Text
See detailKripke Semantics for BL0 and BL – Technical report
Cramer, Marcos; Garg, Deepak

Report (2017)

Top of Page

2016

Full Text
See detailThe Naproche system: Proof-checking mathematical texts in controlled natural language
Cramer, Marcos

in Sprache und Datenverarbeitung. International Journal for Language Data Processing (2016), 2014(1-2), 9-33

Full Text
See detailResilient Delegation Revocation with Precedence for Predecessors is NP-Complete
Cramer, Marcos; Van Hertum, Pieter; Lapauw, Ruben; Dasseville, Ingmar; Denecker, Marc

in IEEE 29th Computer Security Foundations Symposium (2016)

Full Text
See detailDistributed Autoepistemic Logic and its Application to Access Control
Van Hertum, Pieter; Cramer, Marcos; Bogaerts, Bart; Denecker, Marc

in Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (2016)

Top of Page

2015

Full Text
See detailA Logic of Trust for Reasoning about Delegation and Revocation
Cramer, Marcos; Ambrossio, Diego Agustin; van Hertum, Pieter

in Proceedings of the 20th ACM Symposium on Access Control Models and Technologies (2015)

Full Text
See detailA logical approach to restricting access in online social networks
Cramer, Marcos; Pang, Jun; Zhang, Yang

in Proceedings of the 20th ACM Symposium on Access Control Models and Technologies (2015)

Top of Page

2014

Full Text
See detailModelling the usage of partial functions and undefined terms using presupposition theory
Cramer, Marcos

in Geschke, Stefan; Loewe, Benedikt; Schlicht, Philipp (Eds.) Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch (2014)

Full Text
See detailModelling implicit dynamic introduction of function symbols in mathematical texts
Cramer, Marcos

in de Paiva, Valeria; et al. (Eds.) Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS’14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014) Affliated to RTA-TLCA, VSL 2014 July 17-18, 2014 Vienna, Austria. (2014)

Top of Page