Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 1743 results
Sort by: relevance publication year
Showing results for ISSN matching 0001-5903

Remarks on ?program proving: Jumps and functions by M. Clint and C. A. R. Hoare?

JOURNAL ARTICLE published 1976 in Acta Informatica

Authors: E. A. Ashcroft | M. Clint | C. A. R. Hoare

https://doi.org/10.1007/bf00288660 Actions

Some modified algorithms for Dijkstra's longest upsequence problem

JOURNAL ARTICLE published 1982 in Acta Informatica

Authors: Robert B. K. Dewar | Susan M. Merritt | Micha Sharir

https://doi.org/10.1007/bf00625277 Actions

Parallel composition of assumption-commitment specifications

JOURNAL ARTICLE published March 1996 in Acta Informatica

Authors: A. Cau | P. Collette

https://doi.org/10.1007/s002360050039 Actions

Object inheritance beyond subtyping

JOURNAL ARTICLE published January 1994 in Acta Informatica

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

https://doi.org/10.1007/bf01178920 Actions

A 2.5n lower bound on the monotone network complexity of T3n

JOURNAL ARTICLE published June 1985 in Acta Informatica

Authors: Paul E. Dunne

https://doi.org/10.1007/bf00264232 Actions

Modularity and reusability in attribute grammars

JOURNAL ARTICLE published July 1994 in Acta Informatica

Authors: U. Kastens | W. M. Waite

https://doi.org/10.1007/bf01177548 Actions

A probabilistic analysis of the height of tries and of the complexity of triesort

JOURNAL ARTICLE published October 1984 in Acta Informatica

Authors: Luc Devroye

https://doi.org/10.1007/bf00264248 Actions

Concurrent testing of processes

JOURNAL ARTICLE published June 1995 in Acta Informatica

Authors: M. Hennessy

https://doi.org/10.1007/bf01178906 Actions

Scheduling according to job priority with prevention of deadlock and permanent blocking

JOURNAL ARTICLE published 1977 in Acta Informatica

Authors: Bo Munch-Andersen | Torben U. Zahle

https://doi.org/10.1007/bf00289247 Actions

safeDpi: a language for controlling mobile code

JOURNAL ARTICLE published December 2005 in Acta Informatica

Authors: Matthew Hennessy | Julian Rathke | Nobuko Yoshida

https://doi.org/10.1007/s00236-005-0178-y Actions

Tree automata for code selection

JOURNAL ARTICLE published August 1994 in Acta Informatica

Authors: Christian Ferdinand | Helmut Seidl | Reinhard Wilhelm

https://doi.org/10.1007/bf01178733 Actions

Depth-first search in directed planar graphs, revisited

JOURNAL ARTICLE published August 2022 in Acta Informatica

Research funded by National Science Foundation (CCF-1909216,CCF-1909683) | SERB-MATRICS (MTR/2017/000480)

Authors: Eric Allender | Archit Chauhan | Samir Datta

https://doi.org/10.1007/s00236-022-00425-1 Actions

Information management in context trees

JOURNAL ARTICLE published 1978 in Acta Informatica

Authors: Carlo Montangero | Giuliano Pacini | Maria Simi | Franco Turini

https://doi.org/10.1007/bf00260926 Actions

On a gauntlet thrown by David Gries

JOURNAL ARTICLE published 1976 in Acta Informatica

Authors: Edsger W. Dijkstra

https://doi.org/10.1007/bf00268136 Actions

Representation of graphs

JOURNAL ARTICLE published June 1982 in Acta Informatica

Authors: Alon Itai | Michael Rodeh

https://doi.org/10.1007/bf00288971 Actions

Product properties and their direct verification

JOURNAL ARTICLE published 1983 in Acta Informatica

Authors: Nissim Francez

https://doi.org/10.1007/bf00264278 Actions

Editorial 2023: changes and invariants

JOURNAL ARTICLE published December 2023 in Acta Informatica

Authors: Henning Fernau

https://doi.org/10.1007/s00236-023-00447-3 Actions

A longest common subsequence algorithm suitable for similar text strings

JOURNAL ARTICLE published 1982 in Acta Informatica

Authors: Narao Nakatsu | Yahiko Kambayashi | Shuzo Yajima

https://doi.org/10.1007/bf00264437 Actions

Inefficiency of equilibria for the machine covering game on uniform machines

JOURNAL ARTICLE published September 2012 in Acta Informatica

Authors: Zhiyi Tan | Long Wan | Qi Zhang | Wei Ren

https://doi.org/10.1007/s00236-012-0163-1 Actions

Strategy synthesis for multi-dimensional quantitative objectives

JOURNAL ARTICLE published June 2014 in Acta Informatica

Authors: Krishnendu Chatterjee | Mickael Randour | Jean-François Raskin

https://doi.org/10.1007/s00236-013-0182-6 Actions
Feedback: support@crossref.org