Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Medlem af:

    ORCID: 0000-0002-7435-5563

    Udgivelsesår:
    Alle
    51 - 57 ud af 57Pr. side: 10
    Sortering: Titel
    1. Udgivet

      Transforming Dynamic Condition Response Graphs to Safe Petri Nets

      Cosma, Paul, Hildebrandt, Thomas Troels & Slaats, Tijs, 2023, Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Proceedings. Gomes, L. & Lorenz, R. (red.). Springer, s. 417-439 23 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13929 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    2. 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

    3. Type checking liveness for collaborative processes with bounded and unbounded recursion

      Debois, S., Hildebrandt, Thomas Troels, Slaats, Tijs & Yoshida, N., 2014, Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Ábrahám, E. & Palamidessi, C. (red.). Springer, s. 1-16 16 s. (Lecture notes in computer science, Bind 8461).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    4. 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

    5. Udgivet

      What's in the Box? The Legal Requirement of Explainability in Computationally Aided Decision-Making in Public Administration

      Olsen, Henrik Palmer, Slosser, Jacob Livingston, Hildebrandt, Thomas Troels & Wiesener, Cornelius, 2019, SSRN: Social Science Research Network, 28 s. (iCourts Working Paper Series; Nr. 162 ).

      Publikation: Working paper › Forskning

    6. Udgivet

      What’s in the Box? The Legal Requirement to Explain Computationally Aided Decision-Making in Public Administration

      Olsen, Henrik Palmer, Slosser, Jacob Livingston & Hildebrandt, Thomas Troels, 2021, Constitutional Challenges in the Algorithmic Society. Cambridge University Press, s. 219-235

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    7. Udgivet

      Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes

      Normann, H., Debois, S., Slaats, Tijs & Hildebrandt, Thomas Troels, 2021, Business Process Management - 19th International Conference, BPM 2021, Proceedings. Polyvyanyy, A., Wynn, M. T., Van Looy, A. & Reichert, M. (red.). Springer, s. 161-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12875 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    Forrige 12 3 4 5 6 Næste

    ID: 191341554