DescriptiveComplexity: Completeness by First-Order Reductions in Lean
0 citationsZenodo (CERN European Organization for Nuclear Research)
Pierre Senellart
Informations fournies par OpenAlex. Research Africa ne déduit ni nationalité, ni poste, ni coordonnées personnelles.
294Publications signalées
3551Citations signalées
7Affiliations récentes
Institutions déclarées
Domaines associés
Advanced Database Systems and QueriesSemantic Web and OntologiesData Management and AlgorithmsWeb Data Mining and AnalysisData Quality and Management
Publications récentes
PierreSenellart/apxproof: Version 1.5.0 release
Pierre Senellart, Klaus‐Dieter Bauer, Yuichi Komorida, Antoine Amarilli 'a3nm' et autres
0 citationsZenodo (CERN European Organization for Nuclear Research)
provenance-lean: Database Provenance in Lean 4
0 citationsZenodo (CERN European Organization for Nuclear Research)
StatSheets: dataset and reproducibility kit for spreadsheet table understanding
Antoine Gauquier, Ioana Manolescu, Pierre Senellart
0 citationsZenodo (CERN European Organization for Nuclear Research)
StatSheets: dataset and reproducibility kit for spreadsheet table understanding
Antoine Gauquier, Ioana Manolescu, Pierre Senellart
0 citationsZenodo (CERN European Organization for Nuclear Research)
Structured Prediction for Scalable Spreadsheet Table Understanding: From Cell Types to Table Ranges
Antoine Gauquier, Ioana Manolescu, Pierre Senellart
0 citationsZenodo (CERN European Organization for Nuclear Research)
ProvSQL: Semiring Provenance and Probability Management for PostgreSQL
Pierre Senellart, Antoine Amarilli, Belkis Djeffal, Louis Jachiet et autres
0 citationsZenodo (CERN European Organization for Nuclear Research)
ProvSQL: Semiring Provenance and Probability Management for PostgreSQL
Pierre Senellart, Antoine Amarilli, Belkis Djeffal, Louis Jachiet et autres
0 citationsZenodo (CERN European Organization for Nuclear Research)
DescriptiveComplexity: Completeness by First-Order Reductions in Lean
0 citationsZenodo (CERN European Organization for Nuclear Research)
ProvSQL: Semiring Provenance and Probability Management for PostgreSQL
Pierre Senellart, Antoine Amarilli, Belkis Djeffal, Louis Jachiet et autres
0 citationsZenodo (CERN European Organization for Nuclear Research)
Benchmarking Table Extraction from Heterogeneous Scientific PDF Documents
Marijan Soric, Cécile Gracianne, Ioana Manolescu, Pierre Senellart
2 citations
provenance-lean: Database Provenance in Lean 4
0 citationsZenodo (CERN European Organization for Nuclear Research)
BNTIC News n’est pas le producteur de ces données. Recherche à la demande dans Crossref, OpenAIRE, DOAJ, Europe PMC, HAL, DataCite, ROR et la Banque mondiale, sans clé ; OpenAlex reste optionnel. Aucun service payant requis, aucune donnée externe enregistrée en base. Sources et limites.