Programming Logic and Semantics

Research output

Research output per year 2009 2012 2013 2014 2015 2016 2017 2018 2023

• 67 Article in proceedings
• 39 Journal article
• 24 Conference article
• 11 Book chapter
• 22 More
  • 9 Ph.D. thesis
  • 6 Report
  • 3 Paper
  • 1 Book
  • 1 Conference abstract for conference
  • 1 Editorial
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2023

  A Sound and Complete Projection for Global Types

  Tirore, D., Bengtson, J. & Carbone, M., 26 Jul 2023, In: Leibniz International Proceedings in Informatics. 268, p. 28:1 28 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  • Acoustic waves 100%
  • Message passing 45%
  • Specifications 27%
• 2021

  ReGraDa: Reactive graph data

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research

  Open Access

• " 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, In: Proceedings of the ACM on Human-Computer Interaction - CSCW. 5, CSCW1, p. 1 26 p., 102.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access
• 2019

  A Sound Algorithm for Asynchronous Session Subtyping

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • Acoustic waves 100%
  • Communication 31%
  • Computer programming languages 28%
• 2018

  The Process Highlighter: From Texts to Declarative Processes and Back

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • Mechanics 100%
  • Specifications 74%
• 2017

  Managing complexity in process digitalisation with dynamic condition response graphs

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • Industry 100%

• Stack semantics of type theory

  Coquand, T., Mannaa, B. & Ruch, F., 23 Jun 2017, In: Annual Symposium on Logic in Computer Science. 12 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • Type Theory 100%
  • Semantics 76%
  • Truncation 57%
  • Dependent 39%
  • Groupoid 31%

• 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, In: Annual Symposium on Logic in Computer Science. 12 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • Type Theory 100%
  • Recursion 87%
  • Semantics 76%
  • Clocks 76%
  • Reasoning 51%
• 2016

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

  Mödersheim, S. A. & Bruni, A., 2 Apr 2016, In: Lecture Notes in Computer Science. 9635, p. 233-253 20 p., 12.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  File

  • Abstraction 100%
  • Countable 75%
  • Network protocols 62%
  • Family 43%
  • Protocol Verification 41%

• Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • Semantics 100%
  • Communication 73%

• Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

• In the Nick of Time: Proactive Prevention of Obligation Violations

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • Polynomials 100%
  • Specifications 83%
• 2014

  Choreographies, Logically

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Choreography 100%
  • Semantics 78%
  • Proof Theory 36%
  • Distributed Systems 33%
  • Reasoning 27%

• Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Fuzzy-Set Based Sentiment Analysis of Big Social Data

  Mukkamala, R. R., Hussain, A. & Vatrapu, R., 1 Sept 2014, In: International Enterprise Distributed Object Computing Conference. Proceedings. p. 71-80

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • social data 100%
  • facebook 41%
  • artifact 25%
  • sociology 22%
  • semantics 11%

• Hierarchical Declarative Modelling with Refinement and Sub-processes

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Progress as Compositional Lock-Freedom

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Context 100%
  • Methodology 79%
  • Intuitive 52%
  • Standards 29%
  • Characterization 28%

• The Automated Discovery of Hybrid Processes

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  • Modeling languages 100%
  • Modeling Language 68%
  • Hybrid Model 61%
  • Process Modeling 59%
  • Plug-in 57%

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

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
• 2013

  Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  File

  • Chemical analysis 100%
• 2012

  Declarative Modelling and Safe Distribution of Healthcare Workflows

  Hildebrandt, T., Mukkamala, R. R. & Slaats, T., 2012, In: Lecture Notes in Computer Science. 7151, p. 39-56 18 p.

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • Work Flow 100%
  • Healthcare 84%
  • Modeling 45%
  • Graph in graph theory 25%
  • Field Study 20%

• Merging Multiparty Protocols in Multiparty Choreographies

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

• Nested Dynamic Condition Response Graphs

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  Open Access

  File

  • Graph in graph theory 100%
  • Dynamic models 87%
  • Process Model 80%
  • Semantics 74%
  • Automata 63%
• 2011

  Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways

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

  Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review