Thomas T. Hildebrandt

Thomas Troels Hildebrandt

2008
22	EE	Lars Birkedal, Søren Debois, Thomas T. Hildebrandt: On the Construction of Sorted Reactive Systems. CONCUR 2008: 218-232
21	EE	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
20	EE	Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi: Type Systems for Bigraphs. TGC 2008: 126-140
19	EE	Roberto M. Amadio, Thomas T. Hildebrandt: Preface. Electr. Notes Theor. Comput. Sci. 194(2): 1 (2008)
2007
18	EE	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	EE	Lars Birkedal, Søren Debois, Thomas T. Hildebrandt: Sortings for Reactive Systems. CONCUR 2006: 248-262
16	EE	Thomas T. Hildebrandt, Henning Niss, Martin Olsen: Formalising Business Process Execution with Bigraphs and Reactive XML. COORDINATION 2006: 113-129
15	EE	Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss: Bigraphical Models of Context-Aware Systems. FoSSaCS 2006: 187-201
14	EE	Thomas T. Hildebrandt, Henning Niss, Martin Olsen, Jacob W. Winther: Distributed Reactive XML. Electr. Notes Theor. Comput. Sci. 150(1): 61-80 (2006)
13	EE	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	EE	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	EE	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	EE	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	EE	Thomas T. Hildebrandt, Alexander Kurz: Preface. Electr. Notes Theor. Comput. Sci. 100: 3- (2004)
8	EE	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	EE	Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone: A Calculus of Mobile Resources. CONCUR 2002: 272-287
2000
5	EE	Thomas T. Hildebrandt: Categorical Models for Fairness: Completion vs Delay. Electr. Notes Theor. Comput. Sci. 40: (2000)
1999
4		Sibylle B. Fröschle, Thomas T. Hildebrandt: On Plain and Hereditary History-Preserving Bisimulation. MFCS 1999: 354-365
3	EE	Thomas T. Hildebrandt: A Fully abstract presheaf semantics for SCCS with finite delay. Electr. Notes Theor. Comput. Sci. 29: (1999)
1998
2	EE	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] [22]
3	Mikkel Bundgaard	[10] [12] [13] [18] [21]
4	Søren Debois	[15] [17] [22]
5	Ebbe Elsborg	[15] [20]
6	Sibylle B. Fröschle	[4]
7	Arne J. Glenstrup	[21]
8	Jens Chr. Godskesen	[6] [10] [11] [12] [18]
9	Espen Højsgaard	[21]
10	Alexander Kurz	[9]
11	Henning Niss	[14] [15] [16] [21]
12	Martin Olsen	[14] [16]
13	Prakash Panangaden	[2] [8]
14	Davide Sangiorgi	[20]
15	Vladimiro Sassone	[1] [6]
16	Glynn Winskel	[2] [8]
17	Jacob W. Winther	[14]

Colors in the list of coauthors