( en | de | ru )

 

Disambiguation of "Hildebrandt, Thomas T."

Author of the publication

copydeleteadd this publication to your clipboard
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.

, , , and . FORTE, volume 8461 of Lecture Notes in Computer Science, page 1-16. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Hildebrandt

Thomas Hildebrandt

Thomas Hildebrandt

Thomas Hildebrandt

Thomas Hildebrandt

 

Other publications of authors with the same name

Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs., , , and . J. Log. Algebraic Methods Program., 82 (5-7): 164-185 (2013)Declarative process mining for DCR graphs., , , and . SAC, page 759-764. ACM, (2017)Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management., , , and . OTM Workshops, volume 8186 of Lecture Notes in Computer Science, page 166-171. Springer, (2013)Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9., , , and . SER&IP@ICSE, page 54-57. IEEE, (2015)Flexible, adaptable, and compliant business systems with dynamic condition response graphs.. ForMABS@ASE, page 1. ACM, (2016)Replication, refinement & reachability: complexity in dynamic condition-response graphs., , and . Acta Inf., 55 (6): 489-520 (2018)Bigraphical Models of Context-Aware Systems., , , , and . FoSSaCS, volume 3921 of Lecture Notes in Computer Science, page 187-201. Springer, (2006)A Relational Model of Non-deterministic Dataflow., , and . CONCUR, volume 1466 of Lecture Notes in Computer Science, page 613-628. Springer, (1998)Data-Dependent Confidentiality in DCR Graphs., , and . PPDP, page 7:1-7:13. ACM, (2023)Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems., and . WS-FM, volume 8379 of Lecture Notes in Computer Science, page 127-146. Springer, (2013)