Translational lemmas for DLOGTIME-uniform circuits, alternating TMs, and PRAMs

JOURNAL ARTICLE published 2 August 2007 in Acta Informatica

Authors: Chuzo Iwamoto | Naoki Hatayama | Yoshiaki Nakashiba | Kenichi Morita | Katsunobu Imai

A decidability criterion for van Wijngaarden grammars

JOURNAL ARTICLE published 1975 in Acta Informatica

Authors: P. Deussen

Weakly independent database schemes

JOURNAL ARTICLE published 1 January 1997 in Acta Informatica

Authors: Ke Wang | Weining Zhang | Siu-Cheung Chau

Partage de t�ches entre processeurs homogenes

JOURNAL ARTICLE published January 1983 in Acta Informatica

Authors: Philippe Nain

Systolic automata for VLSI on balanced trees

JOURNAL ARTICLE published January 1983 in Acta Informatica

Authors: K. Culik | J. Gruska | A. Salomaa

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

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

Improving time and space efficiency in generalized binary search trees

JOURNAL ARTICLE published September 1987 in Acta Informatica

Authors: Walter Cunto | Jose Luis Gascon

Global storage cells for attributes in an attribute grammar

JOURNAL ARTICLE published October 1985 in Acta Informatica

Authors: Michael Sonnenschein

Speeding up circularity tests for attribute grammars

JOURNAL ARTICLE published November 1984 in Acta Informatica

Authors: Pierre Deransart | Martin Jourdan | Bernard Lorho

Formal semantics of a class of high-level primitives for coordinating concurrent processes

JOURNAL ARTICLE published 1975 in Acta Informatica

Authors: P.E. Lauer | R.H. Campbell

A transformation method for dynamic-sized tabulation

JOURNAL ARTICLE published February 1995 in Acta Informatica

Authors: Wei-Ngan Chin | Masami Hagiya

Evaluation des performances d'un algorithme de contr�le de la coh�rence d'une base de donn�es r�partie

JOURNAL ARTICLE published June 1980 in Acta Informatica

Authors: B. Plateau

Program proving: Coroutines

JOURNAL ARTICLE published 1973 in Acta Informatica

Authors: M. Clint

Testing bag-containment of conjunctive queries

JOURNAL ARTICLE published 14 July 1997 in Acta Informatica

Authors: Nieves R. Brisaboa | Héctor J. Hernández