Grit Denker

According to our database1, Grit Denker authored at least 62 papers between 1992 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Workstations of the Future for Transformational Gains in Solving Complex Problems.
Proceedings of the Human-Computer Interaction. Design Practice in Contemporary Societies, 2019

Policy Creation for Enterprise-Level Data Sharing.
Proceedings of the HCI for Cybersecurity, Privacy and Trust, 2019

2018
Protecting Privacy with a Declarative Policy Framework.
Proceedings of the 12th IEEE International Conference on Semantic Computing, 2018

bRIGHT - Workstations of the Future and Leveraging Contextual Models.
Proceedings of the Human Interface and the Management of Information. Interaction, Visualization, and Analytics, 2018

Expiring Decisions for Stream-based Data Access in a Declarative Privacy Policy Framework.
Proceedings of the 2nd International Workshop on Multimedia Privacy and Security, 2018

2016
Semantically Enhanced Virtual Learning Environments Using Sunflower.
Proceedings of the Metadata and Semantics Research - 10th International Conference, 2016

Automating Financial Regulatory Compliance Using Ontology+Rules and Sunflower.
Proceedings of the 12th International Conference on Semantic Systems, 2016

2014
MINA: A reflective middleware for managing dynamic multinetwork environments.
Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014

A Software Defined Networking architecture for the Internet-of-Things.
Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014

Software-defined cyber-physical multinetworks.
Proceedings of the International Conference on Computing, Networking and Communications, 2014

2013
Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks.
Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

Achieving resilience of heterogeneous networks through predictive, formal analysis.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

2012
Resilient dependable cyber-physical systems: a middleware perspective.
J. Internet Services and Applications, 2012

2011
On the (f)utility of untrusted data sanitization.
Proceedings of the MILCOM 2011, 2011

2010
Policy-Based Data Downgrading: Toward a Semantic Framework and Automated Tools to Balance Need-to-Protect and Need-to-Share Policies.
Proceedings of the POLICY 2010, 2010

2009
Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Document Logic: Risk analysis of business processes through document authenticity.
Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

Constraint-Muse: A Soft-Constraint Based System for Music Therapy.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008
A Semantic Web Reasoner for Rules, Equations and Constraints.
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

2007
Policy-Based Cognitive Radios.
IEEE Wireless Commun., 2007

A Rewriting Logic Framework for Soft Constraints.
Electr. Notes Theor. Comput. Sci., 2007

Rewriting Logic Systems.
Electr. Notes Theor. Comput. Sci., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Purpose-Aware Reasoning about Interoperability of Heterogeneous Training Systems.
Proceedings of the Semantic Web, 2007

CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies.
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

2005
Security in the Semantic Web using OWL.
Inf. Sec. Techn. Report, 2005

Formal Checklists for Remote Agent Dependability.
Electr. Notes Theor. Comput. Sci., 2005

Using Rules to Define the Semantics of Privacy Policies.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

The OWL-S Editor - A Development Tool for Semantic Web Services.
Proceedings of the Semantic Web: Research and Applications, 2005

2004
Authorization and Privacy for Semantic Web Services.
IEEE Intelligent Systems, 2004

The Impact of Context on the Trustworthiness of Communication: An Ontological Approach.
Proceedings of the ISWC*04 Workshop on Trust, 2004

Semantic Web Service Interaction Protocols: An Ontological Approach.
Proceedings of the Semantic Web, 2004

OWL-S Semantics of Security Web Services: a Case Study.
Proceedings of the Semantic Web: Research and Applications, 2004

2003
Security for DAML Web Services: Annotation and Matchmaking.
Proceedings of the Semantic Web, 2003

MuCAPSL.
Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

2002
Modeling Group Communication Protocols Using Multiset Term Rewriting.
Electr. Notes Theor. Comput. Sci., 2002

Cross-Domain Access Control via PKI.
Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002), 2002

2001
Accessing Information and Services on the DAML-Enabled Web.
Proceedings of the Second International Workshop on the Semantic Web, 2001

2000
Rewriting Semantics of Meta-Objects and Composable Distributed Services.
Electr. Notes Theor. Comput. Sci., 2000

Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis.
Electr. Notes Theor. Comput. Sci., 2000

Optimizing Protocol Rewrite Rules of CIL Specifications.
Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1998
From rewrite theories to temporal logic theories.
Electr. Notes Theor. Comput. Sci., 1998

Logics for Specifying Concurrent Information Systems.
Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

1997
Information Systems Modelling with TROLL Formal Methods at Work.
Inf. Syst., 1997

A Linear Temporal Logic Approach to Objects with Transactions.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen.
Proceedings of the Ausgezeichnete Informatikdissertationen 1996, 1996

Developing an Information System Using TROLL: An Application Field Study.
Proceedings of the Advances Information System Engineering, 8th International Conference, 1996

Verfeinerung in objektorientierten Spezifikationen.
DISDBIS 6, Infix, ISBN: 3-89601-406-4, 1996

1995
A Development Environment for an Object Specification Language.
IEEE Trans. Knowl. Data Eng., 1995

Entwicklung zuverlässiger Informationssysteme.
EMISA Forum, 1995

TROLL light - The Language and its Development Environment.
Proceedings of the KORSO, 1995

Korso Reference Languages - Concepts and Application Domains.
Proceedings of the KORSO, 1995

Semantic Refinement of Concurrent Object Systems Based on Serializability.
Proceedings of the Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), 1995

Reification - Changing Viewpoint but Preserving Truth.
Proceedings of the Recent Trends in Data Type Specification, 1995

1994
Transactions in Object-Oriented Specifications.
Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993
Constructing Systems as Object Communities.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Zur Entwicklung zuverlässiger Informationssysteme in KorSo.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

Integrating the ER Approach in an OO Environment.
Proceedings of the Entity-Relationship Approach, 1993

Object-Oriented Design of Information Systems: Theoretical Foundations.
Proceedings of the Advances in Database Systems: Implementations and Applications, 1993

Towards Reliable Information Systems: The KorSo Approach
Proceedings of the Advanced Information Systems Engineering, 1993

1992
Towards Semantic Foundation of Basic TROLL light Constructs.
Proceedings of the Kurzfassungen des 4. GI-Workshops "Grundlagen von Datenbanken", 1992

Translating TROLL light Concepts to Maude.
Proceedings of the Recent Trends in Data Type Specification, 1992


  Loading...