lipn

Laboratoire d'Informatique de Paris Nord

UMR 7030, Université Paris 13, 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

up13 cnrs

Publications AOC

In the course of update...


Articles dans des revues internationales avec comité de lecture

[1] Optimizing Healthcare Network Design under Reference Pricing and Parameter Uncertainty
Victoire Denoyel and Laurent Alfandari and Aurélie Thiele
31 pages, https://doi.org/10.1016/j.ejor.2017.05.050, European Journal of Operational Research, 2017

[2] Lexicographical polytopes
Michele Barbato and Roland Grappe and Mathieu Lacroix and Clément Pira
6 pages, Discrete Applied Mathematics, 2017

[3] Aggregation for Computing Multi-Modal Stationary Distributions in 1-D Gene Regulatory Networks
Neslihan Avcu and Nihal Pekergin and Ferhan Pekergin and C\"uneyt G\"uzelis
99, Vol.PP, 10.1109/TCBB.2017.2699177, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2017

[4] LXCloud-CR: Towards LinuX Containers Distributed Hash Table Based Checkpoint-Restart
Thouraya Louati and Heithem Abbes and Christophe Cérin and Mohamed Jemni
Elsevier, Journal of Parallel and Distributed Computing (JPDC), 2017

[5] Partition constrained covering of a symmetric crossing supermodular function by a graph
Attila Bern\'ath and Roland Grappe and Zolt\'an Szigeti
1, 335-382, 31, SIAM Journal on Discrete Mathematics, 2017

[6] The st-bond polytope on series-parallel graphs
Roland Grappe and Mathieu Lacroix
RAIRO - Operational Research, 2017

[7] Biqcrunch: a semidefinite branch-and-bound method for solving binary quadratic problems
Krislock, Nathan and Malick, Jér\^ome and Roupin, Frédéric
4, 32:1--32:23, 43, ACM Transactions on Mathematical Software, 2017

Communications dans des conférences internationales avec comité de lecture

[8] Efficient parameter synthesis using optimized state exploration strategies
André, Etienne and Nguyen, Hoang Gia and Petrucci, Laure
10 pages, IEEE, 22nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'17), Fukuoka, Japan, Zhenjiang Hu and Guangdong Bai, 2017

