Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Peter H. Starke

dblp:67/1231 · DBLP profile ↗
← Back
11ranked-venue papers
10as first author
0since 2021 · last 2000
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 11 · 10 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Automata and formal languages · 77% Logic in computer science · 23%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automata and formal languages
probabilistic automata
0.011970
On Asynchronous Stochastic Automata · Inf. Control. 1970
Logic in computer science
concurrency
0.011970
On Asynchronous Stochastic Automata · Inf. Control. 1970
YearPublicationVenuePosition
2000 Structural Analysis of Signal-Event Systems
abstract
Structural analysis explores the relation between local structural properties and the global functionality of nets. Here we consider Signal-Event systems under a generalized firing rule. The free-choice property and the deadlock-trap property are known from Petri net theory. We define them for Signal-Event nets and draw some consequences for liveness properties of Signal-Event systems.
Adrianna Foremniak, Peter H. Starke
Fundam. Informaticae2
1984 Multiprocessor Systems and Their Concurrency
Peter H. Starke
MFCS1
1981 Processes in Petri Nets
Peter H. Starke
FCT1
1979 Semilinearity and Petri nets
Peter H. Starke
FCT1
1979 On the Languages of Bounded Petri Nets
Peter H. Starke
MFCS1
1978 Free Petri Net Languages
Peter H. Starke
MFCS1
1976 Decision Problems for Multi-Tape Automata
Peter H. Starke
MFCS1
1976 Analyse und Synthese von Asynchronen ND-Automaten
Peter H. Starke
Theor. Comput. Sci.1
1975 On the Representability of Relations by Deterministic and Nondeterministic Multi-Tape Automata
Peter H. Starke
MFCS1
1973 On the Sequential Relations of Time-Invariant Automata
Peter H. Starke
MFCS1
1970 On Asynchronous Stochastic Automata
Peter H. Starke, Helmut Thiele
Inf. Control.1