scispace - formally typeset
G

Grzegorz Rozenberg

Researcher at Leiden University

Publications -  679
Citations -  31971

Grzegorz Rozenberg is an academic researcher from Leiden University. The author has contributed to research in topics: Petri net & Formal language. The author has an hindex of 81, co-authored 679 publications receiving 31378 citations. Previous affiliations of Grzegorz Rozenberg include Åbo Akademi University & University of Warsaw.

Papers
More filters

On Finite Sets Testing Square Free Property for All Homomorphisms Between Two Given Alphabets ; CU-CS-230-82

Andrzej Ehrenfeucht, +1 more
Journal ArticleDOI

The goodness of {S,a}-EOL forms is decidable

Grzegorz Rozenberg, +1 more
- 01 Sep 1983 - 
TL;DR: It is proved that given an EOL form F with one nonterminal and one terminal (a so-called {S, a}-EOL form) it is decidable whether or not F is good.

The Sequence Equivalence Problem Is Decidable for OS Systems ; CU-CS-137-78

Andrzej Ehrenfeucht, +1 more
Journal ArticleDOI

Hyperedge channels are abelian

A. H. Deutz, +3 more
- 23 May 1994 - 
TL;DR: It is proved that the communication in a bidirectional communication channel as used in dynamic labeled 2-structures is governed by an abelian group.
Journal ArticleDOI

Geometric Transformations of Language Families: The Power of Symmetry

Alexandru Mateescu, +2 more
- 01 Mar 1997 - 
TL;DR: New characterizations for linear, simple matrix, simple contextual and trace languages are obtained and certain isomorphisms between language families are considered to reduce to well-known geometric transformations.