Facet browsing currently unavailable
Page 1 of 3538 results
Sort by: relevance publication year
Editorial Board (continued) JOURNAL ARTICLE published August 2004 in Information and Computation |
Randomised distributed MIS and colouring algorithms for rings with oriented edges in JOURNAL ARTICLE published December 2016 in Information and Computation |
Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency JOURNAL ARTICLE published June 1995 in Information and Computation |
Editorial Board JOURNAL ARTICLE published January 2003 in Information and Computation |
Effective subsets under homeomorphisms of JOURNAL ARTICLE published December 2015 in Information and Computation Research funded by DFG (HE 2489/4-1) | DFG–NSFC (446 CHV 113/240/0-1) | DFG–RFBR (436 RUS 113/850/0-1) |
Editorial Board JOURNAL ARTICLE published July 2003 in Information and Computation |
De Bakker–Zucker processes revisited JOURNAL ARTICLE published January 2004 in Information and Computation |
Periodicity properties on partial words JOURNAL ARTICLE published September 2008 in Information and Computation |
GUEST EDITORIAL JOURNAL ARTICLE published September 2002 in Information and Computation |
Models of Multi-user Write-Efficient Memories and General Diametric Theorems JOURNAL ARTICLE published May 1997 in Information and Computation |
Presenting functors on many-sorted varieties and applications JOURNAL ARTICLE published December 2010 in Information and Computation |
Dealing with Zero-Time Transitions in Axiom Systems JOURNAL ARTICLE published May 1999 in Information and Computation |
Causal computational complexity of distributed processes JOURNAL ARTICLE published January 2023 in Information and Computation |
Decisiveness of stochastic systems and its application to hybrid models JOURNAL ARTICLE published November 2022 in Information and Computation Research funded by FRS-FNRS (F.4520.18,T.0027.21) | Agence nationale de la recherche (ANR-20-CE25-0012) |
Probably Almost Bayes Decisions JOURNAL ARTICLE published August 1996 in Information and Computation |
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) |
Comparison of the power between reversal-bounded ATMs and reversal-bounded NTMs JOURNAL ARTICLE published November 1987 in Information and Computation |
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 |
A change of name JOURNAL ARTICLE published January 1987 in Information and Computation |