Grit Denker

2008
41	EE	Daniel Elenius, Grit Denker, Mark-Oliver Stehr: A Semantic Web Reasoner for Rules, Equations and Constraints. RR 2008: 135-149
2007
40	EE	Daniel Elenius, Reginald Ford, Grit Denker, David Martin, Mark Johnson: Purpose-Aware Reasoning about Interoperability of Heterogeneous Training Systems. ISWC/ASWC 2007: 750-763
39	EE	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
38	EE	Grit Denker, Carolyn L. Talcott: Preface. Electr. Notes Theor. Comput. Sci. 176(4): 1-3 (2007)
37	EE	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)
36	EE	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)
2005
35	EE	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. ESWC 2005: 78-92
34	EE	Grit Denker, David Martin: Using Rules to Define the Semantics of Privacy Policies. Rule Languages for Interoperability 2005
33	EE	Grit Denker, Carolyn L. Talcott: Formal Checklists for Remote Agent Dependability. Electr. Notes Theor. Comput. Sci. 117: 229-248 (2005)
2004
32	EE	Grit Denker, Son Nguyen, Andrew Ton: OWL-S Semantics of Security Web Services: a Case Study. ESWS 2004: 240-253
31	EE	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
30	EE	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
29	EE	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)
2003
28	EE	Jonathan K. Millen, Grit Denker: MuCAPSL. DISCEX (1) 2003: 238-
27	EE	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
26	EE	Grit Denker, Jonathan K. Millen, Yutaka Miyake: Cross-Domain Access Control via PKI. POLICY 2002: 202-205
25	EE	Grit Denker, Jonathan K. Millen: Modeling Group Communication Protocols Using Multiset Term Rewriting. Electr. Notes Theor. Comput. Sci. 71: (2002)
2001
24	EE	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
23	EE	Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe: Optimizing Protocol Rewrite Rules of CIL Specifications. CSFW 2000: 52-62
22	EE	David A. Basin, Grit Denker: Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. Electr. Notes Theor. Comput. Sci. 36: (2000)
21	EE	Grit Denker, José Meseguer, Carolyn L. Talcott: Rewriting Semantics of Meta-Objects and Composable Distributed Services. Electr. Notes Theor. Comput. Sci. 36: (2000)
1998
20	EE	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
19	EE	Grit Denker: From rewrite theories to temporal logic theories. Electr. Notes Theor. Comput. Sci. 15: (1998)
1997
18		Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas: A Linear Temporal Logic Approach to Objects with Transactions. AMAST 1997: 170-184
17	EE	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)
1996
16		Grit Denker: Verfeinerung in objektorientierten Spezifikationen. Infix Verlag, St. Augustin, Germany 1996
15		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
14		Grit Denker: Reification - Changing Viewpoint but Preserving Truth. COMPASS/ADT 1995: 182-199
13		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
12		Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig: TROLL light - The Language and its Development Environment. KORSO Book 1995: 205-222
11		Grit Denker: Semantic Refinement of Concurrent Object Systems Based on Serializability. Object Orientation with Parallelism and Persistence 1995: 105-126
10		Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich: Entwicklung zuverlässiger Informationssysteme. EMISA Forum 5(2): 25-33 (1995)
9	EE	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)
1994
8		Grit Denker: Transactions in Object-Oriented Specifications. COMPASS/ADT 1994: 203-218
1993
7		Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich: Towards Reliable Information Systems: The KorSo Approach CAiSE 1993: 463-482
6		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
5	EE	Martin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, Nikolaos Vlachantonis: Integrating the ER Approach in an OO Environment. ER 1993: 376-389
4		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
3		Hans-Dieter Ehrich, Grit Denker, Amílcar Sernadas: Constructing Systems as Object Communities. TAPSOFT 1993: 453-467
1992
2		Grit Denker, Martin Gogolla: Translating TROLL light Concepts to Maude. COMPASS/ADT 1992: 173-187
1		Grit Denker: Towards Semantic Foundation of Basic TROLL light Constructs. Grundlagen von Datenbanken 1992: 22-26

Coauthor Index

1	Ronald Ashri	[30]
2	David A. Basin	[22]
3	Juliana Küster Filipe Bowles (Juliana Küster Filipe)	[23]
4	Mark van den Brand (M. G. J. van den Brand)	[36]
5	Linda Briesemeister	[37]
6	Carlos Caleiro	[18] [20]
7	Stefan Conrad	[4] [5] [7] [9] [10] [12]
8	Hans-Dieter Ehrich	[3] [4] [6] [7] [10] [13] [15] [17] [20]
9	Steven Eker	[36]
10	Daniel Elenius	[35] [39] [40] [41]
11	Timothy W. Finin (Tim Finin)	[27] [29]
12	Reginald Ford	[40]
13	Carola Gerke	[13]
14	Fred Gilham	[35]
15	Martin Gogolla	[2] [4] [5] [7] [9] [10] [12] [13]
16	Antonio Grau	[23]
17	Wolfgang Grieskamp	[13]
18	Peter Hartel	[15] [17]
19	Rudolf Herzig	[4] [5] [7] [9] [10] [12] [13]
20	Jerry R. Hobbs	[24]
21	Mark Johnson	[40]
22	Ralf Jungclaus	[6]
23	Lalana Kagal	[27] [29]
24	John Khouri	[35]
25	Mojgan Kowsari	[15] [17]
26	Maren Krone	[15] [17]
27	David Martin	[34] [35] [40]
28	David L. Martin	[24]
29	Darren Marvin	[30]
30	José Meseguer	[21]
31	Jonathan K. Millen	[23] [25] [26] [28]
32	Yutaka Miyake	[26]
33	Srini Narayanan	[24]
34	Son Nguyen	[32]
35	Ernst-Rüdiger Olderog	[13]
36	Massimo Paolucci	[27] [29]
37	Terry R. Payne	[30]
38	Andy Poggio	[37]
39	Jaime Ramos	[18]
40	Franz Regensburger	[13]
41	Grigore Rosu	[36]
42	Shahin Sadaati	[35]
43	Rukman Senanayake	[35] [39]
44	Traian-Florin Serbanuta (Traian Serbanuta)	[36]
45	Amílcar Sernadas	[3] [6] [18] [20]
46	Naveen Srinivasan	[29]
47	Mark-Oliver Stehr	[39] [41]
48	Mike Surridge	[30]
49	Katia P. Sycara	[27] [29]
50	Carolyn L. Talcott	[21] [33] [36] [37] [38] [39]
51	Santtu Toivonen	[31]
52	Andrew Ton	[32]
53	Nikolaos Vlachantonis	[4] [5] [7] [9] [10]
54	Richard J. Waldinger	[24]
55	David Wilkins	[39]
56	Martin Wirsing	[37]

Colors in the list of coauthors