Demo Data from EDBT 2026 / reviewers in the wild / expert
Madhavi Sammeta
dblp:177/8765
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 1994
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Computer networks · 1
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.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Distributed systems · 100% | |
| Theoretical computer science
1 paper |
Logic in computer science · 100% |
Topics — the 2 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Distributed systems
distributed coordination and fault tolerance |
0.0 | 1 | 1994 | On the construction of multiphase communication protocols · ICNP 1994 |
Distributed systems › communication protocols
protocol design |
0.0 | 1 | 1994 | On the construction of multiphase communication protocols · ICNP 1994 |
Methods — techniques the papers use, named apart from their topics
ordering and inhibition interactions · 0.0modular verification · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1994 | On the construction of multiphase communication protocolsabstractThe complexity of communication protocols has led to compositional techniques to design and verify protocols. We propose a framework for sequential composition of protocols. We identify two types of interactions, ordering and inhibition, required to specify such compositions. By describing these interactions separately, our framework enhances the applicability to the technique to a larger class of protocols. The technique facilitates modular design and verification. We illustrate the use of our technique by deriving several protocols.> Gurdip Singh, Madhavi Sammeta |
ICNP | 2 |