Programming Logic and Semantics

65 Konferencebidrag i proceedings
39 Tidsskriftartikel
23 Konferenceartikel
11 Bidrag til bog/antologi
Mere

23 resultater

Filter

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