The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Grit Denker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, Nikolaos Vlachantonis
    Integrating the ER Approach in an OO Environment. [Citation Graph (3, 28)][DBLP]
    ER, 1993, pp:376-389 [Conf]
  2. Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich
    Towards Reliable Information Systems: The KorSo Approach [Citation Graph (2, 0)][DBLP]
    CAiSE, 1993, pp:463-482 [Conf]
  3. Peter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone, Hans-Dieter Ehrich
    Information Systems Modelling with TROLL Formal Methods at Work. [Citation Graph (2, 0)][DBLP]
    Inf. Syst., 1997, v:22, n:2/3, pp:79-99 [Journal]
  4. Maren Krone, Mojgan Kowsari, Peter Hartel, Grit Denker, Hans-Dieter Ehrich
    Developing an Information System Using TROLL: An Application Field Study. [Citation Graph (1, 0)][DBLP]
    CAiSE, 1996, pp:136-159 [Conf]
  5. Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker
    Logics for Specifying Concurrent Information Systems. [Citation Graph (1, 0)][DBLP]
    Logics for Databases and Information Systems, 1998, pp:167-198 [Conf]
  6. Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis
    A Development Environment for an Object Specification Language. [Citation Graph (1, 8)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1995, v:7, n:3, pp:505-508 [Journal]
  7. Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas
    A Linear Temporal Logic Approach to Objects with Transactions. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:170-184 [Conf]
  8. Hans-Dieter Ehrich, Ralf Jungclaus, Grit Denker, Amílcar Sernadas
    Object-Oriented Design of Information Systems: Theoretical Foundations. [Citation Graph (0, 0)][DBLP]
    CISM - Advances in Database Systems, 1993, pp:201-218 [Conf]
  9. Grit Denker
    Transactions in Object-Oriented Specifications. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:203-218 [Conf]
  10. Grit Denker
    Reification - Changing Viewpoint but Preserving Truth. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:182-199 [Conf]
  11. Grit Denker, Martin Gogolla
    Translating TROLL light Concepts to Maude. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:173-187 [Conf]
  12. Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe
    Optimizing Protocol Rewrite Rules of CIL Specifications. [Citation Graph (0, 0)][DBLP]
    CSFW, 2000, pp:52-62 [Conf]
  13. Grit Denker
    Semantic Refinement of Concurrent Object Systems Based on Serializability. [Citation Graph (0, 0)][DBLP]
    Object Orientation with Parallelism and Persistence, 1995, pp:105-126 [Conf]
  14. Jonathan K. Millen, Grit Denker
    MuCAPSL. [Citation Graph (0, 0)][DBLP]
    DISCEX (1), 2003, pp:238-0 [Conf]
  15. Grit Denker, Son Nguyen, Andrew Ton
    OWL-S Semantics of Security Web Services: a Case Study. [Citation Graph (0, 0)][DBLP]
    ESWS, 2004, pp:240-253 [Conf]
  16. Daniel Elenius, Grit Denker, David Martin, Fred Gilham, John Khouri, Shahin Sadaati, Rukman Senanayake
    The OWL-S Editor - A Development Tool for Semantic Web Services. [Citation Graph (0, 0)][DBLP]
    ESWC, 2005, pp:78-92 [Conf]
  17. Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich
    Zur Entwicklung zuverlässiger Informationssysteme in KorSo. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1993, pp:464-469 [Conf]
  18. Grit Denker
    Towards Semantic Foundation of Basic TROLL light Constructs. [Citation Graph (0, 0)][DBLP]
    Grundlagen von Datenbanken, 1992, pp:22-26 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:150-172 [Conf]
  20. Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig
    TROLL light - The Language and its Development Environment. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:205-222 [Conf]
  21. Grit Denker, Jonathan K. Millen, Yutaka Miyake
    Cross-Domain Access Control via PKI. [Citation Graph (0, 0)][DBLP]
    POLICY, 2002, pp:202-205 [Conf]
  22. Ronald Ashri, Grit Denker, Darren Marvin, Mike Surridge, Terry R. Payne
    Semantic Web Service Interaction Protocols: An Ontological Approach. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2004, pp:304-319 [Conf]
  23. Grit Denker, Jerry R. Hobbs, David Martin, Srini Narayanan, Richard J. Waldinger
    Accessing Information and Services on the DAML-Enabled Web. [Citation Graph (0, 0)][DBLP]
    SemWeb, 2001, pp:- [Conf]
  24. Grit Denker, Lalana Kagal, Timothy W. Finin, Massimo Paolucci, Katia P. Sycara
    Security for DAML Web Services: Annotation and Matchmaking. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2003, pp:335-350 [Conf]
  25. Santtu Toivonen, Grit Denker
    The Impact of Context on the Trustworthiness of Communication: An Ontological Approach. [Citation Graph (0, 0)][DBLP]
    ISWC Workshop on Trust, Security, and Reputation on the Semantic Web, 2004, pp:- [Conf]
  26. Hans-Dieter Ehrich, Grit Denker, Amílcar Sernadas
    Constructing Systems as Object Communities. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:453-467 [Conf]
  27. Grit Denker, David Martin
    Using Rules to Define the Semantics of Privacy Policies. [Citation Graph (0, 0)][DBLP]
    Rule Languages for Interoperability, 2005, pp:- [Conf]
  28. Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich
    Entwicklung zuverlässiger Informationssysteme. [Citation Graph (0, 0)][DBLP]
    EMISA Forum, 1995, v:5, n:2, pp:25-33 [Journal]
  29. David A. Basin, Grit Denker
    Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  30. Grit Denker
    From rewrite theories to temporal logic theories. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  31. Grit Denker, Jonathan K. Millen
    Modeling Group Communication Protocols Using Multiset Term Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  32. Grit Denker, José Meseguer, Carolyn L. Talcott
    Rewriting Semantics of Meta-Objects and Composable Distributed Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  33. Grit Denker, Carolyn L. Talcott
    Formal Checklists for Remote Agent Dependability. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:229-248 [Journal]
  34. Lalana Kagal, Massimo Paolucci, Naveen Srinivasan, Grit Denker, Timothy W. Finin, Katia P. Sycara
    Authorization and Privacy for Semantic Web Services. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2004, v:19, n:4, pp:50-56 [Journal]
  35. Daniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn L. Talcott, David Wilkins
    CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies. [Citation Graph (0, 0)][DBLP]
    POLICY, 2007, pp:261-265 [Conf]
  36. Daniel Elenius, Reginald Ford, Grit Denker, David Martin, Mark Johnson
    Purpose-Aware Reasoning about Interoperability of Heterogeneous Training Systems. [Citation Graph (0, 0)][DBLP]
    ISWC/ASWC, 2007, pp:750-763 [Conf]
  37. Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister
    A Rewriting Logic Framework for Soft Constraints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:181-197 [Journal]
  38. Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta
    Rewriting Logic Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:233-247 [Journal]
  39. Grit Denker, Carolyn L. Talcott
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:1-3 [Journal]

  40. Constraint-Muse: A Soft-Constraint Based System for Music Therapy. [Citation Graph (, )][DBLP]


  41. Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL. [Citation Graph (, )][DBLP]


  42. A Semantic Web Reasoner for Rules, Equations and Constraints. [Citation Graph (, )][DBLP]


Search in 0.408secs, Finished in 0.410secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002