Home // SnT // People // Marcos Cramer

Marcos Cramer

Marcos Cramer

Research associate

Faculty or Centre Interdisciplinary Centre for Security, Reliability and Trust
Postal Address Campus Kirchberg, Université du Luxembourg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Campus Office E 107
Email
Telephone (+352) 46 66 44 5364
Fax (+352) 46 66 44 35364
powered by
orbilu.uni.lu

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 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)

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)

Top of Page