Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Karl Krukow
Towards a Formal Framework for Computational Trust
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Distributed Approximation of Fixed-Points in Trust Structures
BRICS Report Series
Related publications
Exploring Formal Strategy Framework for the Security in IoT Towards E-Health Context Using Computational Intelligence
Internet of Things and Big Data Technologies for Next Generation Healthcare
Towards a Trust and Reputation Framework for Social Web Platforms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Computational Framework Towards Energy Efficient Casting Processes
6th International Conference on Research into Design, ICoRD 2017
Decision Sciences
Computer Science
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
A Testbed for Evaluating Computational Trust Models
A Unified Framework for Trust Management
Towards a Formal Language for Privacy Options
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications
Trust as a Service: A Framework for Trust Management in Cloud Environments
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science