| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A link between multioperator and tree valuation automata and logics
|
Teichmann, Markus
|
|
2015
|
594 |
C |
p. 106-119
14 p.
|
artikel
|
| 2 |
All cartesian closed categories of quasicontinuous domains consist of domains
|
Jia, Xiaodong
|
|
2015
|
594 |
C |
p. 143-150
8 p.
|
artikel
|
| 3 |
Characterizing weighted MSO for trees by branching transitive closure logics
|
Fülöp, Zoltán
|
|
2015
|
594 |
C |
p. 82-105
24 p.
|
artikel
|
| 4 |
Checking conformance for time-constrained scenario-based specifications
|
Akshay, S.
|
|
2015
|
594 |
C |
p. 24-43
20 p.
|
artikel
|
| 5 |
Editorial Board
|
|
|
2015
|
594 |
C |
p. iii-ix
nvt p.
|
artikel
|
| 6 |
Generating invariants for non-linear hybrid systems
|
Rebiha, Rachid
|
|
2015
|
594 |
C |
p. 180-200
21 p.
|
artikel
|
| 7 |
Next-preserving branching bisimulation
|
Yatapanage, Nisansala
|
|
2015
|
594 |
C |
p. 120-142
23 p.
|
artikel
|
| 8 |
Partial pullback complement rewriting
|
Shir Ali Nasab, A.R.
|
|
2015
|
594 |
C |
p. 44-64
21 p.
|
artikel
|
| 9 |
Qualitative analysis of gene regulatory networks by temporal logic
|
Ito, Sohei
|
|
2015
|
594 |
C |
p. 151-179
29 p.
|
artikel
|
| 10 |
Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars
|
Machado, Rodrigo
|
|
2015
|
594 |
C |
p. 1-23
23 p.
|
artikel
|
| 11 |
Synthesis for continuous time
|
French, Tim
|
|
2015
|
594 |
C |
p. 201-222
22 p.
|
artikel
|
| 12 |
The efficiency of primitive recursive functions: A programmer's view
|
Matos, Armando B.
|
|
2015
|
594 |
C |
p. 65-81
17 p.
|
artikel
|
Tijdschrift beschrijving