default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 252

> Home > Journals > Information and Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 252, February 2017

Special section on CONCUR 2014

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BaldanG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BaldanG17
Paolo Baldan, Daniele Gorla:
Preface. 1
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BonchiSZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BonchiSZ17
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
The Calculus of Signal Flow Diagrams I: Linear relations on streams. 2-29
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/0001KW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/0001KW17
Alexander Kaiser, Daniel Kroening, Thomas Wahl:
Lost in abstraction: Monotonicity in multi-threaded programs. 30-47
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/0001L17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/0001L17
Naoki Kobayashi, Cosimo Laneve:
Deadlock analysis of unbounded process networks. 48-70
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/0001S17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/0001S17
Barbara König, Jan Stückrath:
Well-structured graph transformation systems. 71-94
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KonnovVW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KonnovVW17
Igor V. Konnov, Helmut Veith, Josef Widder:
On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability. 95-109
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/UrabeH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/UrabeH17
Natsuki Urabe, Ichiro Hasuo:
Quantitative simulations by matrices. 110-137

Regular articles

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LinC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LinC17
Bingkai Lin, Yijia Chen:
The parameterized complexity of k-edge induced subgraphs. 138-160
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GunawanDZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GunawanDZ17
Andreas D. M. Gunawan, Bhaskar DasGupta, Louxin Zhang:
A decomposition theorem and two algorithms for reticulation-visible networks. 161-175
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Smith17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Smith17
Tim Smith:
A new pumping lemma for indexed languages, with an application to infinite words. 176-186
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Li0CW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Li0CW17
Wenjun Li, Yixin Cao, Jianer Chen, Jianxin Wang:
Deeper local search for parameterized and approximation algorithms for maximum internal spanning tree. 187-200
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GrecoS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GrecoS17
Gianluigi Greco, Francesco Scarcello:
Greedy strategies and larger islands of tractability for conjunctive queries and constraint satisfaction problems. 201-220
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CarayolS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CarayolS17
Arnaud Carayol, Olivier Serre:
Counting branches in trees using games. 221-242
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/MarkouNP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/MarkouNP17
Euripides Markou, Nicolas Nisse, Stéphane Pérennes:
Exclusive graph searching vs. pathwidth. 243-260

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.