Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(115)
Gianna Reggio
6
Hartmut Ehrig
6
Amílcar Sernadas
5
Martin Gogolla
4
Maura Cerioli
4
Michel Bidoit
4
Christine Choppy
3
Jose Felix Costa
3
Grit Denker
3
Martin Grosse-rhode (Martin Große-rhode)
3
Keywords
(137)
Subscribe
Academic
Conferences
COMPASS Workshops
COMPASS Workshops
Publications: 101
|
Citation Count: 746 (Self-Citation: 89)
|
H-Index: 15Year Range: 1991-1996
Interests:
Programming Languages
Homepage
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(101)
Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers
Magne Haveraaen
,
Olaf Owe
,
Ole-Johan Dahl
Conference:
COMPASS Workshops
, 1996
Moving Between Logical Systems
(
Citations: 54
)
Andrzej Tarlecki
Conference:
COMPASS Workshops
, pp. 478-502, 1995
Minimal Term Rewriting Systems
(
Citations: 15
)
J. F. Th. Kamperman
,
H. R. Walters
Conference:
COMPASS Workshops
, pp. 274-290, 1995
Swinging Data Types: Syntax, Semantics, and Theory
(
Citations: 10
)
Peter Padawitz
Conference:
COMPASS Workshops
, pp. 409-435, 1995
Formal Specifications and Test: Correctness and Oracle
(
Citations: 18
)
Pascale Le Gall
,
Agnès Arnould
Conference:
COMPASS Workshops
, pp. 342-358, 1995