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)

Authors: Chao Wang | Yi Lv | Peng Wu

Complete problems for space bounded subclasses of NP

JOURNAL ARTICLE published October 1985 in Acta Informatica

Authors: Moon Jung Chung | W. Michael Evangelist | Ivan Hal Sudborough

Inner loops in flowgraphs and code optimization

JOURNAL ARTICLE published June 1982 in Acta Informatica

Authors: S. Vasudevan

Special issue on “Combining Compositionality and Concurrency”: part 2

JOURNAL ARTICLE published June 2015 in Acta Informatica

Authors: Rob J. van Glabbeek | Ursula Goltz | Ernst-Rüdiger Olderog

Preface for the SYNT

JOURNAL ARTICLE published April 2020 in Acta Informatica

Authors: Roderick Bloem | Paulo Tabuada

safeDpi: a language for controlling mobile code

JOURNAL ARTICLE published December 2005 in Acta Informatica

Authors: Matthew Hennessy | Julian Rathke | Nobuko Yoshida

A practical general method for constructing LR(k) parsers

JOURNAL ARTICLE published 1977 in Acta Informatica

Authors: David Pager

Constructing maximal slicings from geometry

JOURNAL ARTICLE published June 1986 in Acta Informatica

Authors: M. Tamminen | W. K. Luk | P. Sipala | L. S. Woo | C. K. Wong

Preface to special issue: EXPRESS/SOS 2016 + 2017

JOURNAL ARTICLE published December 2020 in Acta Informatica

Authors: Kirstin Peters | Simone Tini

Object inheritance beyond subtyping

JOURNAL ARTICLE published January 1994 in Acta Informatica

Authors: J. F. Costa | A. Sernadas | C. Sernadas

Representation of graphs

JOURNAL ARTICLE published June 1982 in Acta Informatica

Authors: Alon Itai | Michael Rodeh

Explaining the wheel sieve

JOURNAL ARTICLE published October 1982 in Acta Informatica

Authors: Paul Pritchard

Head and state hierarchies for unary multi-head finite automata

JOURNAL ARTICLE published November 2014 in Acta Informatica

Authors: Martin Kutrib | Andreas Malcher | Matthias Wendlandt

Analytic models for the primary site approach to fault-tolerance

JOURNAL ARTICLE published July 1989 in Acta Informatica

Authors: Yennun Huang | Pankaj Jalote

Out for coffee: with Rob

JOURNAL ARTICLE published October 2020 in Acta Informatica

Authors: Ansgar Fehnker

Reexecution in abstract interpretation of Prolog

JOURNAL ARTICLE published March 1995 in Acta Informatica

Authors: Baudouin Le Charlier | Pascal Van Hentenryck

Corrigenda

JOURNAL ARTICLE published October 1977 in Acta Informatica

Authors: Burkhard Monien

Semantics analysis through elementary meanings

JOURNAL ARTICLE published August 2000 in Acta Informatica

Authors: Youichi Kobuchi | Takashi Saito | Hidenobu Nunome

Verification conditions are code

JOURNAL ARTICLE published 17 November 2006 in Acta Informatica

Authors: Andrew M. Gravell

Parallel approximation schemes for Subset Sum and Knapsack problems

JOURNAL ARTICLE published August 1987 in Acta Informatica

Authors: Joseph G. Peters | Larry Rudolph