Horst Reichel - Citegraph

Author Info

Name	Affiliation	Papers
HORST REICHEL	Institute: Theoretical Computer Science, Dresden University of Technology, D-01062 Dresden, Germany	19
Collaborators	Citations	PageRank
17	260	32.02
Referers	Referees	References
367	59	66

Search Limit

100367

Publications (19 rows)

Collaborators (17 rows)

Referers (100 rows)

Referees (59 rows)

Title	Citations	PageRank	Year
Preface	0	0.34	2014
Algebraic–coalgebraic specification in CoCasl	10	0.60	2006
Algebraic Approach To Regular Sets	0	0.34	2006
Algebraic-Coalgebraic Specification in Co Casl	2	0.37	2002
STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings	37	4.13	2001
Foreword : Coalgebraic Methods in Computer Science 1998	0	0.34	2001
STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings	33	3.60	2000
A Uniform Model Theory for the Specification of Data and Process Types	4	0.65	1999
Dialgebraic Logics	0	0.34	1998
Workshop: Grundlagen der Parallelität	0	0.34	1997
Unifying ADT - and Evolving Algebra Specifications	4	0.52	1996
An Approach to Object Semantics based on Terminal Co-Algebras	91	8.21	1995
Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings	37	6.69	1995
Defining Equations in Terminal Coalgebras	12	1.73	1994
Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990	19	1.90	1991
A Two-Category Approach to Critical Pair Completion	3	0.38	1990
Computable Functional Enrichments of Parameterized Behavioural Data Types	1	0.34	1986
On Behavioural Equivalence of Data Types	2	0.52	1983
Initial Algebraic Semantics for Non Context-Free Languages	5	0.68	1977

1