Thomas Troels Hildebrandt
Professor
ORCID: 0000-0002-7435-5563
1 - 2 ud af 2Pr. side: 25
- 2009
- Udgivet
Types for secure pattern matching with local knowledge in universal concurrent constraint programming
Hildebrandt, Thomas Troels & López, H. A., 14 sep. 2009, Logic Programming - 25th International Conference, ICLP 2009, Proceedings. s. 417-431 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 5649 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Higher-Order Contexts via Games and the Int-Construction
Birkedal, L., Bundgaard, M., Debois, S., Hildebrandt, Thomas Troels & Grohmann, D., 2009, IT-Universitetet i København. (I T University. Technical Report Series).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
ID: 191341554
Flest downloads
-
935
downloads
What's in the Box? The Legal Requirement of Explainability in Computationally Aided Decision-Making in Public Administration
Publikation: Working paper › Forskning
Udgivet -
358
downloads
Business process compliance using reference models of law
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
183
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