Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             23 results found
no title author magazine year volume issue page(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.
article
2 Approximate shortest paths in weighted graphs Yuster, Raphael
2012
78 2 p. 632-637
6 p.
article
3 A structural/temporal query language for Business Processes Deutch, Daniel
2012
78 2 p. 583-609
27 p.
article
4 A survey of stochastic ω-regular games Chatterjee, Krishnendu
2012
78 2 p. 394-413
20 p.
article
5 Contents 2012
78 2 p. IBC-
1 p.
article
6 Contents 2012
78 2 p. OBC-
1 p.
article
7 Drawing a tree as a minimum spanning tree approximation Di Giacomo, Emilio
2012
78 2 p. 491-503
13 p.
article
8 Editorial Board 2012
78 2 p. IFC-
1 p.
article
9 Enumerating homomorphisms Bulatov, Andrei A.
2012
78 2 p. 638-650
13 p.
article
10 Finding and fixing faults Jobstmann, Barbara
2012
78 2 p. 441-460
20 p.
article
11 Model-checking hierarchical structures Lohrey, Markus
2012
78 2 p. 461-490
30 p.
article
12 Multi-valued model checking games Shoham, Sharon
2012
78 2 p. 414-429
16 p.
article
13 On making directed graphs transitive Weller, Mathias
2012
78 2 p. 559-574
16 p.
article
14 On sets without k-term arithmetic progression Shao, Zehui
2012
78 2 p. 610-618
9 p.
article
15 Parallel modular exponentiation using load balancing without precomputation Lara, Pedro
2012
78 2 p. 575-582
8 p.
article
16 Representations of commutative asynchronous automata Tian, Jing
2012
78 2 p. 504-516
13 p.
article
17 Schützenberger and Eilenberg theorems for words on linear orderings Bedon, Nicolas
2012
78 2 p. 517-536
20 p.
article
18 Size complexity of rotating and sweeping automata Kapoutsis, Christos
2012
78 2 p. 537-558
22 p.
article
19 Solving parity games by a reduction to SAT Heljanko, Keijo
2012
78 2 p. 430-440
11 p.
article
20 Special Issue: Games in Verification Veith, Helmut
2012
78 2 p. 393-
1 p.
article
21 The complexity of weighted and unweighted #CSP Bulatov, Andrei
2012
78 2 p. 681-688
8 p.
article
22 Two-server password-only authenticated key exchange Katz, Jonathan
2012
78 2 p. 651-669
19 p.
article
23 Ultra-succinct representation of ordered trees with applications Jansson, Jesper
2012
78 2 p. 619-631
13 p.
article
                             23 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands