Thomas T. Hildebrandt

Thomas Troels Hildebrandt

	2012
c24		Gian Perrone, Søren Debois, Thomas T. Hildebrandt: A model checker for Bigraphs. SAC 2012: 1320-1325
c23		Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski: Refinement for Transition Systems with Responses. FIT 2012: 48-55
	2011
c22		Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats: Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs. EDOC 2011: 161-170
c21		Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats: Nested Dynamic Condition Response Graphs. FSEN 2011: 343-350
c20		Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats: Safe Distribution of Declarative Processes. SEFM 2011: 237-252
c19		Gian Perrone, Søren Debois, Thomas T. Hildebrandt: Bigraphical Refinement. Refine 2011: 20-36
	2010
c18		Tim Hallwyl, Fritz Henglein, Thomas T. Hildebrandt: A standard-driven implementaion of WS-BPEL 2.0. SAC 2010: 2472-2476
c17		Raghava Rao Mukkamala, Thomas T. Hildebrandt: From Dynamic Condition Response Structures to Büchi Automata. TASE 2010: 187-190
c16		David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt: Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. WS-FM 2010: 146-160
c15		Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López: A Logic for Choreographies. PLACES 2010: 29-43
c14		Thomas T. Hildebrandt, Raghava Rao Mukkamala: Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs. PLACES 2010: 59-73
	2008
j11		Roberto M. Amadio, Thomas T. Hildebrandt: Preface. Electr. Notes Theor. Comput. Sci. 194(2): 1 (2008)
c13		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
c12		Lars Birkedal, Søren Debois, Thomas T. Hildebrandt: On the Construction of Sorted Reactive Systems. CONCUR 2008: 218-232
c11		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
c10		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
c9		Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi: Type Systems for Bigraphs. TGC 2008: 126-140
	2007
j10		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
j9		Thomas T. Hildebrandt, Henning Niss, Martin Olsen, Jacob W. Winther: Distributed Reactive XML. Electr. Notes Theor. Comput. Sci. 150(1): 61-80 (2006)
j8		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)
j7		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)
c8		Lars Birkedal, Søren Debois, Thomas T. Hildebrandt: Sortings for Reactive Systems. CONCUR 2006: 248-262
c7		Thomas T. Hildebrandt, Henning Niss, Martin Olsen: Formalising Business Process Execution with Bigraphs and Reactive XML. COORDINATION 2006: 113-129
c6		Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss: Bigraphical Models of Context-Aware Systems. FoSSaCS 2006: 187-201
	2005
j6		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)
c5		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
	2004
j5		Thomas T. Hildebrandt, Alexander Kurz: Preface. Electr. Notes Theor. Comput. Sci. 100: 3 (2004)
j4		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
j3		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
c4		Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone: A Calculus of Mobile Resources. CONCUR 2002: 272-287
	2000
j2		Thomas T. Hildebrandt: Categorical Models for Fairness: Completion vs Delay. Electr. Notes Theor. Comput. Sci. 40: 188 (2000)
	1999
j1		Thomas T. Hildebrandt: A Fully abstract presheaf semantics for SCCS with finite delay. Electr. Notes Theor. Comput. Sci. 29: 102-126 (1999)
c3		Sibylle B. Fröschle, Thomas T. Hildebrandt: On Plain and Hereditary History-Preserving Bisimulation. MFCS 1999: 354-365
	1998
c2		Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel: A Relational Model of Non-deterministic Dataflow. CONCUR 1998: 613-628
	1996
c1		Thomas T. Hildebrandt, Vladimiro Sassone: Comparing Transition Systems with Independence and Asynchronous Transition Systems. CONCUR 1996: 84-97

Coauthor Index

Colors in the list of coauthors

Last update Sun May 19 20:10:45 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page