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

Stéphane Rassart

dblp:05/565 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
0since 2021 · last 1998
—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.

Theoretical computer science
2 papers
Automated reasoning and model checking · 46% Computational complexity · 27% Logic in computer science · 27%

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

TopicWeightPapersLastEvidence papers
Logic in computer science
arithmetic		 0.011998
On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract) · ICALP 1998
Computational complexity › descriptive complexity
expressive power		 0.011998
On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract) · ICALP 1998
Automated reasoning and model checking › reachability
hybrid systems reachability		 0.011997
An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract) · CAV 1997
Automated reasoning and model checking
reachability		 0.011997
An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract) · CAV 1997

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

automata theory · 0.0
YearPublicationVenuePosition
1998 On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract)
Bernard Boigelot, Stéphane Rassart, Pierre Wolper
 ICALP2
1997 An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract)
Bernard Boigelot, Louis Bronne, Stéphane Rassart
 CAV3