| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
|
van Ditmarsch, Hans
|
|
|
121 |
C |
p.
|
artikel
|
| 2 |
Applications and extensions of context-sensitive rewriting
|
Lucas, Salvador
|
|
|
121 |
C |
p.
|
artikel
|
| 3 |
Automated verification of reactive and concurrent programs by calculation
|
Foster, Simon
|
|
|
121 |
C |
p.
|
artikel
|
| 4 |
Certifying Findel derivatives for blockchain
|
Arusoaie, Andrei
|
|
|
121 |
C |
p.
|
artikel
|
| 5 |
Editorial Board
|
|
|
|
121 |
C |
p.
|
artikel
|
| 6 |
Event-Based Time-Stamped Claim Logic
|
Ramos, Jaime
|
|
|
121 |
C |
p.
|
artikel
|
| 7 |
Event structure semantics of (controlled) reversible CCS
|
Graversen, Eva
|
|
|
121 |
C |
p.
|
artikel
|
| 8 |
Explaining safety failures in NetKAT
|
Caltais, Georgiana
|
|
|
121 |
C |
p.
|
artikel
|
| 9 |
Formal verification of timed synchronous dataflow graphs using Lustre
|
Bennour, Imed Eddine
|
|
|
121 |
C |
p.
|
artikel
|
| 10 |
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
|
Costa, Diana
|
|
|
121 |
C |
p.
|
artikel
|
| 11 |
On primitives for compensation handling as adaptable processes
|
Dedeić, Jovana
|
|
|
121 |
C |
p.
|
artikel
|
| 12 |
Operational semantics with semicommutations
|
Maarand, Hendrik
|
|
|
121 |
C |
p.
|
artikel
|
| 13 |
Reasoning about distributed information with infinitely many agents
|
Guzmán, Michell
|
|
|
121 |
C |
p.
|
artikel
|
| 14 |
Resource separation in dynamic logic of propositional assignments
|
Boudou, Joseph
|
|
|
121 |
C |
p.
|
artikel
|
| 15 |
Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
|
Eraşcu, Mădălina
|
|
|
121 |
C |
p.
|
artikel
|
| 16 |
Semantics of multiway dataflow constraint systems
|
Haveraaen, Magne
|
|
|
121 |
C |
p.
|
artikel
|
| 17 |
Simpler proofs with decentralized invariants
|
Filliâtre, Jean-Christophe
|
|
|
121 |
C |
p.
|
artikel
|
| 18 |
The origins of the halting problem
|
Lucas, Salvador
|
|
|
121 |
C |
p.
|
artikel
|
| 19 |
Tribute to Anna Labella
|
Bottoni, Paolo
|
|
|
121 |
C |
p.
|
artikel
|
Tijdschrift beschrijving