For some weeks now, the dblp team has been receiving an exceptionally high number of support and error correction requests from the community. While we are grateful and happy to process all incoming emails, please assume that it will currently take us several weeks to read and address your request. Most importantly, please refrain from sending your request multiple times. This will not advance your issue and will only complicate and extend the time required to address it. Thank you for your understanding.

Joint Declaration: The freedom of science is at the heart of liberal, democratic societies. Without this freedom, it is impossible for scientific efforts to be geared toward gaining knowledge and facts. It is therefore extremely worrying that the scientific freedom is coming under increasing pressure in various regions of the world. (read more)

default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 267

> 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 267, August 2019

- view
  authority control:
- export record
  dblp key:
  - journals/iandc/TatsutaCA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/TatsutaCA19
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen:
Completeness and expressiveness of pointer program verification by separation logic. 1-27
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/IbarraM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/IbarraM19
Oscar H. Ibarra, Ian McQuillan:
On store languages and applications. 28-48
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/RiisG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/RiisG19
Søren Riis, Maximilien Gadouleau:
Max-flow min-cut theorems on dispersion and entropy measures for communication networks. 49-73
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BorosEGM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BorosEGM19
Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Kazuhisa Makino:
A pseudo-polynomial algorithm for mean payoff stochastic games with perfect information and few random positions. 74-95
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/DennunzioFMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/DennunzioFMP19
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca:
Complexity of the dynamics of reaction systems. 96-109
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/Honkala19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Honkala19
Juha Honkala:
A characterization of free pairs of upper triangular free monoid morphisms. 110-115
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/ChenF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ChenF19
Yijia Chen, Jörg Flum:
Some lower bounds in parameterized AC⁰. 116-134
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/RizziT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/RizziT19
Romeo Rizzi, Alexandru I. Tomescu:
Faster FPTASes for counting and random generation of Knapsack solutions. 135-144
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/ClercFKP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ClercFKP19
Florence Clerc, Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden:
Expressiveness of probabilistic modal logics: A gradual approach. 145-163
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/Engelfriet19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Engelfriet19
Joost Engelfriet:
Corrigendum to "Iterated stack automata and complexity classes" [Inf. Comput. 95 (1) (1991) 21-75]. 164-167

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.