Skip to content
cs-conference-ranking.org

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

Best Machine Learning conferencesBest Systems and Networking conferencesBest Human-Computer Interaction conferences

Papers per year

199131 peak1995

Most published authors

COMPASS papers

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

YearTitleAuthors
1995Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics.Dietmar Wolz
1995A Model for I/O in Equational Languages with Don't Care Non-determinism.H. R. Walters, J. F. Th. Kamperman
1995Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules.Frdric Voisin, Michel Bidoit
1995Moving Between Logical Systems.Andrzej Tarlecki
1995Object-Oriented Functional Programming and Type Reconstruction.Zhenyu Qian, Bernd Krieg-Brckner
1995Context Institutions.Wieslaw Pawlowski
1995Swinging Data Types: Syntax, Semantics, and Theory.Peter Padawitz
1995Behavioural Specifications in Type Theory.Nikos Mylonakis
1995Using Limits of Parchment to Systematically Construct Institutions of partial Algebras.Till Mossakowski
1995Behavioural Equivalence, Bisimulation, and Minimal Realisation.Grant Malcolm
1995The Lambda Calculus as an Abstract Data Type.Pierre Lescanne
1995Termination of Curryfied Rewrite Systems.Bjrn Kristoffersen
1995Seven Years of COMPASS.Bernd Krieg-Brckner
1995Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness.Valentinas Kriauciukas, Michal Walicki
1995Untitled recordMarcus Klar, Robert Geisler, Felix Cornelius
1995Minimal Term Rewriting Systems.J. F. Th. Kamperman, H. R. Walters
1995The Larch Shared Language: Some Open Problems.James J. Horning
1995Unification of Theories: A Challenge for Computing Science.C. A. R. Hoare
1995Combining Algebraic and Set-Theoretic Specifications.Claus Hintermeier, Hlne Kirchner, Peter D. Mosses
1995A View on Implementing Processes: Categories of Circuits.Ulrich Hensel, David A. Spooner
1995Concurrent State Transformations on Abstract Data Types.Martin Groe-Rhode
1995Formal Specifications and Test: Correctness and Oracle.Pascale Le Gall, Agns Arnould
1995On the Role of Category Theory in the Area of Algebraic Specification.Hartmut Ehrig, Martin Groe-Rhode, Uwe Wolter
1995A Category-Based Equational Logic Semantics to Constraint Programming.Razvan Diaconescu
1995Reification - Changing Viewpoint but Preserving Truth.Grit Denker
1–25 of 96← PreviousNext →

Comparable venues

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