Facet browsing currently unavailable
Page 1 of 1742 results
Sort by: relevance publication year
TSO-to-TSO linearizability is undecidable JOURNAL ARTICLE published December 2018 in Acta Informatica Research funded by National Natural Science Foundation of China (No.60721061,No.60833001) | National Natural Science Foundation of China (No.61672504,No.61572478) | National Natural Science Foundation of China (No.61672503,No.61100069) | National Natural Science Foundation of China (No.61161130530) | National Key Basic Research Program of China (No.2014CB340701) | National Key Research and Development Program of China (No.2017YFB0801900) |
Complete problems for space bounded subclasses of NP JOURNAL ARTICLE published October 1985 in Acta Informatica |
Inner loops in flowgraphs and code optimization JOURNAL ARTICLE published June 1982 in Acta Informatica |
Special issue on “Combining Compositionality and Concurrency”: part 2 JOURNAL ARTICLE published June 2015 in Acta Informatica |
Preface for the SYNT JOURNAL ARTICLE published April 2020 in Acta Informatica |
safeDpi: a language for controlling mobile code JOURNAL ARTICLE published December 2005 in Acta Informatica |
A practical general method for constructing LR(k) parsers JOURNAL ARTICLE published 1977 in Acta Informatica |
Constructing maximal slicings from geometry JOURNAL ARTICLE published June 1986 in Acta Informatica |
Preface to special issue: EXPRESS/SOS 2016 + 2017 JOURNAL ARTICLE published December 2020 in Acta Informatica |
Object inheritance beyond subtyping JOURNAL ARTICLE published January 1994 in Acta Informatica |
Representation of graphs JOURNAL ARTICLE published June 1982 in Acta Informatica |
Explaining the wheel sieve JOURNAL ARTICLE published October 1982 in Acta Informatica |
Head and state hierarchies for unary multi-head finite automata JOURNAL ARTICLE published November 2014 in Acta Informatica |
Analytic models for the primary site approach to fault-tolerance JOURNAL ARTICLE published July 1989 in Acta Informatica |
Out for coffee: with Rob JOURNAL ARTICLE published October 2020 in Acta Informatica |
Reexecution in abstract interpretation of Prolog JOURNAL ARTICLE published March 1995 in Acta Informatica |
Corrigenda JOURNAL ARTICLE published October 1977 in Acta Informatica |
Semantics analysis through elementary meanings JOURNAL ARTICLE published August 2000 in Acta Informatica |
Verification conditions are code JOURNAL ARTICLE published 17 November 2006 in Acta Informatica |
Parallel approximation schemes for Subset Sum and Knapsack problems JOURNAL ARTICLE published August 1987 in Acta Informatica |