Thomas Troels Hildebrandt
Professor
ORCID: 0000-0002-7435-5563
1 - 4 ud af 4Pr. side: 10
- 2008
Formalizing WS-BPEL and Higher Order Mobile Embedded Business Processes in the Bigraphical Programming Languages (BPL) Tool
Bundgaard, M., Glenstrup, A. J., Hildebrandt, Thomas Troels, Højsgaard, E. & Niss, H., 2008, Copenhagen: IT-Universitetet i København. 45 s. (I T University. Technical Report Series; Nr. TR-2008-103).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
On Encoding the Pi-calculus in Higher-Order Calculi
Bundgaard, M., Hildebrandt, Thomas Troels & Godskesen, J. C., 2008, IT University of Copenhagen: IT-Universitetet i København. 24 s. (I T University. Technical Report Series).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Preliminary Proceedings 15th International Workshop on Expressiveness in Concurrency: EXPRESS'08 Toronto, Canada 23 August 2008
Gorla, D. (red.) & Hildebrandt, Thomas Troels (red.), 2008, Copenhagen: IT-Universitetet i København. 127 s. (I T University. Technical Report Series; Nr. TR-2008-108).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Type Systems for Bigraphs
Elsborg, E., Hildebrandt, Thomas Troels & Sangiorgi, D., 2008, Copenhagen: IT-Universitetet i København. 39 s. (I T University. Technical Report Series; Nr. TR-2008-110).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
ID: 191341554
Flest downloads
-
940
downloads
What's in the Box? The Legal Requirement of Explainability in Computationally Aided Decision-Making in Public Administration
Publikation: Working paper › Forskning
Udgivet -
359
downloads
Business process compliance using reference models of law
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
190
downloads
Confronting Asylum Decision-making through Prototyping Sensemaking of Data and Participation
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet