Programming Logic and Semantics

Publikation

Publikationer pr. år 2007 2012 2013 2014 2015 2016 2017 2018 2025

• 77 Konferencebidrag i proceedings
• 40 Tidsskriftartikel
• 26 Konferenceartikel
• 12 Ph.d.-afhandling
• 26 Mere
  • 11 Bidrag til bog/antologi
  • 7 Rapport
  • 4 Paper
  • 1 Bog
  • 1 Konferenceabstrakt til konference
  • 1 Leder
  • 1 Andet bidrag

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2025

  Modelling Recursion and Probabilistic Choice in Guarded Type Theory

  Stassen, P., Møgelberg, R. E., Zwart, M. A., Aguirre, A. & Birkedal, L., 2025, I: Proceedings of the ACM on Programming Languages. 9, POPL

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Type Theory 100%
  • Recursion 100%
  • Probabilistic Choice 100%
  • Programming Language 66%
  • Programming Languages 50%
• 2023

  A Sound and Complete Projection for Global Types

  Tirore, D., Bengtson, J. & Carbone, M., 26 jul. 2023, I: Leibniz International Proceedings in Informatics. 268, s. 28:1 28 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  • Projection Function 100%
  • Message Passing 50%
  • Called Behavior 50%
  • Passing System 50%
  • Computable Partial Function 50%

• Asynchronous Modal FRP

  Bahr, P. & Møgelberg, R. E., 31 aug. 2023, I: Proceedings of the ACM on Programming Languages. 7, ICFP, s. 476-510 205.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang
• 2021

  ReGraDa: Reactive graph data

  Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, T. T., Norman, H. & Slaats, T., 2021, I: Lecture notes in computer science. 12717, s. 188-205 18 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning

  Åben adgang

• " We Would Never Write That Down" Classifications of Unemployed and Data Challenges for AI

  Petersen, A., Christensen, L. R., Harper, R. & Hildebrandt, T., 22 apr. 2021, I: Proceedings of the ACM on Human-Computer Interaction - CSCW. 5, CSCW1, s. 1 26 s., 102.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang
• 2019

  A Sound Algorithm for Asynchronous Session Subtyping

  Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2019, I: Leibniz International Proceedings in Informatics. 140, s. 34:1–34:16

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Session Types 100%
  • Distributed Systems 100%
  • Programming Languages 33%
  • Undecidable 33%
  • Large Classes 33%
• 2018

  The Process Highlighter: From Texts to Declarative Processes and Back

  López-Acosta, H.-A., Hildebrandt, T., Debois, S. & Marquard, M., 10 sep. 2018, I: CEUR Workshop Proceedings. s. 66-70 5 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Declarative Processes 100%
  • Process Model 100%
  • Traceability 100%
  • Natural Language Description 50%
  • DCR Graphs 50%
• 2017

  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 tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Dynamic Condition Response Graphs 100%
  • Process Digitalization 100%
  • Business Digitalization 100%
  • Managing Complexity 100%
  • Digitalization 100%

• 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 tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Type Theory 100%
  • Propositional Truncation 100%
  • Univalent 100%
  • Dependent Type Theory 50%
  • Groupoid Representation 50%

• 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 tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Type Theory 100%
  • Guarded Recursion 100%
  • Reduction Semantics 100%
  • Type Systems 100%
  • Strong Normalization 100%
• 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 tidsskrift › Konferenceartikel › Forskning › peer review

  Fil

  • Set-based 100%
  • Verification Problem 100%
  • Countable Family 100%
  • ProVerif 100%
  • State Information 100%

• 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 tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Calculus 100%
  • Multiparty Session Types 100%
  • Annotation 100%
  • Arbitrary Number 100%
  • Centralized Control 100%

• 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 tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Experience Report 100%
  • Constraint-based Simulation 100%
  • Emergency Response Plan 100%
  • Constraint-based Modeling 100%
  • Modeling and Simulation 100%

• 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 tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Proactive Prevention 100%
  • Response States 100%
  • Policy Language 100%
  • State Response 100%
  • Language Policy 100%
• 2014

  Choreographies, Logically

  Carbone, M., Montesi, F. & Schürmann, C., 2014, I: Lecture Notes in Computer Science. 8704, s. 47-62 15 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  • Distributed Systems 100%
  • Reasoning about Programs 100%
  • Choreographic Programming 100%
  • Proof Theory 100%
  • Process Implementation 100%

• Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems

  Wang, W. & Hildebrandt, T., 2014, I: Lecture Notes in Computer Science. 8379, s. 127-146 20 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Fuzzy-Set Based Sentiment Analysis of Big Social Data

  Mukkamala, R. R., Hussain, A. & Vatrapu, R., 1 sep. 2014, I: International Enterprise Distributed Object Computing Conference. Proceedings. s. 71-80

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Social Data 100%
  • Big Social Data 100%
  • Set-based 100%
  • Sentiment Analysis 100%
  • Fuzzy Sets 100%

• Hierarchical Declarative Modelling with Refinement and Sub-processes

  Debois, S., Hildebrandt, T. & Slaats, T., 2014, I: Lecture Notes in Computer Science. 8659, s. 18--33 16 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Progress as Compositional Lock-Freedom

  Carbone, M., Dardha, O. & Montesi, F., 2014, I: Lecture Notes in Computer Science. s. 49-64 15 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  • Lock-freedom 100%
  • Catalyser 100%
  • Execution Context 100%
  • Session-based 66%
  • Session Types 33%

• The Automated Discovery of Hybrid Processes

  Slaats, T., Reijers, H. & Maggi, F. M., 2014, I: Lecture Notes in Computer Science. 8659, s. 392-399

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  • Procedural 100%
  • Hybrid Process 100%
  • Automated Discovery 100%
  • modeling language 100%
  • Process Model 100%

• Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

  Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 2014, I: Lecture Notes in Computer Science. 8461, s. 1-16 16 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
• 2013

  Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs

  Mukkamala, R. R., Hildebrandt, T. & Slaats, T., 2013, I: International Enterprise Distributed Object Computing Conference. Proceedings. s. 127-136

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Fil

  • Process Model 100%
  • model checker 100%
  • Deadlock Freedom 100%
  • Liveness 100%
  • Dynamic Condition Response Graphs 100%
• 2012

  Declarative Modelling and Safe Distribution of Healthcare Workflows

  Bidragets oversatte titel: Deklarativ modellering og sikker distribuering af sundhedsarbejdsgangeHildebrandt, T., Mukkamala, R. R. & Slaats, T., 2012, I: Lecture Notes in Computer Science. 7151, s. 39-56 18 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Declarative Modeling 100%
  • Healthcare Workflows 100%
  • Workflow Process 100%
  • Response Graph 66%
  • Local Processes 66%

• Merging Multiparty Protocols in Multiparty Choreographies

  Carbone, M. & Montesi, F., 2012, I: Electronic Proceedings of Theoretical Computer Science. EPTCS. 5, s. 28-33

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• Nested Dynamic Condition Response Graphs

  Hildebrandt, T., Mukkamala, R. R. & Slaats, T., 2012, I: Lecture Notes in Computer Science. 7141, s. 343-350 8 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Workflow Management System 100%
  • Automaton 100%
  • Case Study 100%
  • Process Model 100%
  • Case Management System 100%
• 2011

  Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways

  Christiansen, D. R., Carbone, M. & Hildebrandt, T., 2011, I: Lecture Notes in Computer Science. 6551, s. 146-160 15 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review