Thomas T. Hildebrandt

Thomas Troels Hildebrandt

	2011
33		Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats: Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs. EDOC 2011: 161-170
32		Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats: Nested Dynamic Condition Response Graphs. FSEN 2011: 343-350
31		Gian Perrone, Søren Debois, Thomas T. Hildebrandt: Bigraphical Refinement Refine 2011: 20-36
30		Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats: Safe Distribution of Declarative Processes. SEFM 2011: 237-252
	2010
29		Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López: A Logic for Choreographies PLACES 2010: 29-43
28		Thomas T. Hildebrandt, Raghava Rao Mukkamala: Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs PLACES 2010: 59-73
27		Tim Hallwyl, Fritz Henglein, Thomas T. Hildebrandt: A standard-driven implementaion of WS-BPEL 2.0. SAC 2010: 2472-2476
26		Raghava Rao Mukkamala, Thomas T. Hildebrandt: From Dynamic Condition Response Structures to Büchi Automata. TASE 2010: 187-190
25		David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt: Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. WS-FM 2010: 146-160
	2008
24		Karen Marie Lyng, Thomas T. Hildebrandt, Raghava Rao Mukkamala: From Paper Based Clinical Practice Guidelines to Declarative Workflow Management. Business Process Management Workshops 2008: 336-347
23		Lars Birkedal, Søren Debois, Thomas T. Hildebrandt: On the Construction of Sorted Reactive Systems. CONCUR 2008: 218-232
22		Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss: Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. COORDINATION 2008: 83-99
21		Raghava Rao Mukkamala, Thomas T. Hildebrandt, Janus Boris Tøth: The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL. EDOCW 2008: 135-142
20		Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi: Type Systems for Bigraphs. TGC 2008: 126-140
19		Roberto M. Amadio, Thomas T. Hildebrandt: Preface. Electr. Notes Theor. Comput. Sci. 194(2): 1 (2008)
	2007
18		Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen: Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources. Electr. Notes Theor. Comput. Sci. 194(1): 23-38 (2007)
	2006
17		Lars Birkedal, Søren Debois, Thomas T. Hildebrandt: Sortings for Reactive Systems. CONCUR 2006: 248-262
16		Thomas T. Hildebrandt, Henning Niss, Martin Olsen: Formalising Business Process Execution with Bigraphs and Reactive XML. COORDINATION 2006: 113-129
15		Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss: Bigraphical Models of Context-Aware Systems. FoSSaCS 2006: 187-201
14		Thomas T. Hildebrandt, Henning Niss, Martin Olsen, Jacob W. Winther: Distributed Reactive XML. Electr. Notes Theor. Comput. Sci. 150(1): 61-80 (2006)
13		Mikkel Bundgaard, Thomas T. Hildebrandt: Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names. Electr. Notes Theor. Comput. Sci. 154(2): 7-29 (2006)
12		Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen: A CPS encoding of name-passing in Higher-order mobile embedded resources. Theor. Comput. Sci. 356(3): 422-439 (2006)
	2005
11		Jens Chr. Godskesen, Thomas T. Hildebrandt: Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names. FSTTCS 2005: 140-151
10		Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen: A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources. Electr. Notes Theor. Comput. Sci. 128(2): 131-150 (2005)
	2004
9		Thomas T. Hildebrandt, Alexander Kurz: Preface. Electr. Notes Theor. Comput. Sci. 100: 3 (2004)
8		Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel: A relational model of non-deterministic dataflow. Mathematical Structures in Computer Science 14(5): 613-649 (2004)
	2003
7		Thomas T. Hildebrandt: Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay. Theor. Comput. Sci. 294(1/2): 151-181 (2003)
	2002
6		Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone: A Calculus of Mobile Resources. CONCUR 2002: 272-287
	2000
5		Thomas T. Hildebrandt: Categorical Models for Fairness: Completion vs Delay. Electr. Notes Theor. Comput. Sci. 40: 188 (2000)
	1999
4		Sibylle B. Fröschle, Thomas T. Hildebrandt: On Plain and Hereditary History-Preserving Bisimulation. MFCS 1999: 354-365
3		Thomas T. Hildebrandt: A Fully abstract presheaf semantics for SCCS with finite delay. Electr. Notes Theor. Comput. Sci. 29: 102-126 (1999)
	1998
2		Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel: A Relational Model of Non-deterministic Dataflow. CONCUR 1998: 613-628
	1996
1		Thomas T. Hildebrandt, Vladimiro Sassone: Comparing Transition Systems with Independence and Asynchronous Transition Systems. CONCUR 1996: 84-97

Coauthor Index

1	Roberto M. Amadio	[19]
2	Lars Birkedal	[15] [17] [23]
3	Mikkel Bundgaard	[10] [12] [13] [18] [22]
4	Marco Carbone	[25] [29]
5	David Raymond Christiansen	[25]
6	Søren Debois	[15] [17] [23] [31]
7	Ebbe Elsborg	[15] [20]
8	Sibylle B. Fröschle	[4]
9	Arne J. Glenstrup	[22]
10	Jens Chr. Godskesen	[6] [10] [11] [12] [18]
11	Davide Grohmann	[29]
12	Tim Hallwyl	[27]
13	Fritz Henglein	[27]
14	Espen Højsgaard	[22]
15	Alexander Kurz	[9]
16	Hugo A. López	[29]
17	Karen Marie Lyng	[24]
18	Raghava Rao Mukkamala	[21] [24] [26] [28] [30] [32] [33]
19	Henning Niss	[14] [15] [16] [22]
20	Martin Olsen	[14] [16]
21	Prakash Panangaden	[2] [8]
22	Gian Perrone	[31]
23	Davide Sangiorgi	[20]
24	Vladimiro Sassone	[1] [6]
25	Tijs Slaats	[30] [32] [33]
26	Janus Boris Tøth	[21]
27	Glynn Winskel	[2] [8]
28	Jacob W. Winther	[14]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page