Søren Debois

Available identifiers

zbMath Open debois.sorenMaRDI QIDQ1671245

List of research outcomes

Publication	Date of Publication	Type
Declarative choreographies and liveness	2024-02-06	Paper
Business Process Compliance Using Reference Models of Law	2022-10-13	Paper
On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems	2021-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4963910	2021-02-24	Paper
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes	2019-12-19	Paper
Replication, refinement \& reachability: complexity in dynamic condition-response graphs	2018-09-06	Paper
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion	2016-03-03	Paper
Imperative-program transformation by instrumented-interpreter specialization	2009-08-04	Paper
On the Construction of Sorted Reactive Systems	2008-11-25	Paper
Sortings for Reactive Systems	2007-09-04	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Søren Debois