Felipe Bracho

dblp:74/527 · DBLP profile ↗
← Back
6ranked-venue papers
6as first author
0since 2021 · last 1997
—ORCID · none

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

Theory of computation · 6 · 6 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
Logic in computer science · 100%

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

TopicWeightPapersLastEvidence papers
Logic in computer science
concurrency
0.011993
From Domains to Automata with Concurrency · ICALP 1993
Logic in computer science › domain theory
domains
0.011993
From Domains to Automata with Concurrency · ICALP 1993
Logic in computer science
domain theory
0.011993
From Domains to Automata with Concurrency · ICALP 1993
YearPublicationVenuePosition
1997 Representation of Computations in Concurrent Automata by Dependence Orders
Felipe Bracho, Manfred Droste, Dietrich Kuske
Theor. Comput. Sci.1
1995 Dependence Orders for Computations of Concurrent Automata
Felipe Bracho, Manfred Droste, Dietrich Kuske
STACS1
1994 Labelled Domains and Automata with Concurrency
Felipe Bracho, Manfred Droste
Theor. Comput. Sci.1
1993 From Domains to Automata with Concurrency
Felipe Bracho, Manfred Droste
ICALP1
1989 Continously Generated Fixed Points
Felipe Bracho
Theor. Comput. Sci.1
1980 Continously generated fixed points in Pomega
Felipe Bracho
Fundam. Informaticae1