EDBT 2026 Demo / reviewers in the wild / expert
Christophe Tollu
dblp:73/2354
· DBLP profile ↗
6ranked-venue papers
0as first author
0since 2021 · last 2016
0009-0001-5006-3021ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5Databases, data management, data science and information retrieval · 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
1 paper |
Logic in computer science · 100% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science › finite model theory
asymptotic probabilities |
0.0 | 1 | 1993 | Asymptotic Probabilities of Languages with Generalized Quantifiers · LICS 1993 |
Logic in computer science
finite model theory |
0.0 | 1 | 1993 | Asymptotic Probabilities of Languages with Generalized Quantifiers · LICS 1993 |
Logic in computer science › model theory
generalized quantifiers |
0.0 | 1 | 1993 | Asymptotic Probabilities of Languages with Generalized Quantifiers · LICS 1993 |
Logic in computer science › finite model theory
zero-one laws |
0.0 | 1 | 1993 | Asymptotic Probabilities of Languages with Generalized Quantifiers · LICS 1993 |
Logic in computer science
first-order logic |
0.0 | 1 | 1993 | Asymptotic Probabilities of Languages with Generalized Quantifiers · LICS 1993 |
Logic in computer science › finite model theory
preservation theorems |
0.0 | 1 | 1993 | Asymptotic Probabilities of Languages with Generalized Quantifiers · LICS 1993 |
Methods — techniques the papers use, named apart from their topics
model theory · 0.0generalized quantifiers · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2016 | Dual bases for noncommutative symmetric and quasi-symmetric functions via monoidal factorization
Van Chiên Bui, Gérard Duchamp, Vincel Hoang Ngoc Minh, Ladji Kane, Christophe Tollu |
J. Symb. Comput. | 5 |
| 1995 | On the Expressive Power of Counting
Stéphane Grumbach, Christophe Tollu |
Theor. Comput. Sci. | 2 |
| 1993 | Asymptotic Probabilities of Languages with Generalized QuantifiersabstractThe impact of adding certain families of generalized quantifiers to first-order logic (FO) on the asymptotic behavior of sentences is studied. All the results are stated and proved for languages disallowing free variables in the scope of generalized quantifiers. For a class K of finite structures closed under isomorphism, the quantifier Q/sub K/ is said to be strongly monotonic, sm, if membership in the class is preserved under a loose form of extensions. The first theorem (O/1 law for FO with any set of sm quantifiers) subsumes a previous criterion for proving that almost no graphs satisfy a given property. A O/1 law for FO with Hartig quantifiers (equicardinality quantifiers) and a limit law for a fragment of FO with Rescher quantifiers (expressing inequalities of cardinalities) are also established. It is also proved that the O/1 law fails for the extension of FO with Hartig quantifiers if the above syntactic restriction is relaxed, giving the best upper bound for the existence of a O/1 law for FO with Hartig quantifiers.> Guy Fayolle, Stéphane Grumbach, Christophe Tollu |
LICS | 3 |
| 1993 | Generating Plans in Linear Logic I. Actions as Proofs
M. Masseron, Christophe Tollu, Jacqueline Vauzeilles |
Theor. Comput. Sci. | 2 |
| 1992 | Query Languages with Counters
Stéphane Grumbach, Christophe Tollu |
ICDT | 2 |
| 1990 | Generating Plans in Linear Logic
M. Masseron, Christophe Tollu, Jacqueline Vauzeilles |
FSTTCS | 2 |