Demo Data from EDBT 2026 / reviewers in the wild / expert
Lucia Acciai
dblp:25/420
· DBLP profile ↗
11ranked-venue papers
10as first author
0since 2021 · last 2013
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 6 · 6 first-authorSoftware engineering, systems software and programming languages · 5 · 4 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
3 papers |
Logic in computer science · 95% Automata and formal languages · 5% | |
| Software engineering, system software, and programming languages
1 paper |
Program verification · 100% |
Topics — the 7 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science › process algebra
pi-calculus |
0.3 | 3 | 2012 | Deciding safety properties in infinite-state pi-calculus via behavioural types · Inf. Comput. 2012 Spatial and behavioral types in the pi-calculus · Inf. Comput. 2010 Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types · ICALP (2) 2009 |
Logic in computer science
process algebra |
0.3 | 2 | 2012 | Deciding safety properties in infinite-state pi-calculus via behavioural types · Inf. Comput. 2012 Spatial and behavioral types in the pi-calculus · Inf. Comput. 2010 |
Logic in computer science › temporal logic
safety properties |
0.1 | 1 | 2012 | Deciding safety properties in infinite-state pi-calculus via behavioural types · Inf. Comput. 2012 |
Logic in computer science › type theory › type systems
behavioral types |
0.1 | 2 | 2010 | Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types · ICALP (2) 2009 Spatial and behavioral types in the pi-calculus · Inf. Comput. 2010 |
Program verification
safety properties |
0.1 | 1 | 2009 | Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types · ICALP (2) 2009 |
Automata and formal languages
infinite-state systems |
0.0 | 1 | 2012 | Deciding safety properties in infinite-state pi-calculus via behavioural types · Inf. Comput. 2012 |
Logic in computer science › type theory
type systems |
0.0 | 1 | 2010 | Spatial and behavioral types in the pi-calculus · Inf. Comput. 2010 |
Methods — techniques the papers use, named apart from their topics
behavioral types · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2013 | Behavioural contracts with request-response operations
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
Sci. Comput. Program. | 1 |
| 2012 | Deciding safety properties in infinite-state pi-calculus via behavioural types
Lucia Acciai, Michele Boreale |
Inf. Comput. | 1 |
| 2010 | Behavioural Contracts with Request-Response Operations
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
COORDINATION | 1 |
| 2010 | On the Relationship between Spatial Logics and Behavioral Simulations
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
FoSSaCS | 1 |
| 2010 | Spatial and behavioral types in the pi-calculus
Lucia Acciai, Michele Boreale |
Inf. Comput. | 1 |
| 2009 | Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types
Lucia Acciai, Michele Boreale |
ICALP (2) | 1 |
| 2008 | Spatial and Behavioral Types in the Pi-Calculus
Lucia Acciai, Michele Boreale |
CONCUR | 1 |
| 2008 | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder 0001, Francesco Tiezzi 0001, Mirco Tribastone, Dániel Varró |
ISoLA | 3 |
| 2008 | XPi: A typed process calculus for XML messaging
Lucia Acciai, Michele Boreale |
Sci. Comput. Program. | 1 |
| 2008 | Responsiveness in process calculi
Lucia Acciai, Michele Boreale |
Theor. Comput. Sci. | 1 |
| 2007 | A Concurrent Calculus with Atomic Transactions
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio |
ESOP | 1 |