Skip to content

The ACM SIGCAS/SIGCHI Conference on Computing and Sustainable Societies

COMPASS

C

CORE rank

CORE rank (raw)

C

Fields of research

Human-Centred Computing · Distributed Computing and Systems Software · Machine Learning

Papers indexed

96

1991–1995

Papers per year

199131 peak1995

COMPASS papers

96 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
1992On Certification of Specifications for TROLL light Objects.Stefan Conrad
1992Semantic Constructions in the Specification Language GLIDER.Silvia Clerici, Rosa M. Jimnez, Fernando Orejas
1992About the Correctness and Adequacy of PLUSS Specifications.Christine Choppy
1992Institutions for Very Abstract Specifications.Maura Cerioli, Gianna Reggio
1992A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets.Mohamed Bettaz, Gianna Reggio
1991Generic Classes in an Object-Based Language.Eric G. Wagner
1991A Soft Stairway to Institutions.Antonino Salibra, Giuseppe Scollo
1991Event Logic for Specifying Abstract Dynamic Data Types.Gianna Reggio
1991Implementation and Behavioural Equivalence: A Survey.Fernando Orejas, Marisa Navarro, Ana Snchez
1991The Use of Sorts in Algebraic Specifications.Peter D. Mosses
1991Specifications with Observable Formulae and Observational Satisfaction Relation.Teodor Knapik
1991The Object-Based Specification Language PI: Concepts, Syntax, and Semantics.Peter Gabriel
1991Process Semantics of Temporal Logic Specifications.Jos Luiz Fiadeiro, Jos Flix Costa, Amlcar Sernadas, T. S. E. Maibaum
1991Non-Equivalence of Categories for Equational Algebraic Specifications.Hartmut Ehrig, Francesco Parisi-Presicce
1991New Concepts of Amalgamation and Extension for a General Theory of Specifications.Hartmut Ehrig, Michael Baldamus, Fernando Orejas
1991Objects and their Specification.Hans-Dieter Ehrich, Martin Gogolla, Amlcar Sernadas
1991Bounded Implementation of Algebraic Specifications.Michael Breu
1991How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets.Mohamed Bettaz, Mourad Maouche
1991Label Algebras: A Systematic Use of Terms.Gilles Bernot, Pascale Le Gall
1991Algebraic Specification of Concurrency.Egidio Astesiano, Gianna Reggio
1991Relationships between Logical Frameworks.Egidio Astesiano, Maura Cerioli

Comparable venues

Other A*/A conferences filed under the same field of research.