Grit Denker

	2012
46		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)
	2010
45		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
	2009
44		Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing: Constraint-Muse: A Soft-Constraint Based System for Music Therapy. CALCO 2009: 423-432
43		S. Iida, Grit Denker, Carolyn L. Talcott: Document Logic: Risk analysis of business processes through document authenticity. EDOCW 2009: 54-63
42		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
41		Daniel Elenius, Grit Denker, Mark-Oliver Stehr: A Semantic Web Reasoner for Rules, Equations and Constraints. RR 2008: 135-149
	2007
40		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		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		Grit Denker, Carolyn L. Talcott: Preface. Electr. Notes Theor. Comput. Sci. 176(4): 1-3 (2007)
37		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		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		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
34		Grit Denker, David Martin: Using Rules to Define the Semantics of Privacy Policies. Rule Languages for Interoperability 2005
33		Grit Denker, Carolyn L. Talcott: Formal Checklists for Remote Agent Dependability. Electr. Notes Theor. Comput. Sci. 117: 229-248 (2005)
	2004
32		Grit Denker, Son Nguyen, Andrew Ton: OWL-S Semantics of Security Web Services: a Case Study. ESWS 2004: 240-253
31		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		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		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		Jonathan K. Millen, Grit Denker: MuCAPSL. DISCEX (1) 2003: 238-
27		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		Grit Denker, Jonathan K. Millen, Yutaka Miyake: Cross-Domain Access Control via PKI. POLICY 2002: 202-205
25		Grit Denker, Jonathan K. Millen: Modeling Group Communication Protocols Using Multiset Term Rewriting. Electr. Notes Theor. Comput. Sci. 71: 20-39 (2002)
	2001
24		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		Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe: Optimizing Protocol Rewrite Rules of CIL Specifications. CSFW 2000: 52-62
22		David A. Basin, Grit Denker: Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. Electr. Notes Theor. Comput. Sci. 36: 235-256 (2000)
21		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)
	1998
20		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		Grit Denker: From rewrite theories to temporal logic theories. Electr. Notes Theor. Comput. Sci. 15: 105-126 (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		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		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		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 (Mark G. J. 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	Nikil D. Dutt (Nikil Dutt)	[46]
9	Hans-Dieter Ehrich	[3] [4] [6] [7] [10] [13] [15] [17] [20]
10	Steven Eker	[36]
11	Daniel Elenius	[35] [39] [40] [41] [42]
12	Timothy W. Finin (Tim Finin)	[27] [29]
13	Reginald Ford	[40] [42]
14	Ashish Gehani	[45]
15	Carola Gerke	[13]
16	Fred Gilham	[35]
17	Martin Gogolla	[2] [4] [5] [7] [9] [10] [12] [13]
18	Antonio Grau	[23]
19	Wolfgang Grieskamp	[13]
20	David Hanz	[45]
21	Peter Hartel	[15] [17]
22	Rudolf Herzig	[4] [5] [7] [9] [10] [12] [13]
23	Jerry R. Hobbs	[24]
24	Matthias M. Hölzl	[44]
25	S. Iida	[43]
26	Mark Johnson	[40]
27	Ralf Jungclaus	[6]
28	Lalana Kagal	[27] [29]
29	John Khouri	[35]
30	Minyoung Kim	[45]
31	Mojgan Kowsari	[15] [17]
32	Maren Krone	[15] [17]
33	David Martin	[34] [35] [40] [42]
34	David L. Martin	[24]
35	Darren Marvin	[30]
36	Sharad Mehrotra	[46]
37	Max Meier	[44]
38	José Meseguer	[21]
39	Jonathan K. Millen	[23] [25] [26] [28]
40	Yutaka Miyake	[26]
41	Srini Narayanan	[24]
42	Son Nguyen	[32]
43	Ernst-Rüdiger Olderog	[13]
44	Massimo Paolucci	[27] [29]
45	Terry R. Payne	[30]
46	Andy Poggio	[37]
47	Jaime Ramos	[18]
48	Franz Regensburger	[13]
49	Grigore Rosu	[36]
50	Shahin Saadati	[35]
51	Rukman Senanayake	[35] [39]
52	Traian-Florin Serbanuta (Traian Serbanuta)	[36]
53	Amílcar Sernadas	[3] [6] [18] [20]
54	Naveen Srinivasan	[29]
55	Mark-Oliver Stehr	[39] [41] [46]
56	Mike Surridge	[30]
57	Katia P. Sycara (Katia Sycara-Cyranski)	[27] [29]
58	Carolyn L. Talcott	[21] [33] [36] [37] [38] [39] [43] [46]
59	Santtu Toivonen	[31]
60	Andrew Ton	[32]
61	Nalini Venkatasubramanian	[46]
62	Nikolaos Vlachantonis	[4] [5] [7] [9] [10]
63	Richard J. Waldinger	[24]
64	David Wilkins	[39]
65	Martin Wirsing	[37] [44]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page