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

Reactive bisimulation semantics for a process algebra with timeouts

JOURNAL ARTICLE published March 2023 in Acta Informatica

Authors: Rob van Glabbeek

Transposition of large tabular data structures with applications to physical database organization

JOURNAL ARTICLE published 1983 in Acta Informatica

Authors: Takao Tsuda | Akira Urano | Takashi Sato

Final and sequential behaviours of M-automata

JOURNAL ARTICLE published August 2009 in Acta Informatica

Authors: Gabriel Ciobanu | Sergiu Rudeanu

A study of queueing networks with deterministic service and application to computer networks

JOURNAL ARTICLE published 1976 in Acta Informatica

Authors: J. Labetoulle | G. Pujolle

Generating Boolean $mu$ -expressions

JOURNAL ARTICLE published 1 March 1995 in Acta Informatica

Authors: Thomas Eiter

Two-dimensional packing with conflicts

JOURNAL ARTICLE published May 2008 in Acta Informatica

Authors: Leah Epstein | Asaf Levin | Rob van Stee

On-line coloring and cliques covering for KKs,t-free graphs

JOURNAL ARTICLE published October 2005 in Acta Informatica

Authors: Iwona Cieślik

An efficient simulation algorithm on Kripke structures

JOURNAL ARTICLE published March 2014 in Acta Informatica

Authors: Francesco Ranzato

OBSCURE a specification language for abstract data types

JOURNAL ARTICLE published April 1993 in Acta Informatica

Authors: Thomas Lehmann | Jacques Loeckx

Precedence technique is not worse than SLR(1)

JOURNAL ARTICLE published July 1986 in Acta Informatica

Authors: Piotr Wyrostek

Onn-column 0, 1-matrices with allk-projections surjective

JOURNAL ARTICLE published March 1994 in Acta Informatica

Authors: Hongzhong Wu

Recursive descent parsing for Boolean grammars

JOURNAL ARTICLE published 26 June 2007 in Acta Informatica

Authors: Alexander Okhotin

Correction to: Sound reasoning in tock-CSP

JOURNAL ARTICLE published June 2022 in Acta Informatica

Authors: James Baxter | Pedro Ribeiro | Ana Cavalcanti

Transposition of large tabular data structures with applications to physical database organization

JOURNAL ARTICLE published April 1983 in Acta Informatica

Authors: Takao Tsuda | Takashi Sato

Letter from the Managing Editor

JOURNAL ARTICLE published February 2015 in Acta Informatica

Authors: Ernst-Rüdiger Olderog

A workload model representative of static and dynamic characteristics

JOURNAL ARTICLE published June 1986 in Acta Informatica

Authors: M. Calzarossa | M. Italiani | G. Serazzi

Three measures for synchronic dependence in Petri nets

JOURNAL ARTICLE published September 1983 in Acta Informatica

Authors: Ichiro Suzuki | Tadao Kasami