EDBT 2026 Demo / reviewers in the wild / expert
Antony A. Faustini
dblp:29/3682
· DBLP profile ↗
4ranked-venue papers
3as first author
0since 2021 · last 1996
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1 · 1 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.
| Software engineering, system software, and programming languages
3 papers |
Programming languages and type systems · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Embedded and real-time systems · 100% |
Topics — the 5 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › programming paradigms
dataflow language |
0.0 | 2 | 1987 | An eductive interpreter for Lucid · PLDI 1987 An Operational Semantics for Pure Dataflow · ICALP 1982 |
Embedded and real-time systems › real-time system design
real-time system specification |
0.0 | 1 | 1985 | A Declarative Language for the Specification of Real Time Systems · RTSS 1985 |
Programming languages and type systems › language semantics
dataflow semantics |
0.0 | 1 | 1982 | An Operational Semantics for Pure Dataflow · ICALP 1982 |
Programming languages and type systems › language semantics › formal semantics
operational semantics |
0.0 | 1 | 1982 | An Operational Semantics for Pure Dataflow · ICALP 1982 |
Programming languages and type systems
declarative languages |
0.0 | 1 | 1985 | A Declarative Language for the Specification of Real Time Systems · RTSS 1985 |
Methods — techniques the papers use, named apart from their topics
eductive interpretation · 0.0structural operational semantics · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1996 | Executable Temporal Logic Systems
Mehmet A. Orgun, Antony A. Faustini |
J. Symb. Comput. | 2 |
| 1987 | An eductive interpreter for Lucid
Antony A. Faustini, William W. Wadge |
PLDI | 1 |
| 1985 | A Declarative Language for the Specification of Real Time Systems
Antony A. Faustini, Edgar B. Lewis |
RTSS | 1 |
| 1982 | An Operational Semantics for Pure Dataflow
Antony A. Faustini |
ICALP | 1 |