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
1994Local Specification of Distributed Families of Sequential Objects.Hans-Dieter Ehrich, Amlcar Sernadas
1994Transactions in Object-Oriented Specifications.Grit Denker
1994A Lazy Approach to Partial Algebras.Maura Cerioli
1994Equations for Describing Dynamic Nets of Communicating Systems.Manfred Broy
1994Behavioural Theories.Michel Bidoit, Rolf Hennicker
1994On the Operational Semantics of the Algebraic and Logic Programming Language LPG.Didier Bert, Rachid Echahed
1994Bulk Types and Query Language Design.Catriel Beeri
1994Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings.Leo Bachmair, Harald Ganzinger, Jrgen Stuber
1994Types, Subtypes, and ASL+.David Aspinall
1992Overloading and Inheritance.Eric G. Wagner
1992An Institution of Object Behaviour.Amlcar Sernadas, Jos Flix Costa, Cristina Sernadas
1992Second-Order Proof Systems for Algebraic Specification Languages.Pierre-Yves Schobbens
1992Towards a Theory for the Animation of Algebraic Specification.Catharina Rieckhoff
1992Identity and Existence, and Types in Algebra - A Survey of Sorts.Axel Poign
1992Structured Inheritance for Algebraic Class Specifications.Francesco Parisi-Presicce, Alfonso Pierantonio
1992Unified Algebras and Abstract Syntax.Peter D. Mosses
1992A Semantic Basis of Logic-Independent Transformation.Junbo Liu
1992Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems.Jordi Levy, Jaume Agust-Cullell
1992Rewriting Techniques for Software Engineering.Jean-Pierre Jouannaud
1992On Fibred Adjunctions and Completeness for Fibred Categories.Claudio Hermida
1992A Behavioural Algebraic Framework for Modular System Design with Reuse.Rolf Hennicker, Friederike Nickl
1992Two-Categorical Specification of Partial Algebras.Martin Groe-Rhode, Uwe Wolter
1992Towards an Algebraic Semantics for the Object Paradigm.Joseph A. Goguen, Razvan Diaconescu
1992Algebraic High-Level Nets: Petri Nets Revisited.Hartmut Ehrig, Julia Padberg, Leila Ribeiro
1992Translating TROLL light Concepts to Maude.Grit Denker, Martin Gogolla

Comparable venues

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