dblp.uni-trier.dewww.uni-trier.de

Thomas T. Hildebrandt Vis

Thomas Troels Hildebrandt

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
22EELars Birkedal, Søren Debois, Thomas T. Hildebrandt: On the Construction of Sorted Reactive Systems. CONCUR 2008: 218-232
21EEMikkel 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
20EEEbbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi: Type Systems for Bigraphs. TGC 2008: 126-140
19EERoberto M. Amadio, Thomas T. Hildebrandt: Preface. Electr. Notes Theor. Comput. Sci. 194(2): 1 (2008)
2007
18EEMikkel 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
17EELars Birkedal, Søren Debois, Thomas T. Hildebrandt: Sortings for Reactive Systems. CONCUR 2006: 248-262
16EEThomas T. Hildebrandt, Henning Niss, Martin Olsen: Formalising Business Process Execution with Bigraphs and Reactive XML. COORDINATION 2006: 113-129
15EELars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss: Bigraphical Models of Context-Aware Systems. FoSSaCS 2006: 187-201
14EEThomas T. Hildebrandt, Henning Niss, Martin Olsen, Jacob W. Winther: Distributed Reactive XML. Electr. Notes Theor. Comput. Sci. 150(1): 61-80 (2006)
13EEMikkel 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)
12EEMikkel 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
11EEJens Chr. Godskesen, Thomas T. Hildebrandt: Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names. FSTTCS 2005: 140-151
10EEMikkel 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
9EEThomas T. Hildebrandt, Alexander Kurz: Preface. Electr. Notes Theor. Comput. Sci. 100: 3- (2004)
8EEThomas 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
6EEJens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone: A Calculus of Mobile Resources. CONCUR 2002: 272-287
2000
5EEThomas T. Hildebrandt: Categorical Models for Fairness: Completion vs Delay. Electr. Notes Theor. Comput. Sci. 40: (2000)
1999
4EESibylle B. Fröschle, Thomas T. Hildebrandt: On Plain and Hereditary History-Preserving Bisimulation. MFCS 1999: 354-365
3EEThomas T. Hildebrandt: A Fully abstract presheaf semantics for SCCS with finite delay. Electr. Notes Theor. Comput. Sci. 29: (1999)
1998
2EEThomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel: A Relational Model of Non-deterministic Dataflow. CONCUR 1998: 613-628
1996
1EEThomas T. Hildebrandt, Vladimiro Sassone: Comparing Transition Systems with Independence and Asynchronous Transition Systems. CONCUR 1996: 84-97

Coauthor Index

1Roberto M. Amadio [19]
2Lars Birkedal [15] [17] [22]
3Mikkel Bundgaard [10] [12] [13] [18] [21]
4Søren Debois [15] [17] [22]
5Ebbe Elsborg [15] [20]
6Sibylle B. Fröschle [4]
7Arne J. Glenstrup [21]
8Jens Chr. Godskesen [6] [10] [11] [12] [18]
9Espen Højsgaard [21]
10Alexander Kurz [9]
11Henning Niss [14] [15] [16] [21]
12Martin Olsen [14] [16]
13Prakash Panangaden [2] [8]
14Davide Sangiorgi [20]
15Vladimiro Sassone [1] [6]
16Glynn Winskel [2] [8]
17Jacob W. Winther [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)