[9] Parametric model checking timed automata under non-Zenoness assumption
André, Etienne and Nguyen, Hoang Gia and Petrucci, Laure and Sun, Jun
35--51, Springer, Lecture Notes in Computer Science, 10227, 9th NASA Formal Methods Symposium (NFM'17), Moffett Field, CA, USA, 10.1007/978-3-319-57288-8_3, Barrett, Clark and Kahsai, Temesghen, 2017

[10] Assessment of Multi-UAVs Tracking for Data Gathering
Mustapha Bekhti and Michele Garraffa and Nadjib Achir and Khaled Boussetta and Lucas Létocart
6 pages, IEEE Xplore Digital Library, Valencia, Espagne, IWCMC 2017~: The 13th International Wireless Communications and Mobile Computing Conference, 2017

[11] Simplicial decomposition for large scale quadratic convex programming
Enrico Bettiol and Lucas Létocart and Francesco Rinaldi and Emiliano Traversi
4 pages, Electronic Notes in Discrete Mathematics, K\"oln, Allemagne, CTW 2017~: Cologne Twente Workshop, 2017

[12] Inventory rebalancing in bike-sharing systems
Marco Casazza and Alberto Ceselli and Roberto Wolfler Calvo
4 pages, Electronic Notes in Discrete Mathematics, K\"oln, Allemagne, CTW 2017~: Cologne Twente Workshop, 2017

[13] Solving 0-1 Quadratic Problems with Two-Level Parallelization of the BiqCrunch Solver
Camille Coti and Etienne Leclercq and Frédéric Roupin and Franck Butelle
Best paper award. 10 pages, 10th International Workshop on Computational Optimization, 3-6 sept, Prague, Czech Republic, 2017

[14] Parametric model checking timed automata under non-Zenoness assumption
André, Ã. and Nguyen, H. G. and Petrucci, L. and Sun, J.
35--51, Springer, Lecture Notes in Computer Science , 10227, Proc. of the 9th NASA Formal Methods Symposium (NFM2017), Moffett Field, CA, USA, Mai 2017

Autres conférences

[15] Une version Multithread du solveur BiqCrunch
Butelle, Franck and Coti, Camille and Leclercq, Etienne and Roupin, Frédéric
2 pages, Metz, France, ROADEF'2017~: 18ème congrès de la Société Fran\ccaise de Recherche Opérationnelle et d'Aide \`a la Décision, 2017

[16] Simplicial Decomposition for Large Scale Quadratic Convex Programming
Enrico Bettiol and Lucas Létocart and Francesco Rinaldi and Emiliano Traversi
4 pages, Metz, France, ROADEF'2017~: 18ème congrès de la Société Fran\ccaise de Recherche Opérationnelle et d'Aide \`a la Décision, 2017

[17] HPC as a service for computational fluid dynamics problems
Imad Kissami, Christophe Cérin, Fayssal Benkhaldoun
Waischenfeld, Germany, International Workshop on Parallel Numerics (PARNUM 2017), 2017

[18] A Deployment System for highly Heterogeneous and Dynamic Environments
Leila Abidi, Christophe Cérin, Walid Saad
Genova, Italy, International Conference on High Performance Computing & Simulation (HPCS 2017), 2017

[19] Challenges of Translating HPC codes to Workflows for Heterogeneous and Dynamic Environments
Imad Kissami, Christophe Cérin, Fayssal Benkhaldoun
Genova, Italy, International Conference on High Performance Computing & Simulation (HPCS 2017), 2017

[20] Reducing the number of comatose servers: automatic tuning as an opportunistic cloud-service
Yanik Ngoko, Christophe Cérin
Honolulu, US, 14th IEEE International Conference on Services Computing (SCC), 2017

[21] An edge computing platform for the detection of acoustic events
Yanik Ngoko, Christophe Cérin
Honolulu, US, 14th IEEE International Conference on Services Computing (SCC), 2017

[22] Distributed and in-Situ Machine Learning for Smart-Homes and Buildings: Application to Alarm Sounds Detection
Amaury Durand and Yanik Ngoko and Christophe Cérin
429--432, ParLearning Workshop in conjunction with 2017 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPS Workshops 2017), Orlando / Buena Vista, USA, 2017

[23] On solving max-mean dispersion to optimality
Garraffa, Michele and Malick, Jér\^ome and Roupin, Frédéric
2 pages, Metz, France, ROADEF'2017~: 18ème congrès de la Société Fran\ccaise de Recherche Opérationnelle et d'Aide \`a la Décision, 2017

[24] An Overview of the Options Available for Practical Activities in Distributed Computing
Coti, Camille and Loddo, Jean-Vincent and Viennet, Emmanuel
15th International Conference on Information Technology Based Higher Education and Training (ITHET16), Braun, Robin, 2017

[25] A column generation approach for a multi-activity tour scheduling problem
Pan, Stefania and Wolfler Calvo, Roberto and Létocart, Lucas and Touati, Nora and Akplogan, Mahuna
2 pages, Metz, France, ROADEF'2017: 18ème congrès de la Société Fran\ccaise de Recherche Opérationnelle et d'Aide \`a la Décision, 2017

Communications invitées dans une conférence internationale

[26] Social Network Analysis and Community Detection by Decomposing a Graph into Relaxed Cliques
Furini, Fabio and Gschwind, Timo and Irnich, Stefan and Wolfler Calvo, Roberto
Aussois, France, The Combinatorial Optimization Workshop, 2017

Réalisations informatiques

[27] Tool DPU
Huyen Nguyen and César Rodríguez and Camille Coti
\urlhttps://github.com/cesaro/dpu., 2017

pres

w3c-xhtml