Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Grit Denker
2010 – today
- 2012
[j16]Grit Denker, Nikil Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn L. Talcott, Nalini Venkatasubramanian: Resilient dependable cyber-physical systems: a middleware perspective. J. Internet Services and Applications 3(1): 41-49 (2012)- 2011
- [j15]Shusaku Iida, Grit Denker, Carolyn L. Talcott: Document Logic: Risk Analysis of Business Processes Through Document Authenticity. Journal of Research and Practice in Information Technology 43(1): 41-64 (2011)
- 2010
- [c32]Grit Denker, Ashish Gehani, Minyoung Kim, David Hanz: Policy-Based Data Downgrading: Toward a Semantic Framework and Automated Tools to Balance Need-to-Protect and Need-to-Share Policies. POLICY 2010: 120-128
2000 – 2009
- 2009
- [c31]Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing: Constraint-Muse: A Soft-Constraint Based System for Music Therapy. CALCO 2009: 423-432
- [c30]Shusaku Iida, Grit Denker, Carolyn L. Talcott: Document Logic: Risk analysis of business processes through document authenticity. EDOCW 2009: 54-63
- [c29]Daniel Elenius, David Martin, Reginald Ford, Grit Denker: Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL. International Semantic Web Conference 2009: 795-810
- 2008
- [c28]Daniel Elenius, Grit Denker, Mark-Oliver Stehr: A Semantic Web Reasoner for Rules, Equations and Constraints. RR 2008: 135-149
- 2007
- [j14]
- [j13]Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister: A Rewriting Logic Framework for Soft Constraints. Electr. Notes Theor. Comput. Sci. 176(4): 181-197 (2007)
- [j12]Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta: Rewriting Logic Systems. Electr. Notes Theor. Comput. Sci. 176(4): 233-247 (2007)
- [j11]David Wilkins, Grit Denker, Mark-Oliver Stehr, Daniel Elenius, Rukman Senanayake, Carolyn L. Talcott: Policy-Based Cognitive Radios. IEEE Wireless Commun. 14(4): 41-46 (2007)
- [c27]Daniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn L. Talcott, David Wilkins: CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies. POLICY 2007: 261-265
- [c26]Daniel Elenius, Reginald Ford, Grit Denker, David Martin, Mark Johnson: Purpose-Aware Reasoning about Interoperability of Heterogeneous Training Systems. ISWC/ASWC 2007: 750-763
- 2005
- [j10]Grit Denker, Carolyn L. Talcott: Formal Checklists for Remote Agent Dependability. Electr. Notes Theor. Comput. Sci. 117: 229-248 (2005)
- [j9]Grit Denker, Lalana Kagal, Tim Finin: Security in the Semantic Web using OWL. Inf. Sec. Techn. Report 10(1): 51-58 (2005)
- [c25]Daniel Elenius, Grit Denker, David Martin, Fred Gilham, John Khouri, Shahin Saadati, Rukman Senanayake: The OWL-S Editor - A Development Tool for Semantic Web Services. ESWC 2005: 78-92
- [c24]Grit Denker, David Martin: Using Rules to Define the Semantics of Privacy Policies. Rule Languages for Interoperability 2005
- 2004
- [j8]Lalana Kagal, Massimo Paolucci, Naveen Srinivasan, Grit Denker, Timothy W. Finin, Katia P. Sycara: Authorization and Privacy for Semantic Web Services. IEEE Intelligent Systems 19(4): 50-56 (2004)
- [c23]Grit Denker, Son Nguyen, Andrew Ton: OWL-S Semantics of Security Web Services: a Case Study. ESWS 2004: 240-253
- [c22]Ronald Ashri, Grit Denker, Darren Marvin, Mike Surridge, Terry R. Payne: Semantic Web Service Interaction Protocols: An Ontological Approach. International Semantic Web Conference 2004: 304-319
- [c21]Santtu Toivonen, Grit Denker: The Impact of Context on the Trustworthiness of Communication: An Ontological Approach. ISWC Workshop on Trust, Security, and Reputation on the Semantic Web 2004
- 2003
- [c20]
- [c19]Grit Denker, Lalana Kagal, Timothy W. Finin, Massimo Paolucci, Katia P. Sycara: Security for DAML Web Services: Annotation and Matchmaking. International Semantic Web Conference 2003: 335-350
- 2002
- [j7]Grit Denker, Jonathan K. Millen: Modeling Group Communication Protocols Using Multiset Term Rewriting. Electr. Notes Theor. Comput. Sci. 71: 20-39 (2002)
- [c18]Grit Denker, Jonathan K. Millen, Yutaka Miyake: Cross-Domain Access Control via PKI. POLICY 2002: 202-205
- 2001
- [c17]Grit Denker, Jerry R. Hobbs, David L. Martin, Srini Narayanan, Richard J. Waldinger: Accessing Information and Services on the DAML-Enabled Web. SemWeb 2001
- 2000
- [j6]David A. Basin, Grit Denker: Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. Electr. Notes Theor. Comput. Sci. 36: 235-256 (2000)
- [j5]Grit Denker, José Meseguer, Carolyn L. Talcott: Rewriting Semantics of Meta-Objects and Composable Distributed Services. Electr. Notes Theor. Comput. Sci. 36: 405-425 (2000)
- [c16]Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe: Optimizing Protocol Rewrite Rules of CIL Specifications. CSFW 2000: 52-62
1990 – 1999
- 1998
- [j4]Grit Denker: From rewrite theories to temporal logic theories. Electr. Notes Theor. Comput. Sci. 15: 105-126 (1998)
- [c15]Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker: Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems 1998: 167-198
- 1997
- [j3]Peter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone, Hans-Dieter Ehrich: Information Systems Modelling with TROLL Formal Methods at Work. Inf. Syst. 22(2/3): 79-99 (1997)
- [c14]Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas: A Linear Temporal Logic Approach to Objects with Transactions. AMAST 1997: 170-184
- 1996
- [b1]Grit Denker: Verfeinerung in objektorientierten Spezifikationen. DISDBIS 6, Infix Verlag, St. Augustin, Germany 1996, ISBN 3-89601-406-4
- [c13]Maren Krone, Mojgan Kowsari, Peter Hartel, Grit Denker, Hans-Dieter Ehrich: Developing an Information System Using TROLL: An Application Field Study. CAiSE 1996: 136-159
- 1995
- [j2]Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich: Entwicklung zuverlässiger Informationssysteme. EMISA Forum 5(2): 25-33 (1995)
- [j1]Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis: A Development Environment for an Object Specification Language. IEEE Trans. Knowl. Data Eng. 7(3): 505-508 (1995)
- [c12]
- [c11]Grit Denker: Semantic Refinement of Concurrent Object Systems Based on Serializability. Object Orientation with Parallelism and Persistence 1995: 105-126
- [c10]Hans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog: Korso Reference Languages - Concepts and Application Domains. KORSO Book 1995: 150-172
- [c9]Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig: TROLL light - The Language and its Development Environment. KORSO Book 1995: 205-222
- 1994
- [c8]
- 1993
- [c7]Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich: Towards Reliable Information Systems: The KorSo Approach. CAiSE 1993: 463-482
- [c6]Hans-Dieter Ehrich, Ralf Jungclaus, Grit Denker, Amílcar Sernadas: Object-Oriented Design of Information Systems: Theoretical Foundations. CISM - Advances in Database Systems 1993: 201-218
- [c5]Martin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, Nikolaos Vlachantonis: Integrating the ER Approach in an OO Environment. ER 1993: 376-389
- [c4]Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich: Zur Entwicklung zuverlässiger Informationssysteme in KorSo. GI Jahrestagung 1993: 464-469
- [c3]Hans-Dieter Ehrich, Grit Denker, Amílcar Sernadas: Constructing Systems as Object Communities. TAPSOFT 1993: 453-467
- 1992
- [c2]
- [c1]Grit Denker: Towards Semantic Foundation of Basic TROLL light Constructs. Grundlagen von Datenbanken 1992: 22-26
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:19 CEST by the dblp team