Fairness in context-free grammars under every choice-strategy

JOURNAL ARTICLE published March 1989 in Information and Computation

Authors: Sara Porat | Nissim Francez

Optimal parallel randomized algorithms for sparse addition and identification

JOURNAL ARTICLE published January 1988 in Information and Computation

Authors: Paul G. Spirakis

Linear forwarders

JOURNAL ARTICLE published October 2007 in Information and Computation

Authors: Philippa Gardner | Cosimo Laneve | Lucian Wischik

Editorial Board (continued)

JOURNAL ARTICLE published July 2006 in Information and Computation

A simple undecidable problem: the inclusion problem for finite substitutions on ab*c

JOURNAL ARTICLE published November 2003 in Information and Computation

Authors: J. Karhumäki | L.P. Lisovik

Logical characterization of branching metrics for nondeterministic probabilistic transition systems

JOURNAL ARTICLE published October 2019 in Information and Computation

Authors: Valentina Castiglioni | Simone Tini

An Until Hierarchy and Other Applications of an Ehrenfeucht–Fraı̈ssé Game for Temporal Logic

JOURNAL ARTICLE published July 2000 in Information and Computation

Authors: Kousha Etessami | Thomas Wilke

On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy

JOURNAL ARTICLE published April 2015 in Information and Computation

Authors: Patrick Baillot

Probabilistic Logical Characterization

JOURNAL ARTICLE published February 2011 in Information and Computation

Authors: Holger Hermanns | Augusto Parma | Roberto Segala | Björn Wachter | Lijun Zhang

Practical verification of multi-agent systems against Slk specifications

JOURNAL ARTICLE published August 2018 in Information and Computation

Research funded by EPSRC (EP/I00520X) | Regione Campania (B25B09090 100007) | FP7 (600958-SHERPA)

Authors: Petr Čermák | Alessio Lomuscio | Fabio Mogavero | Aniello Murano

Distributed coloring algorithms for triangle-free graphs

JOURNAL ARTICLE published August 2015 in Information and Computation

Research funded by NSF (CCF-0746673) | NSF (CCF-1217338,CNS-1318294) | US–Israel Binational Science Foundation (2008390)

Authors: Seth Pettie | Hsin-Hao Su

A canonical automaton for one-rule length-preserving string rewrite systems

JOURNAL ARTICLE published October 2015 in Information and Computation

Authors: Michel Latteux | Yves Roos

The dimensions of individual strings and sequences

JOURNAL ARTICLE published November 2003 in Information and Computation

Authors: Jack H. Lutz

CCS expressions, finite state processes, and three problems of equivalence

JOURNAL ARTICLE published May 1990 in Information and Computation

Authors: Paris C. Kanellakis | Scott A. Smolka

Trees with exponentially growing costs

JOURNAL ARTICLE published May 2008 in Information and Computation

Authors: Frank Schulz

Minimum Label s-t Cut has large integrality gaps

JOURNAL ARTICLE published December 2020 in Information and Computation

Research funded by National Natural Science Foundation of China (61972228,61672323) | Fundamental Research Funds of Shandong University (2017JC043)

Authors: Peng Zhang | Linqing Tang

Author index for volume 97

JOURNAL ARTICLE published April 1992 in Information and Computation

Permanent does not have succinct polynomial size arithmetic circuits of constant depth

JOURNAL ARTICLE published January 2013 in Information and Computation

Authors: Maurice Jansen | Rahul Santhanam

Editorial Board

JOURNAL ARTICLE published February 2016 in Information and Computation

Editorial Board (continued)

JOURNAL ARTICLE published July 2010 in Information and Computation