• PostadresseVis på kort

    Rued Langgaards Vej 7, 4C corridor, RLV

    2300 Copenhagen

    Danmark

Søgeresultater

  • 2018

    What makes guarded types tick?

    Bahr, P., Mannaa, B. & Møgelberg, R. E., 2018.

    Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskriftPaperForskningpeer review

    Åben adgang
    Fil
  • 2017

    Automated Analysis of Accountability

    Bruni, A., Giustolisi, R. & Schürmann, C., 2017, Information Security - 20th International Conference, {ISC} 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings. Springer, s. 417-434 (Lecture Notes in Computer Science, Bind 10599).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Böhm Reduction in Infinitary Term Graph Rewriting Systems

    Bahr, P., 1 sep. 2017, 2nd International Conference on Formal Structures for Computation and Deduction: FSCD 2017, September 3–9, 2017, Oxford, UK. Miller, D. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 84. s. 8:1-8:20

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Compiling a 50-year journey

    Hutton, G. & Bahr, P., 20 sep. 2017, I: Journal of Functional Programming. 27, 11 s., 20.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Declarative Process Mining for DCR Graphs

    Debois, S., Hildebrandt, T. T., Laursen, P. H. & Ulrik, K. R., 2017, Proceedings of the Symposium on Applied Computing: SAC '17. New York, NY, USA: Association for Computing Machinery, s. 759-764 6 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Generalising tree traversals and tree transformations to DAGs: Exploiting sharing without the pain

    Bahr, P. & Axelsson, E., 4 apr. 2017, I: Science of Computer Programming. 137, s. 63-97

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 2017, Business Process Management Cases. Springer, s. 397-412 16 s. (Management for Professionals).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelBidrag til bog/antologiForskningpeer review

    Åben adgang
    Fil
  • Lincx: A Linear Logical Framework with First-class Contexts

    Linn Georges, A., Murawska, A., Otis, S. & Pientka, B., 2017, 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. Springer, s. 530-555 (Lecture Notes in Computer Science, Bind 10201).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Managing complexity in process digitalisation with dynamic condition response graphs

    Hildebrandt, T., Debois, S., Slaats, T. & Marquard, M., 2017, I: CEUR Workshop Proceedings. 1898, 8 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    Åben adgang
    Fil
  • Modelling Cooperative Work at a Medical Department

    Christensen, L. R. & Hildebrandt, T., 2017, C&T '17 Proceedings of the 8th International Conference on Communities and Technologies. Association for Computing Machinery, s. 46-55 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Modern Logical Frameworks Design

    Murawska, A. A., 2017, IT-Universitetet. 139 s. (ITU-DS; Nr. 137).

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingPh.d.-afhandling

    Åben adgang
    Fil
  • Multiparty session types as coherence proofs

    Carbone, M., Montesi, F., Montesi, F., Schürmann, C. & Yoshida, N., 2017, I: Acta Informatica. 54, 3, s. 243-269

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Replication, refinement & reachability: complexity in dynamic condition-response graphs

    Debois, S., Hildebrandt, T. T. & Slaats, T., 21 sep. 2017, I: Acta Informatica. s. 1-32 32 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Stack semantics of type theory

    Coquand, T., Mannaa, B. & Ruch, F., 23 jun. 2017, I: Annual Symposium on Logic in Computer Science. 12 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    Åben adgang
    Fil
  • The Clocks Are Ticking: No More Delays! Reduction Semantics for Type Theory with Guarded Recursion

    Bahr, P., Grathwohl, H. B. & Møgelberg, R. E., 18 aug. 2017, I: Annual Symposium on Logic in Computer Science. 12 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    Åben adgang
    Fil
  • The DCR Workbench: Declarative Choreographies for Collaborative Processes

    Debois, S. & Hildebrandt, T., 1 jun. 2017, Behavioural Types: from Theory to Tools. Gay, S. & Ravara, A. (red.). River Publishers, s. 99-124 26 s. (River Publishers Series in Automation, Control and Robotics).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelBidrag til bog/antologiForskningpeer review

    Åben adgang
  • The Independence of Markov's Principle in Type Theory

    Coquand, T. & Mannaa, B., 15 aug. 2017, I: Logical Methods in Computer Science. 13, 3, s. 1-28

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy

    Bruni, A., Drewsen, E. & Schürmann, C., 2017, Electronic Voting - Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Springer, s. 110-126 (Lecture Notes in Computer Science, Bind 10615).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Undecidability of asynchronous session subtyping

    Bravetti, M., Carbone, M. & Zavattaro, G., 2017, I: Information and Computation. 256, s. 300-320

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Fil
  • 2016

    AIF-ω: Set-Based Protocol Abstraction with Countable Families

    Mödersheim, S. A. & Bruni, A., 2 apr. 2016, I: Lecture Notes in Computer Science. 9635, s. 233-253 20 s., 12.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    Fil
  • Applied Formal Methods for Elections

    Wang, J., 2016, IT-Universitetet i København. 154 s. (ITU-DS; Nr. 124).

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingPh.d.-afhandling

    Åben adgang
    Fil
  • A Type Theoretic Investigation of the Verification of Voting Protocols

    Gustafsson, D., 2016, IT-Universitetet i København. 148 s. (ITU-DS; Nr. 123).

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingPh.d.-afhandling

    Åben adgang
    Fil
  • Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types

    Carbone, M., Lindley, S., Montesi, F., Schürmann, C. & Wadler, P., 2016, I: Leibniz International Proceedings in Informatics (LIPIcs). 59, s. 1-15 15 s., 33.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    Åben adgang
    Fil
  • Coqoon - An IDE for Interactive Proof Development in Coq

    Faithfull, A., Bengtson, J. & Tassi, E., 11 apr. 2016, 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings: TACAS 2016: Tools and Algorithms for the Construction and Analysis of Systems. Springer, s. 316-331 15 s. (Lecture Notes in Computer Science, Bind 9636).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Cutting Out Continuations

    Bahr, P. & Hutton, G., 25 mar. 2016, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Springer Publishing Company, Bind 9600. s. 187-200 (Lecture Notes in Computer Science, Bind 9600).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelBidrag til bog/antologiForskningpeer review

  • Denotational semantics in Synthetic Guarded Domain Theory

    Paviotti, M., 2016, IT-Universitetet i København. 143 s. (ITU-DS, Bind 126).

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingPh.d.-afhandling

    Åben adgang
    Fil
  • Denotational semantics of recursive types in synthetic guarded domain theory

    Møgelberg, R. E. & Paviotti, M., 2016, LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, s. 317-326 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • Deriving Consistent GSM Schemas from DCR Graphs

    Eshuis, R., Debois, S., Slaats, T. & Hildebrandt, T., 2016, International Conference on Service-Oriented Computing: ICSOC 2016: Service-Oriented Computing . Springer Publishing Company, s. 467–482 (Lecture Notes in Computer Science, Bind 9936).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans

    Debois, S., Hildebrandt, T. & Sandberg, L., 2016, I: Procedia Computer Science. 83, s. 1295–1300

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    Åben adgang
    Fil
  • Expert System

    Hildebrandt, T. T. & Cattani, G. L., 23 okt. 2016, The International Encyclopedia of Communication Theory and Philosophy. Jensen, K. B., Craig, R. T., Pooley, J. D. & Rothenbuhler, E. W. (red.). Wiley, Bind 1-4. (The Wiley Blackwell-ICA International Encyclopedias of Communication).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelBidrag til bog/antologiFormidling

  • Extensible and Efficient Automation Through Reflective Tactics

    Malecha, G. & Bengtson, J., 22 mar. 2016, Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Springer, s. 532-559 28 s. (Lecture Notes in Computer Science, Bind 9632).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • Flexible Process Notations for Cross-organizational Case Management Systems

    Slaats, T., 2016, IT-Universitetet i København. 276 s. (ITU-DS; Nr. 121).

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingPh.d.-afhandling

    Åben adgang
    Fil
  • Foundations of Session Types and Behavioural Contracts

    Huttel, H., Lanese, I., Vasconcelos, V., Caires, L., Carbone, M., Danielou, P.-M., Mostrous, D., Padovani, L., Rabara, A., Tuosto, E., Vieira, H. T. & Zavattaro, G., 2016, I: A C M Computing Surveys. 49, 1, s. 1 16 s., 3.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Guarded Dependent Type Theory with Coinductive Types

    Bizjak, A., Grathwohl, H. B., Clouston, R., Møgelberg, R. E. & Birkedal, L., 2016, Foundations of Software Science and Computation Structure: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Springer, s. 20-35 16 s. (Lecture Notes in Computer Science, Bind 9634).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • In the Nick of Time: Proactive Prevention of Obligation Violations

    Basin, D., Debois, S. & Hildebrandt, T., 11 aug. 2016, I: I E E E Computer Security Foundations Symposium. Proceedings. s. 120-134 15 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    Åben adgang
    Fil
  • Measuring Voter Lines

    Schürmann, C. & Wang, J., 2016, Proceedings of the 6th International Conference for E-Democracy and Open Government: CeDEM 16. IEEE Professional Communication Society, s. 57-65 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Multiparty Asynchronous Session Types

    Honda, K., Yoshida, N. & Carbone, M., 2016, I: Journal of the ACM. 63, 1, s. 1 67 s., 9.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Psi-calculi in Isabelle

    Bengtson, J., Parrow, J. & Weber, T., 13 jan. 2016, I: Journal of Automated Reasoning. 56, 1, s. 1-47 1 s., 1.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Representing Session Types

    Bock, P. B., Murawska, A., Bruni, A. & Schürmann, C., 2016, 23 s.

    Publikation: AndetAndet bidragForskning

    Åben adgang
    Fil
  • Smart-Guard: Defending User Input from Malware

    Denzel, M., Bruni, A. & Ryan, M., 8 aug. 2016, 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld). IEEE, s. 502-509 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

    Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 11 feb. 2016, I: Logical Methods in Computer Science. 12, 1, s. 1-38 38 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
  • 2015

    A model of guarded recursion with clock synchronisation

    Bizjak, A. & Møgelberg, R. E., 2015, I: Electronic Notes in Theoretical Computer Science. 319, s. 83-101

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • A Model of PCF in Guarded Type Theory

    Paviotti, M., Møgelberg, R. E. & Birkedal, L., 2015, I: Electronic Notes in Theoretical Computer Science. 319, s. 333-349

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 17 maj 2015, Proceedings of the 2nd International Workshop on Software Engineering Research and Industrial Practice. IEEE Computer Society Press, s. 54-57

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Certification of ICTs in Elections

    Schürmann, C., Barrat, J., Bolo, E., Bravo, A., Krimmer, R., Neumann, S., Acong Parreno, A., Volkamer, M. & Wolf, P., 2015, Stockholm: International IDEA. 76 s.

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingBogForskning

  • Concurrency & Asynchrony in Declarative Workflows

    Debois, S., Hildebrandt, T. & Slaats, T., 31 aug. 2015, Lecture Notes in Computer Science: Proceedings of 13th International Conference on Business Process Management (BPM 2015). Springer, Bind 9253. s. 72-89 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Cut elimination in multifocused linear logic

    Guenot, N. & Brock-Nannestad, T., 2015, I: Electronic Proceedings in Theoretical Computer Science. EPTCS. 176, s. 24-33 10 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Declarative event based models of concurrency and refinement in psi-calculi

    Normann, H., Johansen, C. & Hildebrandt, T., 2015, I: Journal of Logic and Algebraic Programming. 85, 3, s. 368-398 30 s.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • Hybrid process technologies in the financial sector

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 31 aug. 2015, CEUR Workshop Proceedings: Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 (BPM-Industry 2015). CEUR Workshop Proceedings, Bind 1439. s. 107-119 (CEUR Workshop Proceedings).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Measuring Voter Lines

    Schürmann, C. & Wang, J., nov. 2015, TR-2015-191 udg. Copenhagen: IT-Universitetet i København. 26 s. (IT University Technical Report Series; Nr. TR-2015-191).

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingRapportForskning

    Fil