Thomas Troels Hildebrandt
Professor
ORCID: 0000-0002-7435-5563
51 - 53 out of 53Page size: 10
- 2008
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 p. (I T University. Technical Report Series).Research output: Book/Report › Report
Preliminary Proceedings 15th International Workshop on Expressiveness in Concurrency: EXPRESS'08 Toronto, Canada 23 August 2008
Gorla, D. (ed.) & Hildebrandt, Thomas Troels (ed.), 2008, Copenhagen: IT-Universitetet i København. 127 p. (I T University. Technical Report Series; No. TR-2008-108).Research output: Book/Report › Report
Type Systems for Bigraphs
Elsborg, E., Hildebrandt, Thomas Troels & Sangiorgi, D., 2008, Copenhagen: IT-Universitetet i København. 39 p. (I T University. Technical Report Series; No. TR-2008-110).Research output: Book/Report › Report
ID: 191341554
Most downloads
-
914
downloads
What's in the Box? The Legal Requirement of Explainability in Computationally Aided Decision-Making in Public Administration
Research output: Working paper › Research
Published -
349
downloads
Business process compliance using reference models of law
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
179
downloads
Confronting Asylum Decision-making through Prototyping Sensemaking of Data and Participation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published