Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Achim D. Brucker

Idea: Efficient Evaluation of Access Control Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Formalizing (Web) Standards

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Stateful Protocol Composition

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Using Ontologies in Formal Developments Targeting Certification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Attribute-Based Encryption With Break-Glass

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Symbolic Test Case Generation for Primitive Recursive Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy