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

Tom Fransen

dblp:117/9977 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2012
—ORCID · none

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

Software engineering, systems software and programming languages · 1Theory of computation · 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
Requirements engineering and software design · 100%
Theoretical computer science
1 paper
Logic in computer science · 100%

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

TopicWeightPapersLastEvidence papers
Logic in computer science
formal methods		 0.112012
Experience Report on Designing and Developing Control Components Using Formal Methods · FM 2012

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

formal methods · 0.3
YearPublicationVenuePosition
2012 Experience Report on Designing and Developing Control Components Using Formal Methods
Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever
 FM2