The Algebra of Timed Processes, ATP: Theory and Application

JOURNAL ARTICLE published October 1994 in Information and Computation

Authors: X. Nicollin | J. Sifakis

Common Knowledge and Update in Finite Environments

JOURNAL ARTICLE published February 1998 in Information and Computation

Authors: Ron van der Meyden

Probably Almost Bayes Decisions

JOURNAL ARTICLE published August 1996 in Information and Computation

Authors: Svetlana Anoulova | Paul Fischer | Stefan Pölt | Hans Ulrich Simon

Taming past LTL and flat counter systems

JOURNAL ARTICLE published June 2015 in Information and Computation

Research funded by ANR (ANR-11-BS02-001) | Seventh Framework Programme (PIOF-GA-2011-301166)

Authors: Stéphane Demri | Amit Kumar Dhar | Arnaud Sangnier

Comparison of the power between reversal-bounded ATMs and reversal-bounded NTMs

JOURNAL ARTICLE published November 1987 in Information and Computation

Authors: Hiroaki Yamamoto | Shoichi Noguchi

Editorial Board (continued)

JOURNAL ARTICLE published June 2004 in Information and Computation

Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions

JOURNAL ARTICLE published 10 October 2002 in Information and Computation

Authors: P Neergaard

A change of name

JOURNAL ARTICLE published January 1987 in Information and Computation

Authors: Albert R. Meyer

Publisher’s Note

JOURNAL ARTICLE published January 2003 in Information and Computation

Editorial Board

JOURNAL ARTICLE published March 1990 in Information and Computation

Volume Author Index

JOURNAL ARTICLE published December 2005 in Information and Computation

A Parameterization Scheme for Classifying Models of PAC Learnability

JOURNAL ARTICLE published July 1995 in Information and Computation

Authors: S. Bendavid | G.M. Benedek | Y. Mansour

A modular and parameterized presentation of pregroup calculus

JOURNAL ARTICLE published May 2010 in Information and Computation

Authors: Annie Foret

Semiclassical analysis and sensitivity to initial conditions

JOURNAL ARTICLE published May 2009 in Information and Computation

Authors: Thierry Paul

A Complete Axiomatization of Finite-state ACSR Processes

JOURNAL ARTICLE published November 1997 in Information and Computation

Authors: Patrice Brémond-Grégoire | Jin-Young Choi | Insup Lee

On the transformation of two-way finite automata to unambiguous finite automata

JOURNAL ARTICLE published December 2023 in Information and Computation

Research funded by Russian Science Foundation (18-11-00100)

Authors: Semyon Petrov | Alexander Okhotin

The Subtyping Problem for Second-Order Types Is Undecidable

JOURNAL ARTICLE published November 2002 in Information and Computation

Authors: Jerzy Tiuryn | Paweł Urzyczyn

Editorial Board

JOURNAL ARTICLE published July 2022 in Information and Computation

Coping with selfish on-going behaviors

JOURNAL ARTICLE published January 2012 in Information and Computation

Authors: Orna Kupferman | Tami Tamir

Dynamic nested brackets

JOURNAL ARTICLE published September 2004 in Information and Computation

Authors: Stephen Alstrup | Thore Husfeldt | Theis Rauhe