|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
23 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A linear time algorithm for the induced disjoint paths problem in planar graphs |
Kawarabayashi, Ken-ichi |
2012 |
78 | 2 |
p. 670-680 11 p. |
artikel |
|
| 2 | Approximate shortest paths in weighted graphs |
Yuster, Raphael |
2012 |
78 | 2 |
p. 632-637 6 p. |
artikel |
|
| 3 | A structural/temporal query language for Business Processes |
Deutch, Daniel |
2012 |
78 | 2 |
p. 583-609 27 p. |
artikel |
|
| 4 | A survey of stochastic ω-regular games |
Chatterjee, Krishnendu |
2012 |
78 | 2 |
p. 394-413 20 p. |
artikel |
|
| 5 | Contents |
2012 |
78 | 2 |
p. IBC- 1 p. |
artikel |
||
| 6 | Contents |
2012 |
78 | 2 |
p. OBC- 1 p. |
artikel |
||
| 7 | Drawing a tree as a minimum spanning tree approximation |
Di Giacomo, Emilio |
2012 |
78 | 2 |
p. 491-503 13 p. |
artikel |
|
| 8 | Editorial Board |
2012 |
78 | 2 |
p. IFC- 1 p. |
artikel |
||
| 9 | Enumerating homomorphisms |
Bulatov, Andrei A. |
2012 |
78 | 2 |
p. 638-650 13 p. |
artikel |
|
| 10 | Finding and fixing faults |
Jobstmann, Barbara |
2012 |
78 | 2 |
p. 441-460 20 p. |
artikel |
|
| 11 | Model-checking hierarchical structures |
Lohrey, Markus |
2012 |
78 | 2 |
p. 461-490 30 p. |
artikel |
|
| 12 | Multi-valued model checking games |
Shoham, Sharon |
2012 |
78 | 2 |
p. 414-429 16 p. |
artikel |
|
| 13 | On making directed graphs transitive |
Weller, Mathias |
2012 |
78 | 2 |
p. 559-574 16 p. |
artikel |
|
| 14 | On sets without k-term arithmetic progression |
Shao, Zehui |
2012 |
78 | 2 |
p. 610-618 9 p. |
artikel |
|
| 15 | Parallel modular exponentiation using load balancing without precomputation |
Lara, Pedro |
2012 |
78 | 2 |
p. 575-582 8 p. |
artikel |
|
| 16 | Representations of commutative asynchronous automata |
Tian, Jing |
2012 |
78 | 2 |
p. 504-516 13 p. |
artikel |
|
| 17 | Schützenberger and Eilenberg theorems for words on linear orderings |
Bedon, Nicolas |
2012 |
78 | 2 |
p. 517-536 20 p. |
artikel |
|
| 18 | Size complexity of rotating and sweeping automata |
Kapoutsis, Christos |
2012 |
78 | 2 |
p. 537-558 22 p. |
artikel |
|
| 19 | Solving parity games by a reduction to SAT |
Heljanko, Keijo |
2012 |
78 | 2 |
p. 430-440 11 p. |
artikel |
|
| 20 | Special Issue: Games in Verification |
Veith, Helmut |
2012 |
78 | 2 |
p. 393- 1 p. |
artikel |
|
| 21 | The complexity of weighted and unweighted #CSP |
Bulatov, Andrei |
2012 |
78 | 2 |
p. 681-688 8 p. |
artikel |
|
| 22 | Two-server password-only authenticated key exchange |
Katz, Jonathan |
2012 |
78 | 2 |
p. 651-669 19 p. |
artikel |
|
| 23 | Ultra-succinct representation of ordered trees with applications |
Jansson, Jesper |
2012 |
78 | 2 |
p. 619-631 13 p. |
artikel |
23 gevonden resultaten