Skip to content

Arnaud Durand

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

24

Venues

10

Active years

1994–2026

Best venue rank

A*

Where they publish

Papers

24 indexed papers, newest first.

YearVenueTitleAuthors
2026ICALPRecursion and Proof Theoretical Characterizations of Small Circuit Classes with Modulo Counting via Discrete Differential Equations.Melissa Antonelli, Arnaud Durand, Rui Li
2025MFCSCharacterizing Small Circuit Classes from FAC⁰ to FAC¹ via Discrete Ordinary Differential Equations.Melissa Antonelli, Arnaud Durand, Juha Kontinen
2024MFCSA New Characterization of FAC⁰ via Discrete Ordinary Differential Equations.Melissa Antonelli, Arnaud Durand, Juha Kontinen
2022MFCSEnumeration Classes Defined by Circuits.Nadia Creignou, Arnaud Durand, Heribert Vollmer
2020PODSFine-Grained Complexity Analysis of Queries: From Decision to Counting and Enumeration.Arnaud Durand
2019MFCSRecursion Schemes, Discrete Differential Equations and Characterization of Polynomial Time Computations.Olivier Bournez, Arnaud Durand
2018LICSModel-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth.Arnaud Durand, Anselm Haak, Heribert Vollmer
2018MobisysResilient, crowd-sourced LPWAN infrastructure using blockchain.Arnaud Durand, Pascal Gremaud, Jacques Pasquier
2016CSLDescriptive Complexity of #ACArnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer
2014IGARSSApplicative potential of digital surface models derived from Pleiades-HR tri-stereoscopic acquisitions and TerraSAR-X/TanDEM-X interferometric pairs in a range of thematic domain.Henri Giraud, Arnaud Durand, Mathilde Caspard, Claire Huber, Jrme Maxant, Paul de Fraipont, Claire Tinel, Julien Michel
2014PODSEnumerating answers to first-order queries over databases of low degree.Arnaud Durand, Nicole Schweikardt, Luc Segoufin
2014SATHypergraph Acyclicity and Propositional Model Counting.Florent Capelli, Arnaud Durand, Stefan Mengel
2013ICDTStructural tractability of counting of solutions to conjunctive queries.Arnaud Durand, Stefan Mengel
2013STACSThe arithmetic complexity of tensor contractions.Florent Capelli, Arnaud Durand, Stefan Mengel
2011CSLEnumeration Complexity of Logical Query Problems with Second-order Variables.Arnaud Durand, Yann Strozecki
2010CSLEfficient Enumeration for Conjunctive Queries over X-underbar Structures.Guillaume Bagan, Arnaud Durand, Emmanuel Filiot, Olivier Gauwin
2009LICSTrichotomy in the Complexity of Minimal Inference.Arnaud Durand, Miki Hermann, Gustav Nordh
2007CSLOn Acyclic Conjunctive Queries and Constant Delay Enumeration.Guillaume Bagan, Arnaud Durand, Etienne Grandjean
2006CSLFirst-Order Queries over One Unary Function.Arnaud Durand, Frdric Olive
2003STACSThe Inference Problem for Propositional Circumscription of Affine Formulas Is coNP-Complete.Arnaud Durand, Miki Hermann
2000MFCSSubtractive Reductions and Complete Problems for Counting Complexity Classes.Arnaud Durand, Miki Hermann, Phokion G. Kolaitis
1999MFCSOn the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System.Arnaud Durand, Miki Hermann, Laurent Juban
1997CSLSpectra with Only Unary Function Symbols.Arnaud Durand, Ronald Fagin, Bernd Loescher
1994CSLFirst-Order Spectra with One Binary Predicate.Arnaud Durand, Solomampionona Ranaivoson