Filter your results
- 1967
- 990
- 6
- 1772
- 674
- 155
- 82
- 74
- 63
- 45
- 30
- 25
- 12
- 12
- 12
- 5
- 1
- 1
- 21
- 1
- 1
- 2956
- 130
- 79
- 55
- 43
- 26
- 15
- 11
- 5
- 1
- 1
- 51
- 28
- 22
- 21
- 1
- 63
- 168
- 200
- 165
- 209
- 217
- 194
- 159
- 168
- 163
- 143
- 153
- 165
- 137
- 132
- 152
- 131
- 139
- 27
- 14
- 14
- 15
- 11
- 6
- 3
- 7
- 2
- 2
- 1
- 2
- 2235
- 725
- 2
- 1
- 1981
- 615
- 407
- 69
- 50
- 47
- 41
- 41
- 40
- 38
- 36
- 35
- 32
- 29
- 28
- 28
- 27
- 25
- 24
- 24
- 24
- 23
- 23
- 22
- 22
- 21
- 21
- 20
- 20
- 20
- 19
- 19
- 19
- 18
- 18
- 18
- 17
- 16
- 16
- 15
- 15
- 15
- 15
- 15
- 14
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 211
- 185
- 126
- 121
- 113
- 110
- 109
- 101
- 99
- 98
- 98
- 97
- 90
- 88
- 80
- 72
- 69
- 67
- 58
- 57
- 53
- 51
- 51
- 50
- 49
- 46
- 45
- 43
- 43
- 42
- 41
- 40
- 40
- 39
- 38
- 38
- 37
- 37
- 35
- 35
- 34
- 33
- 32
- 32
- 31
- 30
- 29
- 28
- 27
- 27
- 27
- 27
- 27
- 27
- 26
- 26
- 26
- 26
- 25
- 24
- 23
- 22
- 22
- 22
- 22
- 21
- 21
- 21
- 19
- 19
- 19
- 19
- 19
- 19
- 19
- 18
- 18
- 17
- 17
- 17
- 17
- 17
- 17
- 17
- 17
- 17
- 17
- 17
- 17
- 17
- 17
- 17
- 16
- 16
- 16
- 15
- 15
- 15
- 15
- 15
|
Rice's theorem for generic limit sets of cellular automataAUTOMATA 2021, Jul 2021, Marseille, France
Conference papers
hal-03259515v1
|
||
|
A comprehensive evacuation planning model and genetic solution algorithmTransportation Research Part E: Logistics and Transportation Review, 2014, 71, pp.82-97. ⟨10.1016/j.tre.2014.08.007⟩
Journal articles
hal-03064380v1
|
||
|
Secure Outsourced Data AnalyticsDatabases [cs.DB]. Université d'Orléans, 2021
Habilitation à diriger des recherches
tel-03256882v1
|
||
|
Plasma and fluidic jet actuators for circulation control around wind turbulne airfoils52nd International Conference of Applied Aerodynamics, AERO 2017, Mar 2017, Lyon, France
Conference papers
hal-02570607v1
|
||
|
Observer Design for Nonlinear Dynamical Systems2021, 978-3-030-73742-9. ⟨10.1007/978-3-030-73742-9⟩
Books
hal-03168869v1
|
||
|
Extending Atomic Chain SwapsData Privacy Management, Cryptocurrencies and Blockchain Technology, ESORICS 2019 International Workshops, Sep 2019, Luxembourg, Luxembourg. ⟨10.1007/978-3-030-31500-9_14⟩
Conference papers
hal-02570859v1
|
||
|
Données hétérogènes de mobilités quotidiennes : protocole de diagnostic qualité et d’apurement à partir de la base MOBI’KIDSSpatial Analysis and GEOmatics, SAGEO, Nov 2019, Clermont-Ferrand, France
Conference papers
halshs-02327295v1
|
||
Security and Virtualization: a Survey[Research Report] INSA CVL - Institut National des Sciences Appliquées - Centre Val de Loire; LIFO, Université d'Orléans, INSA Centre Val de Loire. 2011
Reports
hal-03226336v1
|
|||
|
A branch-and-check approach for a wind turbine maintenance scheduling problemComputers and Operations Research, 2017, 88, pp.117-136. ⟨10.1016/j.cor.2017.07.001⟩
Journal articles
hal-01617150v1
|
||
|
Probabilistic Epistemic Updates on AlgebrasACM Transactions on Computational Logic, 2019, 20 (4), pp.1-75. ⟨10.1145/3341725⟩
Journal articles
hal-02973836v1
|
||
|
DOING@DEFT : utilisation de lexiques pour une classification efficace de cas cliniquesTraitement Automatique des Langues Naturelles, 2021, Lille, France. pp.41-53
Conference papers
hal-03265924v1
|
||
|
The Traveling Analyst Problem: Definition and preliminary studyDesign, Optimization, Languages and Analytical Processing of Big Data, Mar 2020, Copenhagen, Denmark
Conference papers
hal-03001208v1
|
||
Un algorithme exponentiel basé sur Inclusion-Exclusion pour la résolution d’un problème d’ordonnancement de type flowshopCongrès annuel de la ROADEF 2020, Feb 2020, Montpellier, France
Conference papers
hal-03000960v1
|
|||
Adversarial bilevel scheduling on a single machineCongrès annuel de la ROADEF 2020, Feb 2020, Montpellier, France
Conference papers
hal-03001006v1
|
|||
|
Correctness by construction and style preserving reconfigurations of system of systemsSAC 2018: The 33th ACM/SIGAPP Symposium on Applied Computing, Apr 2018, Pau, France. pp.1680-1686
Conference papers
hal-02652140v1
|
||
|
Special Issue of the Journal of Logical and Algebraic Methods in Programming on Formal Approaches to Parallel and Distributed Systems 2018Journal of Logical and Algebraic Methods in Programming, 116, Elsevier, pp.100580, 2020, ⟨10.1016/j.jlamp.2020.100580⟩
Special issue
hal-03102811v1
|
||
Hamming Quasi-Cyclic (HQC)2017, https://pqc-hqc.org/
Other publications
hal-01946880v1
|
|||
Delegating Elliptic-Curve Operations with Homomorphic EncryptionIEEE Conference on Communications and Network Security, May 2018, Pékin, China
Conference papers
hal-01946364v1
|
|||
|
Toward performance prediction for Multi-BSP programs in ML18th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), Nov 2018, Guangzhou, China
Conference papers
hal-01941250v2
|
||
Production and delivery problem with late departure and tardiness penaltiesWorkshop of the EURO Working Group on Vehicle Routing and Logistics optimization, 2019, Séville, Spain
Conference papers
hal-03018110v1
|
|||
|
Belief Based on Inconsistent InformationDynamic Logic: New Trends and Applications, Mar 2022, Prague, Czech Republic. pp.68-86, ⟨10.1007/978-3-030-65840-3_5⟩
Conference papers
hal-03115256v1
|
||
|
Seen2Unseen at PARSEME Shared Task 2020: All Roads do not Lead to Unseen Verb-Noun VMWEsJoint Workshop on Multiword Expressions and Electronic Lexicons (MWE-LZX 2020), 2020, Barcelona, Spain
Conference papers
hal-03014867v1
|
||
An autonomous Cloud management system for in-depth security.Les Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2015), May 2015, Troyes, France
Conference papers
hal-01191746v1
|
|||
Exponential-time algorithms for scheduling problemsWorkshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP 2011), 2011, Nymburk, Czech Republic
Conference papers
hal-00943027v1
|
|||
Scheduling parallel machines with exponential algorithmsInternational Workshop on Approximation, Parameterized and EXact algorithms (APEX 2012), 2012, France
Conference papers
hal-00943032v1
|
|||
Minimisation de la somme pondérée des dates de fin dans un problème de flowshop de permutation sous de multiples contraintesROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
Conference papers
hal-00946506v1
|
|||
Routages et réseaux haute performance: évaluation et résilienceROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
Conference papers
hal-00946301v1
|
|||
Calcul de grands sous-graphes induits à l'aide des séparateurs minimaux et de la logique MSOROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
Conference papers
hal-00946259v1
|
|||
Two-agent scheduling problems on parallel machines with makespan and total completion time objective functionsInformation Systems, Logistics and Supply Chain (ILS 2014), Aug 2014, Breda, Netherlands
Conference papers
hal-01245903v1
|
|||
A complete view of the scheduling problem of chemotherapy production with expensive and perishable raw materials20th Conference of the International Federation of Operational Research Societies (IFORS’2014), Jul 2014, Barcelone, Spain
Conference papers
hal-01245906v1
|