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

Jérôme Champavère

dblp:47/1101 · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
0since 2021 · last 2013
—ORCID · none

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

Theory of computation · 2 · 2 first-authorArtificial intelligence and machine learning · 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.

Databases, data mining, and information retrieval
2 papers
Query processing and optimization · 85% Data models and query languages · 15%
Theoretical computer science
1 paper
Automata and formal languages · 50% Automated reasoning and model checking · 50%

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

TopicWeightPapersLastEvidence papers
Automated reasoning and model checking › automata-based verification
inclusion checking
0.112009
Efficient inclusion checking for deterministic tree automata and XML Schemas · Inf. Comput. 2009
Automata and formal languages
tree automata
0.112009
Efficient inclusion checking for deterministic tree automata and XML Schemas · Inf. Comput. 2009
Data models and query languages › schema languages
XML schema
0.012009
Efficient inclusion checking for deterministic tree automata and XML Schemas · Inf. Comput. 2009

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

schema-guided pruning · 0.2
YearPublicationVenuePosition
2013 Query induction with schema-guided pruning strategies
Joachim Niehren, Jérôme Champavère, Aurélien Lemay, Rémi Gilleron
J. Mach. Learn. Res.2
2009 Efficient inclusion checking for deterministic tree automata and XML Schemas
Jérôme Champavère, Rémi Gilleron, Aurélien Lemay, Joachim Niehren
Inf. Comput.1
2008 Efficient Inclusion Checking for Deterministic Tree Automata and DTDs
Jérôme Champavère, Rémi Gilleron, Aurélien Lemay, Joachim Niehren
LATA1