Programming Logic and Semantics

65 Article in proceedings
39 Journal article
23 Conference article
11 Book chapter
More

23 results

Filter

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
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, 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
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
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
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
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
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
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
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
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 Sep 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
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
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
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
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
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
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