Thomas Troels Hildebrandt

Available identifiers

zbMath Open hildebrandt.thomas-tMaRDI QIDQ2423751

List of research outcomes

Publication	Date of Publication	Type
Declarative choreographies and liveness	2024-02-06	Paper
Comparing transition systems with independence and asynchronous transition systems	2023-06-28	Paper
Business Process Compliance Using Reference Models of Law	2022-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q5216075	2020-02-14	Paper
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes	2019-12-19	Paper
A stable non-interleaving early operational semantics for the pi-calculus	2019-06-20	Paper
Replication, refinement \& reachability: complexity in dynamic condition-response graphs	2018-09-06	Paper
A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus	2017-06-01	Paper
Declarative event based models of concurrency and refinement in psi-calculi	2016-04-20	Paper
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion	2016-03-03	Paper
Contracts for cross-organizational workflows as timed dynamic condition response graphs	2014-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q2852048	2013-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q2848140	2013-09-25	Paper
Nested Dynamic Condition Response Graphs	2012-06-29	Paper
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming	2009-07-24	Paper
On the Construction of Sorted Reactive Systems	2008-11-25	Paper
Sortings for Reactive Systems	2007-09-04	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
A CPS encoding of name-passing in higher-order mobile embedded resources	2006-05-29	Paper
A relational model of non-deterministic dataflow	2005-02-28	Paper
Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4484493	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q2763547	2002-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4499229	2001-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4251929	2000-07-19	Paper
https://portal.mardi4nfdi.de/entity/Q4941914	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4353639	1997-09-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thomas Troels Hildebrandt