nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Ambient Abstract State Machines with applications
|
Börger, Egon |
|
2012 |
78 |
3 |
p. 939-959 21 p. |
artikel |
2 |
An improved approximation algorithm for the complementary maximal strip recovery problem
|
Lin, Guohui |
|
2012 |
78 |
3 |
p. 720-730 11 p. |
artikel |
3 |
Another approach to the equivalence of measure-many one-way quantum finite automata and its application
|
Lin, Tianrong |
|
2012 |
78 |
3 |
p. 807-821 15 p. |
artikel |
4 |
Approximability of constrained LCS
|
Jiang, Minghui |
|
2012 |
78 |
3 |
p. 689-697 9 p. |
artikel |
5 |
Contents
|
|
|
2012 |
78 |
3 |
p. OBC- 1 p. |
artikel |
6 |
Editorial Board
|
|
|
2012 |
78 |
3 |
p. IFC- 1 p. |
artikel |
7 |
Editorʼs foreword
|
Bouajjani, Ahmed |
|
2012 |
78 |
3 |
p. 822- 1 p. |
artikel |
8 |
Faster algorithms for finding and counting subgraphs
|
Fomin, Fedor V. |
|
2012 |
78 |
3 |
p. 698-706 9 p. |
artikel |
9 |
Fixed-point tile sets and their applications
|
Durand, Bruno |
|
2012 |
78 |
3 |
p. 731-764 34 p. |
artikel |
10 |
Local search: Is brute-force avoidable?
|
Fellows, Michael R. |
|
2012 |
78 |
3 |
p. 707-719 13 p. |
artikel |
11 |
Non-standard semantics of hybrid systems modelers
|
Benveniste, Albert |
|
2012 |
78 |
3 |
p. 877-910 34 p. |
artikel |
12 |
On CD-systems of stateless deterministic R-automata with window size one
|
Nagy, Benedek |
|
2012 |
78 |
3 |
p. 780-806 27 p. |
artikel |
13 |
Once and for all
|
Kupferman, Orna |
|
2012 |
78 |
3 |
p. 981-996 16 p. |
artikel |
14 |
Space complexity of perfect matching in bounded genus bipartite graphs
|
Datta, Samir |
|
2012 |
78 |
3 |
p. 765-779 15 p. |
artikel |
15 |
Synthesis from scenario-based specifications
|
Harel, David |
|
2012 |
78 |
3 |
p. 970-980 11 p. |
artikel |
16 |
Synthesis of Reactive(1) designs
|
Bloem, Roderick |
|
2012 |
78 |
3 |
p. 911-938 28 p. |
artikel |
17 |
Verification of multi-linked heaps
|
Balaban, Ittai |
|
2012 |
78 |
3 |
p. 853-876 24 p. |
artikel |
18 |
Verification of object-oriented programs: A transformational approach
|
Apt, Krzysztof R. |
|
2012 |
78 |
3 |
p. 823-852 30 p. |
artikel |
19 |
When are different type-logical semantic definitions defining equivalent meanings?
|
Francez, Nissim |
|
2012 |
78 |
3 |
p. 960-969 10 p. |
artikel |