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
Demo Data from EDBT 2026 / reviewers in the wild / expert

Michele Mazzucchi

dblp:25/7082 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
0since 2021 · last 2010
—ORCID · none

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

Theory of computation · 2Software engineering, systems software and programming languages · 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.

Software engineering, system software, and programming languages
1 paper
Program verification · 77% Concurrent programming · 23%

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

TopicWeightPapersLastEvidence papers
Program verification
model checking		 0.112009
Symbolic Counter Abstraction for Concurrent Software · CAV 2009
Concurrent programming
concurrency verification		 0.012009
Symbolic Counter Abstraction for Concurrent Software · CAV 2009

Methods — techniques the papers use, named apart from their topics

symbolic abstraction · 0.1
YearPublicationVenuePosition
2010 Context-aware counter abstraction
Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening
 Formal Methods Syst. Des.2
2009 Symbolic Counter Abstraction for Concurrent Software
Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening
 CAV2