Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Medlem af:

    ORCID: 0000-0002-7435-5563

    Udgivelsesår:
    Alle
    51 - 56 ud af 56Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2009
    2. 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

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

    4. 2008

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

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

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

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

    Forrige 12 3 4 5 6 Næste

    ID: 191341554