Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Towards a Context Theory for Context-aware systems
Proceedings of the 2007 conference on Advances in Ambient Intelligence
Goal reasoning with context record types
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Modeling Contexts with Dependent Types
Fundamenta Informaticae
Hi-index | 0.00 |