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