Skip to Main content Skip to Navigation


...
tel-01750475v1  Theses
Guillaume Bonfante. Constructions d'ordres, analyse de la complexité
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2000. Français. ⟨NNT : 2000INPL102N⟩
hal-01423520v1  Journal articles
Marie Maccaig. Exploring the complexity of the integer image problem in the max-algebra
Discrete Applied Mathematics, Elsevier, 2017, 217 (2), pp.261--275. ⟨10.1016/j.dam.2016.09.016⟩
hal-00780066v1  Conference papers
Alin BostanShaoshi ChenFrédéric ChyzakZiming Li. Complexity of Creative Telescoping for Bivariate Rational Functions
ISSAC'10 - International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.203-210
...
hal-03087716v1  Conference papers
Alberto Marchetti-SpaccamelaNicole MegowJens SchlöterMartin SkutellaLeen Stougie. On the Complexity of Conditional DAG Scheduling in Multiprocessor Systems
IPDPS 2020 - IEEE International Parallel and Distributed Processing Symposium, May 2020, New Orleans / Virtual, United States. pp.1061-1070, ⟨10.1109/IPDPS47924.2020.00112⟩
...
inria-00590077v1  Conference papers
Bart LamiroyPatrick Gros. Object Indexing is a Complex Matter
10th Scandinavian Conference on Image Analysis (SCIA '97), Jun 1997, Lappeenranta, Finland. pp.277--283
...
hal-01852119v1  Journal articles
Béatrice BérardStefan HaarSylvain SchmitzStefan Schwoon. The Complexity of Diagnosability and Opacity Verification for Petri Nets
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2018, 161 (4), pp.317--349. ⟨10.3233/FI-2018-1706⟩
...
hal-01351970v2  Journal articles
Mohamadou Lamine DioufSophie Pinchinat. Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2016, Volume 25 - 2016 - Special issue CNRIA 2015
inria-00104145v1  Journal articles
François LaroussiniePhilippe SchnoebelenMathieu Turuani. On the expressivity and complexity of quantitative branching-time temporal logics.
Theoretical Computer Science, Elsevier, 2003, Theoretical Computer Science, 1-3 (297), pp.297-315. ⟨10.1016/S0304-3975(02)00644-8⟩
hal-01340113v1  Journal articles
Sylvain Schmitz. Implicational Relevance Logic is 2-ExpTime-Complete
The Journal of Symbolic Logic, Association for Symbolic Logic, 2016, 81 (2), pp.641--661. ⟨10.1017/jsl.2015.7⟩
...
hal-01141938v2  Conference papers
Davide GrossiEmiliano LoriniFrançois Schwarzentruber. Ceteris Paribus Structure in Logics of Game Forms
Conference on Theoretical Aspects of Rationality and Knowledge - TARK 2013, Jan 2013, Chennai, India. pp. 1-11
...
hal-00938235v1  Conference papers
Paul BrunetDamien Pous. Kleene Algebra with Converse
RAMiCS, Apr 2014, Marienstatt im Westerwald, Germany. pp.101-118
halshs-01417248v1  Journal articles
Enrico FormentiKévin PerrotEric Rémila. Computational complexity of the avalanche problem for one dimensional decreasing sandpiles
Journal of Cellular Automata, Old City Publishing, 2018, 13 (3), pp. 215-228
...
hal-01905491v1  Journal articles
Miguel CouceiroPierre MercurialiRomain PéchouxAbdallah Saffidine. On the complexity of minimizing median normal forms of monotone Boolean functions and lattice polynomials
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, In press, 33 (3), pp.197-218
...
tel-00012133v1  Theses
Hélène Renard. Equilibrage de charge et redistribution de données sur plates-formes hétérogènes
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2005. Français
...
inria-00137138v2  Conference papers
Pierre SenellartSerge Abiteboul. On the Complexity of Managing Probabilistic XML Data
Principles Of Database Systems, Jun 2007, Beijing/China
...
tel-03028074v1  Theses
Momar Sakho. Certain Query Answering on Hyperstreams
Computational Complexity [cs.CC]. Université de Lille; Inria, 2020. English
...
hal-00683424v1  Conference papers
Ioana BarbuCédric HerzetEtienne Mémin. REPRESENTATION ET ALGORITHMES PARCIMONIEUX POUR LA TOMOGRAPHIE PIV
14ème Congrès Français de Visualisation et de Traitement d'Images en Mécanique des Fluides, Nov 2011, Lille, France