LIP6 - Conference papers

Current teams :

ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL

Choose a team above.

A. Abdel‑Razzac, S. Elayoubi, T. Chahed, B. El Hassan : “Comparison of LTE eMBMS and DVB-NGH mobile TV solutions from an energy consumption perspective”, Personal, Indoor and Mobile Radio Communications (PIMRC Workshops), 2013 IEEE 24^th International Symposium on, London, United Kingdom, pp. 16-20 [Abdel-Razzac 2013a]
A. Abdel‑Razzac, S. Elayoubi, T. Chahed, B. El Hassan : “Impact of LTE and DVB-NGH cooperation on QoS of Mobile TV users”, International Conference on Communications 2013 (ICC 2013), Budapest, Hungary, pp. 2265-2270 [Abdel-Razzac 2013c]
A. Abdel‑Razzac, S. Elayoubi, T. Chahed, B. El Hassan : “Planning of Mobile TV service in standalone and cooperative DVB-NGH and LTE networks”, Modeling & Optimization in Mobile, Ad Hoc & Wireless Networks (WiOpt), 2013 11^th International Symposium on, Tsukuba, Japan, pp. 609-614 [Abdel-Razzac 2013d]
A. Abi Haidar, J.‑G. Ganascia, A. Six, V. Thomas‑Vaslin : “The Artificial Immune Systems Domain Identifying Progress and Main Contributors using Publicationand Co-Authorship Analyses.”, ECAL, vol. 12, Advances in Artificial Life, ECAL., Taormina, Italy [Abi Haidar 2013]
Th. Abreu, B. Baynat, Th. Begin, I. Guerin‑Lassous : “Hierarchical Modeling of IEEE 802.11 Multi-hop Wireless Networks”, MSWiM'13 - 16^th ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Barcelone, Spain, pp. 143-150, (ACM) [Abreu 2013]
N. Absi, S. Dauzère‑Pérès, S. Kedad‑Sidhoum, B. Penz, Ch. Rapine : “Green Lot-Sizing Problem with Fixed Carbon Emissions”, Roadef 2013, Troyes, France [Absi 2013a]
H. Adel, M.‑M. Louërat, M. Sabut : “Design Considerations for Low Gain Amplifier in the MDAC of Digitally Calibrated Pipelined ADCs”, IFIP/IEEE 21^st International Conference on Very Large Scale Integration, VLSI-SoC 2013, Istanbul, Türkiye, pp. 23-26, (IEEE) [Adel 2013]
H. Aissaoui, P. URIEN, G. Pujolle : “Low Latency of Re-Authentication During Handover : Re-Authentication Using a Signed Token in Heterogeneous Wireless Access Networks”, 10^th International Conference on Wireless Information Networks and Systems - WINSYS 2013, Reykjavik, Iceland, pp. 1-7, (IEEE) [Aissaoui 2013]
A. Albano, J.‑L. GUILLAUME, S. Heymann, B. Le Grand : “A Matter of Time - Intrinsic or Extrinsic - for Diffusion in Evolving Complex Networks”, Conference on Advances in Social Networks Analysis and Mining, Niagara Falls, Canada, pp. 202-206 [Albano 2013b]
Martin R. Albrecht, G. Leander : “An All-In-One Approach to Differential Cryptanalysis for Small Block Ciphers”, SAC 2012 - 19^th International Conference on Selected Areas in Cryptography, vol. 7707, Lecture Notes in Computer Science, Windsor, Canada, pp. 1-15, (Springer) [Albrecht 2013]
R. Almeida, M.‑J. Lesot, B. Bouchon‑Meunier, U. Kaymak, G. Moyse : “Linguistic Summaries of Categorical Time Series for Septic Shock Patient Data”, Fuzz-IEEE 2013 - IEEE International Conference on Fuzzy Systems, Hyderabad, India, pp. 1-8, (IEEE) [Almeida 2013]
R. Alt, J.‑L. Lamotte : “Stochastic arithmetic as a tool to study the stability of biological models”, International Conference on Mathematical Methodes and Models in Biosciences (BIOMATH), Sofia, Bulgaria [Alt 2013b]
I. Alvarez, R. Aldama, S. Martin, R. Reuillon : “Assessing the Resilience of Socio-Ecosystems: Coupling Viability Theory and Active Learning with kd-Trees. Application to Bilingual Societies”, 23rd International Joint Conference on Artificial Intelligence, IJCAI'13, Beijing, China, pp. 2776-2782 [Alvarez 2013a]
N. Amaneddine, J.‑F. Condotta, M. Sioutis : “Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints”, 23^th International Joint Conference on Artificial Intelligence (IJCAI'13), Beijing, China, pp. 696-702, (AAAI Press) [Amaneddine 2013]
B. Amann, C. Constantin, C. Caron, P. Giroux : “WebLab PROV: Computing fine-grained provenance links for XML artifacts”, BIGProv'13 Workshop (in conjunction with EDBT/ICDT), Gênes, Italy, pp. 298-306, (ACM) [Amann 2013a]
Ah. Amokrane, R. Langar, R. Boutaba, G. Pujolle : “Online Flow-based Energy Efficient Management in Wireless Mesh Networks”, Proc. of 2013 IEEE Global Communications Conference (IEEE GLOBECOM 2013), Atlanta, GA, United States, pp. 329-335, (IEEE) [Amokrane 2013b]
E. Amouri, A. Blanchardon, R. Chotin‑Avot, H. Mehrez, Z. Marrakchi : “Efficient Multilevel Interconnect Topology for Cluster-based Mesh FPGA Architecture”, ReConFig 2013 - International Conference on Reconfigurable Computing and FPGAs, Cancun, Mexico, pp. 1-6, (IEEE) [Amouri 2013a]
E. Amouroux, Th. Huraux, F. Sempé, N. Sabouret, Y. Haradji : “Simulating human activities to investigate household energy consumption”, 5^th International Conference on Agents and ARTificial intelligence (ICAART 2013), Barcelone, Spain [Amouroux 2013]
K. Anderson, E. André, T. Baur, S. Bernardini, M. Chollet, E. Chryssafidou, I. Damian, C. Ennis, A. Egges, P. Gebhard, H. Jones, M. Ochs, C. Pelachaud, K. Porayska‑Pomsta, P. Rizzo, N. Sabouret : “The TARDIS Framework: Intelligent Virtual Agents for Social Coaching in Job Interviews”, ACE 2013: Advances in Computer Entertainment, vol. 8253, Lecture Notes in Computer Science, Boekelo, Netherlands, pp. 476-491, (Springer) [Anderson 2013]
L. Andrade Porras, T. Maehne, M.‑M. Louërat, F. Pêcheux : “Time Step Control and Threshold Crossing Detection in SystemC AMS 2.0”, Actes du huitième colloque du GDR SOC-SIP du CNRS, Lyon, France, pp. 3 [Andrade Porras 2013]
É. André, B. Barbot, C. Démoulins, L. Hillah, F. Hulin‑Hubard, F. Kordon, A. Linard, L. Petrucci : “A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems”, 15^th International Conference on Formal Engineering Methods (ICFEM'13), vol. 8144, Lecture Notes in Computer Science, Queenstown, New Zealand, pp. 199-214, (Springer Berlin Heidelberg) [André 2013a]
É. André, Y. Lembachar, L. Petrucci, F. Hulin‑Hubard, A. Linard, L. Hillah, F. Kordon : “CosyVerif: An Open Source Extensible Verification Environment”, 18^th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Singapore, Singapore, pp. 33-36, (IEEE Computer Society Press) [André 2013b]
E. Angel, E. Bampis, A. Kononov, D. Paparas, E. Pountourakis, V. Zissimopoulos : “Clustering on k-edge-colored graphs”, 38^th international Symposium on Mathematical Foundations of Computer Science, vol. 8087, Lecture Notes in Computer Science, Klosterneuburg, Austria, pp. 50-61 [Angel 2013a]
E. Angel, E. Bampis, V. Chau, D. Letsios : “Throughput Maximization for Speed-Scaling with Agreeable Deadlines”, 10^th annual conference on Theory and Applications of Models of Computation (TAMC 2013), vol. 7876, Lecture Notes in Computer Science, Hong Kong, China, pp. 10-19 [Angel 2013b]
L. Arantes, F. Greve, P. Sens, V. Simon : “Eventual Leader Election in Evolving Mobile Networks”, OPODIS 2013 - 17^th International Conference Principles of Distributed Systems, vol. 8304, Lecture Notes in Computer Science, Nice, France, pp. 23-37, (Springer) [Arantes 2013a]
L. Arantes, J. Sopena : “Easily rendering token-ring algorithms of distributed and parallel applications fault tolerant”, 25^th International Symposium on Computer Architecture and High Performance Computing (SBAC'13), Porto de Galinhas, Brazil, pp. 206-213, (IEEE) [Arantes 2013c]
C. Auger, Z. Bouzid, P. Courtieu, S. Tixeuil, X. Urbain : “Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots”, International Symposium on Distributed Computing (DISC2013), vol. 8205, LNCS, Jerusalem, Israel, pp. 2 [Auger 2013a]
C. Auger, Z. Bouzid, P. Courtieu, S. Tixeuil, X. Urbain : “Certified Impossibility Results for Byzantine-Tolerant Mobile Robots”, International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 8255, Lecture Notes in Computer Science, Osaka, Japan, pp. 178-190, (Springer) [Auger 2013c]
O. Auzende, H. Giroire, F. Le Calvez : “Error Driven Adaptive Training Sequences”, IEEE 13^th International Conference on Advanced Learning Technologies, ICALT 2013, Beijing, China, pp. 219-220, (IEEE) [Auzende 2013a]
O. Auzende, H. Giroire, F. Le Calvez : “Séquences d'entraînement guidées par les erreurs”, Environnements Informatiques pour l'Apprentissage Humain, EIAH 2013, Toulouse, France, pp. 105-116 [Auzende 2013b]
Ch. Avenel, P. Fortin, D. Béréziat : “Parallel birth and death process for cell nuclei extraction in histopathology images”, ICPP 2013 - 42^nd International Conference on Parallel Processing, Lyon, France, pp. 429-438, (IEEE) [Avenel 2013]
S. Avila, N. Thome, M. Cord, E. Valle, A. De Albuquerque Araújo : “Extended Bag-of-Words Formalism for Image Classification”, Brazilian Symposium on Computer Graphics and Image Processing, Arequipa, Peru [Avila 2013a]
Y. Bai, I. Mhedhbi, Kh. HACHICHA, P. Garda, B. Granado, S. Ahmed, S. Topin, S. Hochberg, K. Fayez, D. Heudes : “Contribution à l'intégration matérielle du codeur vidéo pour l'imagerie médicale MM-Waaves”, Symposium on Signal and Image Processing (GRETSI), Brest, France [Bai 2013a]
Y. Bai, S. Ahmed, B. Granado : “Design and Analysis of System on a Chip Encoder for Locally Stationary Image Source”, IEEE International Conference on Design and Architectures for Signal and Image Processing (DASIP), Cagliari, Italy, pp. 271-278 [Bai 2013b]
Y. Bai, S. Ahmed, B. Granado : “FPGA Implementation of Hierarchical Enumerative Coding for Locally Stationary Image Source”, IEEE International Conference on Field Programmable Logic and Applications (FPL), Porto, Portugal [Bai 2013c]
Y. Bai, S. Ahmed, I. Mhedhbi, Kh. HACHICHA, C. Champion, P. Garda, B. Granado : “FPGA vs DSP: A Throughput and Power Efficiency Comparison for Hierarchical Enumerative Coding”, IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), Istanbul, Türkiye [Bai 2013d]
J.‑C. Bajard, J. Eynard, F. Gandino : “Fault Detection in RNS Montgomery Modular Multiplication”, 21^st IEEE Symposium on Computer Arithmetic, Austin, United States, pp. 119-126 [Bajard 2013a]
G. Ballot, J.‑D. Kant, O. Goudet : “A multi-agent model of the French Labor Market : WORKSIM”, WEHIA 2013 - 18^th Annual Workshop on Economic Science with Heterogeneous Interacting Agents, Reykjavik, Iceland [Ballot 2013a]
G. Ballot, J.‑D. Kant, O. Goudet : “Modeling both sides of the French labor market with adaptive agents under bounded rationality *”, The 25^th Annual Conference of the EAEPE (European Association for Evolutionary Political Economy), Bobigny, France [Ballot 2013b]
G. Ballot, J.‑D. Kant, O. Goudet : “WorkSim : un simulateur multi-agents du marché du travail français”, Journées Expériences et perspectives de la microsimulation, JEM 2014, Montreuil, France [Ballot 2013c]
G. Ballot, J.‑D. Kant, O. Goudet : “WorkSim, un simulateur multi-agents du marché du travail français”, MAGECO (Modèles basés Agents en Economie) 2013, Paris, France [Ballot 2013d]
N. Bame, H. Naacke, I. Sarr, S. Ndiaye : “Traitement décentralisé de requêtes de biodiversité”, Colloque National sur la Recherche en Informatique et ses Applications, CNRIA 2013, Ziguinchor, Senegal, pp. 8 [Bame 2013]
E. Bampas, A. Lamani, F. Petit, M. Valero : “Self-Stabilizing Balancing Algorithm for Containment-Based Trees”, 15^th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2013, vol. 8255, Lecture Notes in Computer Science, Osaka, Japan, pp. 191-205, (Springer Berlin / Heidelberg) [Bampas 2013]
E. Bampis, A. Kononov, D. Letsios, G. Lucarelli, I. Nemparis : “From Preemptive to Non-preemptive Speed-Scaling Scheduling”, 19^th Annual International Computing and Combinatorics Conference (COCOON 2013), vol. 7936, Lecture Notes in Computer Science, Hangzhou, China, pp. 134-146 [Bampis 2013a]
E. Bampis, A. Kononov, D. Letsios, G. Lucarelli, M. Sviridenko : “Energy efficient scheduling and routing via randomized rounding”, 33rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013), vol. 24, Leibniz International Proceedings in Informatics (LIPIcs), Guwahati, India, pp. 449-460 [Bampis 2013b]
E. Bampis, V. Chau, D. Letsios, G. Lucarelli, I. Milis : “Energy Minimization via a Primal-Dual Algorithm for a Convex Program”, 12^th International Symposium on Experimental Algorithms (SEA 2013), vol. 7933, Lecture Notes in Computer Science, Rome, Italy, pp. 366-377 [Bampis 2013d]
G. Barbu, A. Battistelllo, G. Dabosville, Ch. Giraud, G. Renault, S. Renner, R. Zeitoun : “Combined Attack on CRT-RSA. Why Public Verification Must Not Be Public?”, PKC 2013 - Public-Key Cryptography, vol. 7778, Lecture Notes in Computer Science, Nara, Japan, pp. 198-215, (Springer) [Barbu 2013]
O. Barrière, E. Lutton, P.‑H. Wuillemin, C. Baudrit, M. Sicard, N. Perrot : “Cooperative coevolution for agrifood process modeling”, EVOLVE- A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation, vol. 447, Studies in Computational Intelligence, Bourglinster, Luxembourg, pp. 247-287, (SPRINGER-VERLAG BERLIN) [Barrière 2013]
P. Bazargan Sabet, D. Le Dû : “Identifying Signal Correlations Using Discrete Event Simulation”, IEEE International New Circuits and Systems Conference, Paris, France, pp. 349-352 [Bazargan Sabet 2013]
N. Belhadj, N. Bahri, M. Ali Ben Ayed, Z. Marrakchi, H. Mehrez : “Data level parallelism for H264/AVC baseline intra-prediction chain on MPSoC”, 2013 10^th International Multi-Conference on Systems, Signals & Devices (SSD), Hammamet, Tunisia, (IEEE) [Belhadj 2013]
Ah. Ben Cheikh, M. Ayari, R. Langar, G. Pujolle, L. Azouz Saidane : “Optimized handover algorithm for two-tier macro-femto cellular LTE networks”, IEEE 9^th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 2013, Lyon, France, pp. 608-613, (IEEE) [Ben Cheikh 2013]
A. Ben Dhia, S. Ur Rehman, A. Blanchardon, L. Naviner, M. Benabdenbi, R. Chotin‑Avot, H. Mehrez, E. Amouri, Z. Marrakchi : “A Defect-tolerant Cluster in a Mesh SRAM-based FPGA”, International Conference on Field-Programmable Technology (FPT), Kyoto, Japan, pp. 434-437, (IEEE Computer Society) [Ben Dhia 2013b]
M. Benazouz, A. Munier‑Kordon : “Cyclo-static DataFlow Phases Scheduling Optimization for Buffer Sizes Minimization”, M-SCOPES '13, St. Goar, Germany, pp. 3-12, (ACM) [Benazouz 2013a]
M. Benazouz, A. Munier‑Kordon, Th. Hujsa, B. Bodin : “Liveness evaluation of a cyclo-static DataFlow graph”, The 50^th Annual Design Automation Conference, DAC 2013, Austin, United States, pp. 3:1-3:7, (ACM) [Benazouz 2013b]
B. Bérard, L. Millet, M. Gradinariu Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “Vérification formelle et robots mobiles”, 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), Pornic, France, pp. 1-4, (Nisse, Nicolas et Rousseau, Franck et Busnel, Yann) [Bérard 2013c]
B. Bérard, S. Haddad, A. Jovanovic, D. Lime : “Parametric Interrupt Timed Automata”, 7^th Workshop on Reachability Problems in Computational Models (RP'13), vol. 8169, Lecture Notes in Computer Science, Uppsala, Sweden, pp. 59-69, (Springer Berlin Heidelberg) [Bérard 2013g]
A. Beslic, R. Bendraou, J. Sopena, J.‑Y. Rigolet : “Towards a solution avoiding Vendor Lock-in to enable Migration Between Cloud Platforms”, MDHPCL 2013 - 2^nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing, Miami, Florida, United States, pp. 5-14 [Beslic 2013]
A. Beynier, S. Estivie : “Multiagent Distributed Resource Allocation under Uncertainty”, Modèles Formels de l'Interaction, Lille, France [Beynier 2013a]
A. Beynier, S. Estivie : “Optimizing distributed resource exchanges in multiagent systems under uncertainty”, Workshop on Distributed and Multi-Agent Planning (DMAP), ICAPS 2013, Rome, Italy, pp. 8-16 [Beynier 2013b]
I. Biskri, L. Rompré, Ch. Jouis, A. Achouri, S. Descoteaux, B. Amar Bensaber : “Seeking for High Level Lexical Association in Texts”, The Fourth International Conference on Computer Science and Its Applications, CIIA 2013, vol. 488, Studies in Computational Intelligence, Saida, Algeria, pp. 37-46, (Springer) [Biskri 2013]
J. Blazewicz, S. Kedad‑Sidhoum, F. Monna, G. Mounié, D. Trystram : “Preemptive scheduling of independent tasks on multi-cores with GPU”, ECCO XXVI: the 26^th European Chapter on Combinatorial Optimization, Paris, France [Blazewicz 2013]
L. Blin, J. Burman, N. Nisse : “Exclusive Graph Searching”, 21^st European Symposium on Algorithms (ESA 2013), vol. 8125, Lecture Notes in Computer Science, Sophia Antipolis, France, pp. 181-192, (Springer) [Blin 2013a]
L. Blin, S. Tixeuil : “Brief announcement: deterministic self-stabilizing leader election with O(log log n)-bits”, ACM Symposium on Principles of Distributed Computing, Montreal, Canada, pp. 125-127, (ACM) [Blin 2013c]
L. Blin, S. Tixeuil : “Compact Deterministic Self-stabilizing Leader Election - The Exponential Advantage of Being Talkative”, DISC 2013 - 27^th International Symposium on Distributed Computing, vol. 8205, Lecture Notes in Computer Science, Jerusalem, Israel, pp. 76-90, (Springer) [Blin 2013d]
E. Blokhina, D. Fournier‑Prunaret, P. Harte, D. Galayko, O. Feely : “Combined mechanical and circuit nonlinearities in electrostatic vibration energy harvesters”, Circuits and Systems (ISCAS), 2013 IEEE International Symposium on, Beijing, China, pp. paper id 1118 [Blokhina 2013a]
B. Bodin, A. Munier‑Kordon, B. Dupont De Dinechin : “Periodic Schedules for Cyclo-Static Dataflow”, 11^th IEEE Symposium on Embedded Systems For Real-time Multimedia (ESTIMedia 2013), Montreal, Canada, pp. 105-114 [Bodin 2013]
O. Bodini, A. Genitrini, F. Peschanski : “The Combinatorics of Non-determinism”, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 24, Leibniz International Proceedings in Informatics, Guwahati, India, pp. 425-436 [Bodini 2013]
J. Bollati, A. Busic, E. Hyon : “Calcul effectif des niveaux critiques dans un modèle de gestion de stock stochastique”, ROADEF 2013 - 14ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Troyes, France [Bollati 2013]
X. Bonnaire, R. Cortes, F. Kordon, O. Marin : “A Scalable Architecture for Highly Reliable Certification”, TrustCom'2013 - IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Melbourne, Australia, pp. 328-335, (IEEE) [Bonnaire 2013]
S. Borne, P. Fouilhoux, R. Grappe, M. Lacroix, P. Pesneau : “Circuit and bond polytopes in series-parallel graphs”, JPOC8 - 8èmes Journées Polyèdres et Optimisation Combinatoire, Clermont-Ferrand, France [Borne 2013]
F. Borzee, V. Mousseau, M. Pirlot, X. Siebert, P. Viappiani : “Bayesian Recommendations and Utility Elicitation with Intensity of Preference Statements”, European Conference on Operational Research, EURO 2013, Preference Learning stream, Rome, Italy [Borzee 2013]
Th. Bourgeau, T. Friedman : “Efficient IP-level network topology capture”, Passive and Active Measurement Conference (PAM), vol. 7799, Lecture Notes in Computer Science, Hong Kong, Hong Kong, pp. 11-20, (Springer) [Bourgeau 2013b]
N. Bourgeois, A. Giannakos, G. Lucarelli, I. Milis, Vangelis Th. Paschos : “Exact and approximation algorithms for DENSEST k-SUBGRAPH”, 7^th International Workshop on Algorithms and Computation (WALCOM 2013), vol. 7748, Lecture Notes in Computer Science, Kharagpur, India, pp. 114-125, (Springer) [Bourgeois 2013]
M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “Efficient Abstractions for GPGPU Programming”, International Symposium on High-level Parallel Programming and Applications, Paris, France [Bourgoin 2013a]
M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “High-Performance GPGPU Programming with OCaml”, The OCaml Users and Developers Workshop, Boston, MA, United States [Bourgoin 2013b]
M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “Retour d'expérience : portage d'une application haute-performance vers un langage de haut niveau”, Compas'13, Grenoble, France, pp. 8 [Bourgoin 2013c]
Z. Bouzid, C. Travers : “Parallel Consensus is Harder than Set Agreement in Message Passing”, ICDCS, Philadelphia, PA, United States, pp. 611-620, (IEEE) [Bouzid 2013a]
Z. Bouzid, Sh. Das, S. Tixeuil : “Gathering of Mobile Robots Tolerating Multiple Crash Faults”, International Conference on Distributed Computing Systems, Philadelphia, United States, pp. 337-346, (IEEE) [Bouzid 2013b]
J. Brajard, P. LI, F. Jézéquel, H.‑S. Benavidès Pinjosovsky, S. Thiria : “Numerical Validation of Data Assimilation Codes Generated by the YAO Software”, SIAM Annual Meeting, San Diego, CA, United States [Brajard 2013]
N. Brisebarre, M. Mezzarobba, J.‑M. Muller, Ch. Lauter : “Comparison between binary64 and decimal64 floating-point numbers”, 21^st IEEE Symposium on Computer Arithmetic, Austin, TX, United States, pp. 145-152, (IEEE Computer Society) [Brisebarre 2013]
Y.‑D. Bromberg, F. Morandat, L. Réveillère, G. Thomas : “EZ: Towards Efficient Asynchronous Protocol Gateway Construction”, Distributed Applications and Interoperable Systems, vol. 7891, Lecture Notes in Computer Science, Florence, Italy, pp. 169-174, (Springer) [Bromberg 2013]
R. Busa‑Fekete, B. Szörényi, P. Weng, W. Cheng, E. Hullermeier : “Preference-based Evolutionary Direct Policy Search”, ICRA Autonomous Learning Workshop, Karlsruhe, Germany [Busa-Fekete 2013a]
R. Busa‑Fekete, B. Szörényi, P. Weng, W. Cheng, E. Hullermeier : “Top-k Selection based on Adaptive Sampling of Noisy Preferences”, International Conference on Machine Learning, Atlanta, Georgia, United States, pp. 1094-1102 [Busa-Fekete 2013b]
E. BUYUKKAYA, M. ABDALLAH : “A Twofold Approach to Object and Avatar Data Management in P2P-Based Virtual Environments”, IEEE ICME Workshop on Networking Issues in Multimedia Entertainment (NIME), San Jose, CA, United States, pp. 1-7, (IEEE) [BUYUKKAYA 2013a]
E. BUYUKKAYA, M. ABDALLAH : “Routing over Relaxed Triangulation Structures for P2P-based Virtual Environments”, The 27^th International Conference on Advanced Information Networking and Applications Workshops, WAINA'13, Barcelona, Spain, pp. 1167-1173, (IEEE) [BUYUKKAYA 2013b]
H. Calandra, R. Dolbeau, P. Fortin, J.‑L. Lamotte, I. Said : “Evaluation of Successive CPUs/APUs/GPUs Based on an OpenCL Finite Difference Stencil”, 21^st Euromicro International Conference Parallel, Distributed and Network-Based Processing, PDP 2013, Belfast, United Kingdom, pp. 405-409, (IEEE) [Calandra 2013]
S. Campano, N. Sabouret, E. De Sevin, V. Corruble : “An Evaluation of the COR-E Computational Model for Affective Behaviors”, Proceedings of the 12^th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), Saint-Paul, Minnesota, United States [Campano 2013b]
B. Canou, E. Chailloux, V. Balat : “A declarative-friendly API for Web document manipulation”, International Symposium on Practical Aspects of Declarative Languages (PADL 2013), vol. 7752, Lecture Notes in Computer Science, Rome, Italy, pp. 109-124, (Springer) [Canou 2013a]
B. Canou, E. Chailloux, V. Botbol : “Static Typing and JavaScript Libraries: Towards a More Considerate Relationship”, International World Wide Web Conference, dev track, Rio de Janeiro, Brazil, pp. 15-17 [Canou 2013b]
Y. Carlinet, Th. Huynh, B. Kauffmann, F. Mathieu, L. Noirie, S. Tixeuil : “Contenu généré par les utilisateurs : une étude sur DailyMotion”, 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), Pornic, France, pp. 1-4 [Carlinet 2013]
Th. Carron, F. Kordon, J.‑M. Labat, I. Mounier, A. Yessad : “Toward Improvement of Serious Game Reliability”, 7^th European Conference on Games Based Learning, vol. 2, Porto, Portugal, pp. 80-87, (Academic Conferences and Publishing International) [Carron 2013a]
Th. Carron, Ph. Pernelle, J.‑M. Heraud, A. Yessad : “Vérification de scénarios complexes issus du processus de ludification ("gamification") dans les jeux sérieux”, Rencontres interdisciplinaires sur les systèmes complexes naturels et artificiels, Thème: la preuve et ses moyens., Rochebrune, France, pp. 1-12(inpress), (Les chemins de tr@verse) [Carron 2013c]
Th. Carron, Ph. Pernelle, S. Talbot : “Issues of Learning Games: From Virtual to Real”, International Conference on Cognition and Exploratory Learning in Digital Age, CELDA 2013, Fort Worth, Texas, United States, pp. 133-140, (IADIS) [Carron 2013d]
J. Chae, P. Mougeat, J.‑A. Francois, R. Chotin‑Avot, H. Mehrez : “Formalisme de la spécification de la plateforme de conception pour le développement de la bibliothèque”, Journees Nationales du Reseau Doctoral de Micro-electronique, Grenoble, France, pp. 1-4 [Chae 2013a]
J. Chae, S. Bertrand, P.‑F. Ollagnon, P. Mougeat, J.‑A. Francois, R. Chotin‑Avot, H. Mehrez : “Efficient State-Dependent Power Model for Multi-bit Flip-Flop Banks”, IEEE International Midwest Symposium on Circuits and Systems, Columbus, United States, pp. 461-464, (IEEE) [Chae 2013b]
Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “A Higher-order Agent Model for Ambient Systems”, The 4^th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013), vol. 21, Procedia Computer Science, Niagara Falls, Ontario, Canada, pp. 156-163 [Chaouche 2013]
Ph. Chrétienne, S. Deleplanque, A. Quilliot : “A Multi-Machine Scheduling Problem with Global Non Idling Constraint”, 7^th IFAC Conference on Manufacturing Modelling, Management, and Control, vol. 46 (9), IFAC Proceedings Volumes, Saint Petersburg, Russian Federation, pp. 1262-1267, (Elsevier) [Chrétienne 2013]
M. Cisse, N. Usunier, Th. Artières, P. Gallinari : “Robust Bloom Filters for Large MultiLabel Classification Tasks”, Advances in Neural Information Processing Systems 26, Lake Tahoe, United States, pp. 1851-1859 [Cisse 2013]
A. Clementi, P. Crescenzi, C. Doerr, P. Fraigniaud, M. Isopi, A. Panconesi, F. Pasquale, R. Silvestri : “Rumor Spreading in Random Evolving Graphs”, Algorithms – ESA 2013, vol. 8125, Lecture Notes in Computer Science, Sophia Antipolis, France, pp. 325-336, (Springer) [Clementi 2013]
M. Colange, S. Baarir, F. Kordon, Y. Thierry‑Mieg : “Towards Distributed Software Model-Checking using Decision Diagrams”, 25^th International Conference on Computer Aided Verification (CAV), vol. 8044, Lecture Notes in Computer Science, Saint-Petersbourg, Russian Federation, pp. 830-845, (Springer Verlag) [Colange 2013]
D. Cornaz, L. Galand, O. Spanjaard : “Kemeny Elections with Bounded Single-peaked or Single-crossing Width”, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, pp. 76-82 [Cornaz 2013a]
F. Cottone, Ph. Basset, R. Guillemet, D. Galayko, F. Marty, T. Bourouina : “Bistable multiple-mass elecrostatic generator for low-frequency vibration energy harvesting”, Micro Electro Mechanical Systems (MEMS), 2013 IEEE 26^th International Conference on, taipei, Taiwan, Province of China [Cottone 2013a]
F. Cottone, Ph. Basset, R. Guillemet, D. Galayko, F. Marty, T. Bourouina : “Non-linear MEMS electrostatic kinetic energy harvester with a tunable multistable potential for stochastic vibrations”, Solid-State Sensors, Actuators and Microsystems (TRANSDUCERS & EUROSENSORS XXVII), 2013 Transducers & Eurosensors XXVII: The 17^th International Conference on, barcelona, Spain [Cottone 2013b]
P. COUCHENEY, E. Hyon, J.‑M. Kelif : “Mobile Association Problem in Heterogenous Wireless Networks with mobility”, IEEE 24^th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2013, London, United Kingdom, pp. 3129-3133, (IEEE) [COUCHENEY 2013]
M. Coudron, S. Secci, G. Maier, G. Pujolle, A. Pattavina : “Boosting Cloud Communications Through A Crosslayer Multipath Protocol Architecture”, 2013 Worskshop on Software Defined Networks for Future Networking Services, SDN4FNS 2013, Trento, Italy, pp. 1-8, (IEEE) [Coudron 2013a]
M. Coudron, S. Secci, G. Pujolle, P. Raad, P. Gallard : “Cross-layer Cooperation to Boost Multipath TCP Performance in Cloud Networks”, 2013 IEEE Int. Conference in Cloud Networking (IEEE CloudNet 2013), San Francisco, CA, United States, pp. 58-66, (IEEE) [Coudron 2013c]
É. Coupechoux, F. Tarissan : “Un modèle pour les graphes bipartis aléatoires avec redondance”, Actes de Modèle & Analyse de réseaux : Approches mathématique & informatiques 2013, Saint-Etienne, France [Coupechoux 2013]
A. Cournier, S. Dubois, A. Lamani, F. Petit, V. Villain : “Acheminement de messages instantanément stabilisant pour arbres couvrants”, 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), Pornic, France, pp. 1-4 [Cournier 2013a]
B. Dab, I. Fajjari, N. Aitsaadi, G. Pujolle : “VNR-GA: Elastic Virtual Network Reconfiguration Algorithm Based on Genetic Metaheuristic”, the IEEE Global Communications Conference (GLOBECOM), Atlanta, United States, pp. 2300-2306 [Dab 2013]
M. Danisch, J.‑L. GUILLAUME, B. Le Grand : “Déplier les structures communautaires egocentrées - une approche à base de similarité”, Actes de l'atelier Fouille de Grands Graphes - EGC, Toulouse, France [Danisch 2013a]
M. Danisch, J.‑L. GUILLAUME, B. Le Grand : “Une approche à base de proximité pour la détection de communautés egocentrées”, 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), Portnic, France, pp. 1-4 [Danisch 2013c]
M. Danisch, J.‑L. GUILLAUME, B. Le Grand : “Unfolding ego-centered community structures with "a similarity approach"”, Proceedings of the 4^th Workshop on Complex Networks CompleNet 2013, vol. 476, Studies in Computational Intelligence, Berlin, Germany, pp. 145-153, (Springer) [Danisch 2013d]
A. Datta, A. Lamani, L. Larmore, F. Petit : “Brief Announcement: Ring Exploration by Oblivious Robots With Vision Limited to 2 or 3”, 15^th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2013, vol. 8255, Lecture Notes in Computer Science, Osaka, Japan, pp. 363-366, (Springer Berlin / Heidelberg) [Datta 2013a]
A. Datta, A. Lamani, L. Larmore, F. Petit : “Ring Exploration by Oblivious Agents with Local Vision”, 33rd International Conference on Distributed Computing (ICDCS), Philadelphia, United States, pp. 347-356 [Datta 2013b]
A. Datta, A. Lamani, L. Larmore, F. Petit : “Ring Exploration with Oblivious Myopic Robots”, SAFECOMP 2013 - Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32^nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, pp. 335-342 [Datta 2013c]
A. Datta, S. Devismes, L. Larmore, S. Tixeuil : “Fast Leader (Full) Recovery Despite Dynamic Faults”, International Conference on Distributed Computing and Networking, vol. 7730, Lecture Notes in Computer Science, Mumbai, India, pp. 428-433, (Springer) [Datta 2013d]
F. David : “Profiler dynamique de contention pour les verrous des applications Java”, ComPAS, Grenoble, France [David 2013]
F. Delbot, Ch. Laforest, R. Phan : “New Approximation Algorithms for the Vertex Cover Problem”, 24^th International Workshop, IWOCA 2013, vol. 8288, Lecture Notes in Computer Science, Rouen, France, pp. 438-442, (Springer Berlin Heidelberg) [Delbot 2013]
J.‑M. Delosme, Th. Hujsa, A. Munier‑Kordon : “Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems”, 13^th International Conference of Application of Concurrency to System Design (ACSD 2013), Barcelona, Spain, pp. 90-99, (IEEE) [Delosme 2013]
R. Demangeon, R. Hu, R. Neykova, N. Yoshida : “Practical interruptible conversations: Distributed Dynamic Veriﬁcation with Session Types and Python”, 4^th International Conference, RV 2013, vol. 8174, Lecture Notes in Computer Science, Rennes, France, pp. 130-148, (Springer Berlin Heidelberg) [Demangeon 2013]
J.‑P. Desclés, A. Pascu, Ch. Jouis : “The Logic of Typical and Atypical Instances (LTA)”, Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS13, Miami, United States, pp. 321-326, (AAAI Press) [Desclés 2013]
M. Detyniecki, B. Bouchon‑Meunier, B. Moubêche : “Modus Ponens Généralisé avec contrôle d'applicabilité de la règle”, Rencontres Francophones sur la Logique Floue et ses Applications - LFA'2013, Reims, France [Detyniecki 2013b]
L. Di Cioccio, R. Teixeira, C. Rosenberg : “Measuring Home Networks with HomeNet Profiler”, Passive and Active Measurement Conference, vol. 7799, Lecture Notes in Computer Science, Hong Kong, Hong Kong, pp. 176-186, (Springer) [Di Cioccio 2013]
R. Diaconu, J. Keller : “Kiwano: A scalable distributed infrastructure for virtual worlds”, HPCS, Helsinki, Finland, pp. 664-667 [Diaconu 2013a]
R. Diaconu, J. Keller, M. Valero : “Manycraft: Scaling Minecraft to Millions”, NetGames, Denver, United States, pp. 1-6 [Diaconu 2013b]
Y. Ding, C. Pelachaud, Th. Artières : “Modeling Multimodal Behaviors from Speech Prosody”, Intelligent Virtual Agents, vol. 8108, Lecture Notes in Computer Science, Edinburgh, United Kingdom, pp. 217-228, (Springer) [Ding 2013a]
Y. Ding, M. Radenen, Th. Artières, C. Pelachaud : “Speech-driven eyebrow motion synthesis with contextual Markovian models”, IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2013, Vancouver, Canada, pp. 3756-3760, (IEEE) [Ding 2013b]
C. Doerr, Jens M. Schmidt, G. Ramakrishna : “Computing Minimum Cycle Bases in Weighted Partial 2-Trees in Linear Time”, Graph-Theoretic Concepts in Computer Science, 39^th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers, vol. 8165, Lecture Notes in Computer Science, Luebeck, Germany, pp. 225-236 [Doerr 2013]
A. Drogoul, E. Amouroux, Ph. Caillou, B. Gaudou, A. Grignard, N. Marilleau, P. Taillandier, M. Vavasseur, D.‑A. Vo, J.‑D. Zucker : “GAMA: multi-level and complex environment for agent-based models and simulations”, AAMAS '13 : Proceedings of the 12^th International Conference on Autonomous agents and multi-agent systems, Sain-Paul, United States, pp. 1361-1362, (IFAAMAS : International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC), (ISBN: 978-1-4503-1993-5) [Drogoul 2013]
W. Dron, Kh. HACHICHA, P. Garda : “A Fixed Frequency Sampling Method for Wireless Sensors Power Consumption Estimation”, New Circuits and Systems Conference (NEWCAS), 2013 IEEE 11^th International, Paris, France, pp. 1-4, (IEEE Press) [Dron 2013]
A. Dudka, D. Galayko, Ph. Basset : “IC design of an adaptive high-voltage electrostatic vibration energy harvester”, Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP), 2013 Symposium on, Barcelona, Spain [Dudka 2013a]
A. Dudka, Ph. Basset, F. Cottone, E. Blokhina, D. Galayko : “Wideband Electrostatic Vibration Energy Harvester (e-VEH) Having a Low Start-Up Voltage Employing a High-Voltage Integrated Interface”, The 13^th International Conference on Micro and Nanotechnology for Power Generation and Energy Conversion Applications (PowerMEMS 2013), vol. 476, Journal of Physics: Conference Series, London, United Kingdom, pp. 012127, (IOS Publishing) [Dudka 2013b]
Th. Durand, N. Thome, M. Cord, S. Avila : “Image classification using object detectors”, ICIP 2013 : IEEE International Conference on Image Processing, Melbourne, Australia, pp. 4340-4344 [Durand 2013]
Ch. Dürr, F. Guíñez : “The Wide Partition Conjecture and the Atom Problem in Discrete Tomography”, The VII Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS), vol. 44, Electronic Notes in Discrete Mathematics, Playa del Carmen, Mexico, pp. 351-356 [Dürr 2013a]
Ch. Dürr, Ł. Jeż, O. Vasquez Perez : “Mechanism design for aggregating energy consumption and quality of service in speed scaling scheduling”, WINE 2013: The 9^th Conference on Web and Internet Economics, vol. 8289, Lecture Notes in Computer Science, Cambridge, MA, United States, pp. 134-145, (Springer) [Dürr 2013c]
Ch. Eder, B. Roune : “Signature Rewriting in Gröbner Basis Computation”, ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Boston, United States, pp. 331-338, (ACM) [Eder 2013c]
B. Escoffier, J. Monnot, F. Pascual, O. Spanjaard : “Algorithmes à véracité garantie pour des problèmes de b-couplage dans un graphe biparti”, 14ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, ROADEF 2013, Troyes, France [Escoffier 2013a]
B. Escoffier, J. Monnot, F. Pascual, O. Spanjaard : “Truthful many-to-many assignment with private weights”, 8^th International Conference on Algorithms and Complexity (CIAC 2013), vol. 7878, Lecture Notes in Computer Science, Barcelona, Spain, pp. 209-220, (Springer) [Escoffier 2013b]
I. Fajjari, N. Aitsaadi, G. Pujolle : “Cloud Networking: An Overview of Virtual Network Embedding Strategies”, Global Information Infrastructure Symposium, 2013, Trento, Italy, pp. 1-7, (IEEE) [Fajjari 2013a]
I. Fajjari, N. Aitsaadi, G. Pujolle, H. Zimmermann : “An optimised dynamic resource allocation algorithm for Cloud's backbone network”, 2012 IEEE 37^th Conference on Local Computer Networks (LCN 2012), Clearwater Beach, Florida, United States, (IEEE) [Fajjari 2013b]
A. Fakeri‑Tabrizi, M.‑R. Amini, P. Gallinari : “Multiview Semi-Supervised Ranking for Automatic Image Annotation”, ACM International Conference on Multimedia, Barcelone, Spain, pp. 513-516, (ACM) [Fakeri-Tabrizi 2013]
I. Fall, R. Bendraou, M.‑P. Gervais, X. Blanc : “Towards a Full Specification and Use of Overlap Relationships between Work Products in MDE Software Processes”, 22^nd International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2013, Hammamet, Tunisia, pp. 209-217, (IEEE) [Fall 2013]
N. Fallahi, B. Bonakdarpour, S. Tixeuil : “Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking”, International Symposium on Reliable Distributed Systems, Braga, Portugal, pp. 153-162, (IEEE) [Fallahi 2013]
J.‑Ch. Faugère, J. Svartz : “Gröbner Bases of Ideals Invariant under a Commutative Group: the Non-Modular Case”, Proceedings of the 38^th International Symposium on Symbolic and Algebraic Computation, ISSAC '13, Boston, United States, pp. 347-354, (ACM) [Faugère 2013a]
J.‑Ch. Faugère, M. Safey El Din, Th. Verron : “On the Complexity of Computing Gröbner Bases for Quasi-homogeneous Systems”, ISSAC '13 : Proceedings of the 38^th International Symposium on Symbolic and Algebraic Computation, Boston, Maine, United States, pp. 189-196, (ACM) [Faugère 2013c]
A. Faure De Pebeyre, F. Tarissan, J. Sopena : “Évaluation du modèle évolutif par arête-markovienne pour reproduire la dynamique des réseaux mobiles”, 4ème Journées Modèles et l’Analyse des Réseaux : Approches Mathématiques et Informatique (MARAMI'13), Saint-Etienne, France, pp. 1-12 [Faure De Pebeyre 2013a]
A. Faure De Pebeyre, F. Tarissan, J. Sopena : “On the relevance of the edge-Markovian evolving graph model for real mobile networks”, Proceedings of the IFIP Wireless Days conference, Valence, Spain, pp. 1-6, (IEEE) [Faure De Pebeyre 2013b]
P. Fouilhoux, A. Questel : “Générer des colonnes par Branch-and-Cut: application au problème de couverture d'un graphe par des anneaux-étoiles”, Journées Polyèdres et Optimisation Combinatoire, JPOC8, Clermont-Ferrand, France [Fouilhoux 2013a]
P. Fouilhoux, A. Questel, S. Loyal : “Générer des colonnes par un algorithme de branch‐and‐cut : application au problème de couverture par des anneaux‐étoiles multi‐dépôts”, 14ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2013), Troyes, France [Fouilhoux 2013b]
J. Françoise, I. Lallemand, Th. Artières, F. Bevilacqua, N. Schnell, D. Schwarz : “Perspectives pour l'apprentissage interactif du couplage geste-son”, Journées d'Informatique Musicale (JIM 2013), PARIS, France, pp. 77-84 [Françoise 2013]
D. Fujimoto, N. Miura, M. Nagata, Y. Hayashi, N. Homma, Y. Hori, T. Katashita, K. Sakiyama, Th. Le, J. Bringer, P. Bazargan Sabet, J.‑L. Danger : “On-Chip Power Noise Measurements of Cryptographic VLSI Circuits and Interpretation for Side-Channel Analysis”, International Symposium on Electromagnetic Compatibility (EMC Europe), Brugge, Belgium, pp. 405-410, (IEEE) [Fujimoto 2013]
L. Galand, A. Ismaili, P. Perny, O. Spanjaard : “Bidirectional Preference-based Search for Multiobjective State Space Graph Problems”, Proceedings of the 6^th Annual Symposium on Combinatorial Search (SoCS 2013), Leavenworth, Washington, United States, pp. 80-88 [Galand 2013a]
L. Galand, A. Ismaili, P. Perny, O. Spanjaard : “Bidirectional versus Unidirectional Heuristic Search for Multiojective Optimization in State Space Graphs”, 22^nd International Conference on Multiple Criteria Decision Making (MCDM 2013), Malaga, Spain [Galand 2013b]
L. Galand, J. Lesca, P. Perny : “Dominance Rules for the Choquet Integral in Multiobjective Dynamic Programming”, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, pp. 538-544 [Galand 2013c]
L. Galand, Th. Lust : “Two phase method for Lorenz dominance in biobjective combinatorial optimization”, 26^th European Conference on Operational Research (EURO 2013), Rome, Italy [Galand 2013d]
D. Galayko, E. Blokhina : “Nonlinear effects in electrostatic vibration energy harvesters: Current progress and perspectives”, Circuits and Systems (ISCAS), 2013 IEEE International Symposium on, Beijing, China [Galayko 2013a]
D. Galayko, E. Blokhina, Ph. Basset, F. Cottone, A. Dudka, E. O'Riordan, O. Feely : “Tools for Analytical and Numerical Analysis of Electrostatic Vibration Energy Harvesters: Application to a Continuous Mode Conditioning Circuit”, Journal of Physics: Conference Series, London, United Kingdom, (IOP Publishing) [Galayko 2013b]
Ch. Gamom, E. Kiegaing, M. Mbouenda, B. Fotsin, B. Granado : “Hardware MPI-2 functions for multi-processing reconfigurable system on chip”, IEEE Reconfigurable Architecture Workshop, Boston, United States, pp. 273-280, (IEEE) [Gamom 2013]
Sh. Gao, L. Denoyer, P. Gallinari, J. Guo : “Latent factor blockmodel for modelling relational data”, 35^th European Conference on IR Research, ECIR 2013, vol. 7814, Lecture Notes in Computer Science, Moscou, Russian Federation, pp. 447-458, (Springer) [Gao 2013]
D. Genius : “Measuring Memory Latency for Software Objects in a NUMA System-on-Chip Architecture”, 8^th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip, ReCoSoC 2013, Darmstadt, Germany, pp. 1-8, (IEEE) [Genius 2013a]
C. Gicquel, M. Minoux : “A tight MILP formulation based on multi-product valid inequalities for a lot-sizing problem”, International Conference on Industrial Engineering and Systems Management, Rabat, Morocco, pp. 778, (ISBN: 978-2-9600532-4-1) [Gicquel 2013a]
C. Gicquel, M. Minoux : “Multi-product valid inequalities for the DLSP with sequence-dependent changeover costs”, International Workshop on Lot Sizing (ILWS 2013), Bruxelles, Belgium [Gicquel 2013b]
C. Gicquel, M. Minoux : “Une nouvelle famille d'inégalités valides pour un problème de dimensionnement de lots avec politique de production discrète”, 14e congrès de la Société française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2013), Troyes, France [Gicquel 2013c]
L. Gidra, G. Thomas, J. Sopena, M. Shapiro : “A study of the scalability of stop-the-world garbage collectors on multicores”, ASPLOS 13 - Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, Houston, United States, pp. 229-240, (ACM) [Gidra 2013]
O. Goga, H. Lei, S. Parthasarathi, G. Friedland, R. Sommer, R. Teixeira : “Exploiting Innocuous Activity for Correlating Users Across Sites”, The 22^nd International conference on World Wide Web, WWW'13, Rio de Janeiro, Brazil, pp. 447-458, (ACM) [Goga 2013]
H. Goh, N. Thome, M. Cord, J.‑H. Lim : “Top-Down Regularization of Deep Belief Networks”, Advances in Neural Information Processing Systems 26, Lake Tahoe, United States, pp. 1878-1886 [Goh 2013]
B. Grugeon, F. Chenevotot, E. Delozanne : “De la conception aux usages de ressources dédiées à l’enseignement différencié en algèbre élémentaire”, Séminaire national de Didactique des mathématiques, Paris, France [Grugeon 2013]
E. Guardia‑Sebaoun, A. Rafrafi, V. Guigue, P. Gallinari : “Cross-Media Sentiment Classification and Application to Box-Office Forecasting”, Proceedings of the 10^th Conference on Open Research Areas in Information Retrieval (OAIR '13), Lisbon, Portugal, pp. 201-208 [Guardia-Sebaoun 2013]
M. Güdemann, P. Poizat, G. Salaün, A. Dumont : “VerChor: A Framework for Verifying Choreographies”, Fundamental Approaches to Software Engineering 2013, vol. 7793, Lecture Note in Computer Science, Rome, Italy, pp. 226-230 [Güdemann 2013]
M. Gueye, T. Abdessalem, H. Naacke : “Factorisation multi-biais pour de meilleures recommandations”, 5ème COLLOQUE NATIONAL SUR LA RECHERCHE EN INFORMATIQUE ET SES APPLICATIONS (CNRIA '13), Ziguinchor, Senegal [Gueye 2013a]
M. Gueye, T. Abdessalem, H. Naacke : “FoldCons: A Simple Way To Improve Tag Recommendation”, 5^th ACM RecSys Workshop on Recommender Systems & the Social Web, vol. 1066, CEUR Workshop Proceedings, Hong Kong, Hong Kong, pp. session: tags, (CEUR) [Gueye 2013b]
M. Gueye, T. Abdessalem, H. Naacke : “STRec: An Improved Graph-based Tag Recommender”, 5^th ACM RecSys Workshop on Recommender Systems & the Social Web, vol. 1066, CEUR Workshop Proceedings, Hong Kong, Hong Kong, pp. session: tags, (CEUR) [Gueye 2013d]
M. Gueye, T. Abdessalem, H. Naacke : “Technique de factorisation multi-biais pour des recommandations dynamiques”, EGC 2013 - 13e Conférence Francophone sur l'Extraction et la Gestion des Connaissances, vol. RNTI-E-24, Revue des Nouvelles Technologies de l'Information, Toulouse, France, pp. 365-376 [Gueye 2013e]
J.‑L. GUILLAUME, R. CAMPIGOTTO, M. Seifi : “The Power of Consensus: Random Graphs Have No Communities”, IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2013, Niagara Falls, ON, Canada, pp. 272-276, (IEEE) [GUILLAUME 2013]
R. Guillemet, Ph. Basset, D. Galayko, F. Cottone, F. Marty, T. Bourouina : “Wideband MEMS electrostatic vibration energy harvesters based on gap-closing interdigited combs with a trapezoidal cross section”, Micro Electro Mechanical Systems (MEMS), 2013 IEEE 26^th International Conference on, Taipei, Taiwan, Province of China [Guillemet 2013]
Q. Guo, M. Safey El Din, L. Zhi : “Computing rational solutions of linear matrix inequalities”, ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Boston, United States [Guo 2013]
L. Guo : “Pinpoint the Offending Code in a Kernel Oops”, ComPAS, Grenoble, France [Guo 2013a]
E. Hadoux, A. Beynier, P. Weng : “Apprentissage de politique par minimisation de regret”, 14ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2013), Troyes, France [Hadoux 2013]
K. Harkouken, N. Sabouret, J.‑Y. Donnart : “An Ontology for Semantic Representation of an Urban Virtual Environment”, The International Conference on Artificial Intelligence, Las Vegas, United States [Harkouken 2013a]
O. Hazir, S. Kedad‑Sidhoum : “Batch Sizing and Just-In-Time Scheduling: Analysis of Some Special Cases”, 6^th Multidisciplinary International Scheduling Conference: Theory and Applications, MISTA 2013, Ghent, Belgium, pp. 757-761 [Hazir 2013]
K. Heydemann, N. Moro, E. Encrenaz, B. Robisson : “Formal verification of a software countermeasure against instruction skip attacks”, PROOFS 2013, Santa-Barbara, United States [Heydemann 2013]
S. Heymann, B. Le Grand : “Monitoring User-System Interactions through Graph-Based Intrinsic Dynamics Analysis”, 7^th IEEE International Conference on Research Challenges in Information Science, Paris, France, pp. 1-10, (IEEE) [Heymann 2013a]
S. Heymann, B. Le Grand : “Suivi de la Dynamique Intrinsèque des Interactions entre Utilisateur et SI”, Actes de la 31ème Congrès INFormatique des ORganisations et Systèmes d'Information et de Décision, Paris, France [Heymann 2013b]
S. Heymann, B. Le Grand : “Towards A Redefinition of Time in Information Networks?”, WebSci 2013 - 5^th Annual ACM Web Science Conference, Paris, France, pp. 158-161, (ACM) [Heymann 2013c]
S. Heymann, B. Le Grand : “Visual Analysis of Complex Networks for Business Intelligence with Gephi”, 1^st International Symposium on Visualisation and Business Intelligence, in conjunction with the 17^th International Conference Information Visualisation, London, United Kingdom, pp. 307-312, (IEEE) [Heymann 2013d]
Th. Hilaire, B. Lopez : “Reliable implementation of linear filters with fixed-point arithmetic”, Signal Processing Systems (SiPS), Taipei, Taiwan, Province of China, pp. 401-406 [Hilaire 2013]
M. Hkimi, R. Langar, S. Secci, R. Boutaba, G. Pujolle : “Demands Rescaling for Resource and Power Allocation in Cooperative Femtocell Networks”, Proc. of 2013 IEEE International Conference on Communications (ICC 2013), Budapest, Hungary, pp. 6235-6239, (IEEE) [Hkimi 2013]
H. Hoang‑Van, T. Miyoshi, O. Fourmaux : “P2PTV Traffic Localization by Deep Packet Inspection”, IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, Honolulu, HI, United States, pp. 375-380 [Hoang-Van 2013]
Sh. Hoët, N. Sabouret : “Un modèle de mémoire pour l'apprentissage de communication dans un SMA”, Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2013), Lille, France [Hoët 2013]
S. Hoteit, S. Secci, S. Sobolevsky, G. Pujolle, C. Ratti : “Do Mobile Phone Data Allow Estimating Real Human Trajectory?”, Conference on the Analysis of Mobile Phone Datasets (NetMob), Cambridge, United States, pp. 36-37 [Hoteit 2013b]
S. Hoteit, S. Secci, S. Sobolevsky, G. Pujolle, C. Ratti : “Estimating Real Human Trajectories through Mobile Phone Data”, MDM 2013 - 14^th IEEE International Conference on Mobile Data Management, Milan, Italy, pp. 148-153, (IEEE) [Hoteit 2013c]
M. Hourbracq, C. Baudrit, P.‑H. Wuillemin, S. Destercke : “Dynamic Credal Networks: introduction and use in robustness analysis”, Proceedings of the Eighth International Symposium on Imprecise Probability: Theories and Applications, Compiègne, France, pp. 159-169 [Hourbracq 2013]
R. Hu, J. Sopena, L. Arantes, P. Sens, I. Demeure : “Comparaisons équitables des algorithmes de gossip sur les topologies aléatoires à grande-échelle”, ComPAS'2013 - 9ème Conférence Française sur les Systèmes d'Exploitation (CFSE'13), Chapitre français de l'ACM-SIGOPS, GDR ARP, Grenoble, France [Hu 2013a]
R. Hu, J. Sopena, L. Arantes, P. Sens, I. Demeure : “Efficient Dissemination Algorithm for Scale-Free Topologies”, ICPP'13 - 42^th International Conference on Parallel Processing, Lyon, France, pp. 310-319, (IEEE Computer Society) [Hu 2013b]
A. Ismaili, E. Bampis, N. Maudet, P. Perny : “A study on the stability and efficiency of graphical games with unbounded treewidth”, Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems, Saint Paul, MN, United States, pp. 263-270 [Ismaili 2013]
T. Izumi, M. Potop‑Butucaru, M. Valero : “When Expanders Help Self-Healing Distributed R-Tree Overlays”, IEEE ISPDC 2013, IEEE 12^th International Symposium on Parallel and Distributed Computing, Bucarest, Romania, pp. 143-150 [Izumi 2013]
Y. Jacob, L. Denoyer, P. Gallinari : “Classification dans les graphes hétérogénes basée sur une représentation latente des noeuds”, CORIA 2013, Neuchâtel, Switzerland, pp. 85-100 [Jacob 2013]
M. Jaume, R. Andriatsimandefitra, V. Viet Triem Tong, L. Mé : “Secure states versus Secure executions: From access control to flow control”, ICISS 2013 - 9^th International Conference on Information Systems Security, vol. 8303, Lecture Notes in Computer Science, Calcutta, India, pp. 148-162, (Springer) [Jaume 2013]
F. Javid, R. Iskander, M.‑M. Louërat, F. Durbin : “A Structured DC Analysis Methodology for Accurate Verification of Analog Circuits”, IEEE International Symposium on Circuits and Systems (ISCAS), Beijing, China, pp. 2662-2665, (IEEE) [Javid 2013a]
V. Jeauneau, Ph. Chrétienne : “Minimizing the number of late jobs on parallel machines with alpha time windows”, 6^th Multidisciplinary International Scheduling Conference: Theory and Applications (MISTA 2013), Gent, Belgium [Jeauneau 2013]
F. Jézéquel, J.‑L. Lamotte, I. Said : “Validation numérique de codes scientifiques sur GPU”, Congrès SMAI, Biennale Française des Mathématiques Appliquées et Industrielles, mini-symposium ``Etapes vers la reproductibilité numérique des calculs'', Seignosse, France, pp. 178-179 [Jézéquel 2013a]
F. Jézéquel, J.‑L. Lamotte, O. Chubach : “Parallelization of Discrete Stochastic Arithmetic on multicore architectures”, 10^th International Conference on Information Technology: New Generations, ITNG 2013, Las Vegas, Nevada, United States, pp. 160-166, (IEEE) [Jézéquel 2013b]
H. Jiang, S. Graillat, R. Barrio : “Accurate and Fast Evaluation of Elementary Symmetric Functions”, 21^st IEEE Symposium on Computer Arithmetic, ARITH 2013, Austin, TX, United States, pp. 183-190, (IEEE) [Jiang 2013b]
L. Jiao, R. Friedman, X. Fu, S. Secci, Z. Smoreda, H. Tschofenig : “Challenges and Opportunities for Cloud-based Computation Offloading for Mobile Devices”, Future Network and Mobile Summit 2013, Lisbon, Portugal, pp. 1-11, (IEEE) [Jiao 2013]
H. Jones, J. Saunier : “Perception et émotions des conducteurs: une modélisation à base de règles floues (présentation courte).”, JFSMA 2013 - Journées Francophones sur les Systèmes Multi-Agents, Lille, France, pp. 115-124 [Jones 2013]
Ch. Jouis, M. Rahman, J.‑G. Ganascia : “Comparison between Defeasible Description Logics and neo-Topology to reason on ontologies with exceptions”, The Twenty-Sixth International FLAIRS Conference, St. Pete Beach, Florida, United States, pp. 309-314, (AAAI Press) [Jouis 2013]
A. Joux, C. Pierrot : “The Special Number Field Sieve in $\F _{p^{n}}$, Application to Pairing-Friendly Constructions”, 6^th International Conference on Pairing-based Cryptography, Pairing 2013, vol. 8365, Lecture Notes in Computer Science, Beijing, China, pp. 45-61, (Springer International Publishing) [Joux 2013]
M. Kchaou Boujelben, C. Gicquel, M. Minoux : “Conception d'un réseau logistique avec contraintes de volume minimum : une heuristique basée sur la relaxation linéaire”, 14ème Congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2013), Troyes, France [Kchaou Boujelben 2013]
S. Kchir, T. Ziadi, M. Ziane, S. Stinckwich : “A Top-Down Approach to Managing Variability in Robotics Algorithms.”, Proceedings of the Fourth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2013), Tokyo, Japan, pp. 6, (DSLRob13) [Kchir 2013]
S. Kedad‑Sidhoum, F. Monna, G. Mounié, D. Trystram : “Approximation Algorithms for a Scheduling Problem on Multi-Cores with GPUs”, 11^th workshop on Models and Algorithms for Planning and Scheduling Problems MAPSP, Pont-à-Mousson, France [Kedad-Sidhoum 2013]
Z. Khalfallah, I. Fajjari, N. Ait Saadi, R. Langar, G. Pujolle : “A new WSN deployment algorithm for water pollution monitoring in Amazon rainforest rivers”, Global Communications Conference (GLOBECOM), 2013 IEEE, Atlanta, GA, United States, pp. 267-273, (IEEE) [Khalfallah 2013]
R. Khefifi, P. Poizat, F. Saïs : “Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space”, 11^th International Conference on Service Oriented Computing, ICSOC 2013, vol. 8274, Lecture Notes in Computer Science, Berlin, Germany, pp. 575-583, (Springer) [Khefifi 2013a]
R. Khefifi, P. Poizat, F. Saïs : “Data-Flow Oriented Service Composition: AI-Planning or Petri Nets?”, 2^nd Workshop "From Open Sources to Web of Data" (SOS-DLWD 2013), Lille, France [Khefifi 2013b]
C. Khouri, F. Greve, S. Tixeuil : “Consensus with Unknown Participants in Shared Memory”, International Symposium on Reliable Distributed Systems, Braga, Portugal, pp. 51-60, (IEEE) [Khouri 2013]
S. Kirgizov : “Distribution multimodale de la taille du sous-graphe des plus courts chemins dans un graphe aléatoire”, Journées Graphes et Algorithmes (JGA), Orsay, France [Kirgizov 2013a]
S. Kirgizov, C. Magnien, F. Tarissan, A. Liu : “Studying the impact of measurement frequency on the IP-level routing topology dynamics”, Actes du Colloque sur le Traitement du Signal et des Images (GRETSI'13), Brest, France, pp. 1-4 [Kirgizov 2013b]
F. Kocak, G. Kesidis, T. Pham, S. Fdida : “The Effect of Caching on a Model of Content and Access Provider Revenues in Information-centric Networks”, SocialCom, Washington, DC, United States, pp. 45-50, (IEEE) [Kocak 2013b]
D. Kontarinis, A. Perotti, E. Bonzon, N. Maudet, L. Van Der Torre, S. Villata : “Using Rewriting Rules to Compute Successful Modifications of an Argumentation System”, Septièmes Journées d'Intelligence Artificielle Fondamentale, Aix-en-Provence, France, pp. 180-189 [Kontarinis 2013]
F. Kordon, X. Bonnaire, R. Cortes, O. Marin : “Verification of a Quasi certification Protocol over a DHT”, Dagstuhl Seminar "Formal Verification of Distributed Algorithms" n°13141, Dagstuhl, Germany [Kordon 2013h]
Y. Kouki, Th. Ledoux, D. Serrano, S. Bouchenak, J. Lejeune, L. Arantes, J. Sopena, P. Sens : “SLA et qualité de service pour le Cloud Computing”, Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013, Grenoble, France, pp. 1-11 [Kouki 2013]
F. KSONTINI, Z. Guessoum, R. Mandiau, S. Espie : “Using ego-centered affordances in multi-agent traffic simulation.”, 12^th International Conference on Autonomous Agents and Multiagent systems, AAMAS 2013, Saint Paul, Minnesota, United States, pp. 151-158 [KSONTINI 2013]
Ch. Kuoman Mamani, S. Tollari, M. Detyniecki : “Diversité hiérarchique et utilisation d'arbres de concepts pour la recherche d'images”, Conference en Recherche d'Information et Applications (CORIA 2013), Neuchâtel, Switzerland [Kuoman Mamani 2013a]
Ch. Kuoman Mamani, S. Tollari, M. Detyniecki : “UPMC at MediaEval 2013: Relevance by Text and Diversity by Visual Clustering”, MediaEval 2013 Multimedia Benchmark Workshop, vol. 1043, CEUR Workshop Proceedings, Barcelona, Spain, (CEUR-ws.org) [Kuoman Mamani 2013b]
Ch. Kuoman Mamani, S. Tollari, M. Detyniecki : “Using Tree of Concepts and Hierarchical Reordering for Diversity in Image Retrieval”, CBMI 2013 - 11^th International Workshop on Content-Based Multimedia Indexing, Veszprém, Hungary, pp. 251-256, (IEEE) [Kuoman Mamani 2013c]
O. Kupriianova, Ch. Lauter, J.‑M. Muller : “Radix conversion for IEEE754-2008 mixed radix floating-point arithmetic”, 2013 Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, United States, pp. 1134-1138 [Kupriianova 2013]
N. Labroche, M. Detyniecki, Th. Bärecke : “Accelerating one-pass clustering by cluster selection racing”, Proceedings of IEEE International Conference on Tools with Artificial Intelligence - ICTAI 2013, Washington DC, United States, pp. 491-498, (IEEE) [Labroche 2013]
R. Lage, L. Denoyer, P. Gallinari, P. Dolog : “Choosing which message to publish on social networks: A Contextual bandit approach”, IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2013, Niagara Falls, Ontario, Canada, pp. 620-627, (IEEE) [Lage 2013]
C. Lagnier, L. Denoyer, E. Gaussier, P. Gallinari : “Predicting Information Diffusion in Social Networks using Content and User's Profiles”, 35^th European Conference on IR Research, ECIR 2013, vol. 7814, Lecture Notes in Computer Science, Moscou, Russian Federation, pp. 74-85 [Lagnier 2013]
S. Lamprier, N. Baskiotis, T. Ziadi, L. Hillah : “CARE: a platform for reliable Comparison and Analysis of Reverse-Engineering techniques”, 18^th IEEE International Conference on Engineering of Complex Computer Systems -- ICECCS, Singapore, Singapore, pp. 252-255, (IEEE) [Lamprier 2013]
J. Lang, N. Maudet, M. Polukarov : “New Results on Equilibria in Strategic Candidacy”, 6^th International Symposium on Algorithmic Game Theory, SAGT 2013, vol. 8146, Lecture Notes in Computer Science, Aachen, Germany, pp. 13-25, (Springer) [Lang 2013]
Y. Laurent, R. Bendraou, M.‑P. Gervais : “Executing and debugging UML models: an fUML extension”, SAC'13 - The 28^th Annual ACM Symposium on Applied Computing, Coimbra, Portugal, pp. 1095-1102, (ACM) [Laurent 2013a]
Y. Laurent, R. Bendraou, M.‑P. Gervais : “Generation of Process Using Multi-Objective Genetic Algorithm”, International Conference on Software and System Process, ICSSP 2013, San Francisco, CA, United States, pp. 161-165, (ACM) [Laurent 2013b]
M. Law, N. Thome, M. Cord : “Quadruplet-Wise Image Similarity Learning”, IEEE International Conference on Computer Vision (ICCV), Sydney, Australia, pp. 249-256 [Law 2013]
J. Lejeune, L. Arantes, J. Sopena, P. Sens : “A prioritized distributed mutual exclusion algorithm balancing priority inversions and response time”, ICPP'13 - 42^th International Conference on Parallel Processing, Lyon, France, pp. 290-299, (IEEE Computer Society) [Lejeune 2013a]
J. Lejeune, L. Arantes, J. Sopena, P. Sens : “Un algorithme équitable d'exclusion mutuelle distribuée avec priorité”, 9ème Conférence Française sur les Systèmes d'Exploitation (CFSE'13), Chapitre français de l'ACM-SIGOPS, GDR ARP, Grenoble, France [Lejeune 2013b]
Y. Lepoittevin, D. Béréziat, I. Herlin, N. Mercier : “Continuous tracking of structures from an image sequence”, VISAPP - 8^th International Conference on Computer Vision Theory and Applications, Barcelone, Spain, pp. 386-389, (Springer Verlag) [Lepoittevin 2013a]
Y. Lepoittevin, I. Herlin, D. Béréziat : “Assimilation de données pour estimer le mouvement et suivre un objet”, ORASIS - Journées francophones des jeunes chercheurs en vision par ordinateur, Cluny, France [Lepoittevin 2013b]
Y. Lepoittevin, I. Herlin, D. Béréziat : “Continuous tracking of structures from an image sequence”, GDRE ConEDP Meeting 2013 - Modeling and control of systems: applications to nano-sciences, environment and energy, Grenoble, France [Lepoittevin 2013c]
Y. Lepoittevin, I. Herlin, D. Béréziat : “Object's tracking by advection of a distance map”, ICIP - IEEE International Conference on Image Processing, Melbourne, Australia, pp. 3612-3616, (IEEE) [Lepoittevin 2013d]
A. Lertsinsrubtavee, N. Malouch, S. Fdida, K. Kanchanasut : “Spectrum sharing and impact on spectrum handoff in multi-channel cognitive radio networks”, WoWMOM, Madrid, Spain, pp. 1-6, (IEEE) [Lertsinsrubtavee 2013b]
M.‑J. Lesot, G. Smits, O. Pivert : “Adequacy of a User-Defined Vocabulary to the Data Structure”, IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2013), Hyderabad, India, pp. 1-8, (IEEE) [Lesot 2013b]
M.‑J. Lesot, G. Smits, O. Pivert : “Mesures d'adéquation entre vocabulaire expert et structure de données”, Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2013), Reims, France, pp. 243-250 [Lesot 2013c]
K. Liu, B. Jabbari, S. Secci : “Generalized Multipath Load Sharing Using Vectorized Routing Model”, IEEE Global Communications Conference (IEEE GLOBECOM 2013), Atlanta, GA, United States, pp. 1507-1512, (IEEE) [Liu 2013]
M. Lorrillere, J. Sopena, S. Monnet, P. Sens : “Vers un cache réparti adapté au cloud computing”, Conférence d'informatique en Parallélisme, Architecture et Système (ComPAS'2013) - 9ème Conférence Française sur les Systèmes d'Exploitation (CFSE'13), Grenoble, France, pp. 1-12 [Lorrillere 2013]
G. Lozenguez, A.‑I. Mouaddib, A. Beynier, L. Adouane, Ph. Martinet : “Simultaneous Auctions for "Rendez-Vous" Coordination Phases in Multi-robot Multi-task Mission”, Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2013 IEEE/WIC/ACM International Joint Conferences on, Atlanta, United States, pp. 67-74, (IEEE) [Lozenguez 2013a]
G. Lozenguez, L. Adouane, A. Beynier, Ph. Martinet, A.‑I. Mouaddib : “Résolution approchée par décomposition de processus décisionnels de Markov appliquée à l'exploration en robotique mobile”, 8èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, JFPDA 2013, Lille, France [Lozenguez 2013b]
Th. Lust, A. Rolland : “Génération de l'ensemble des solutions Choquet-optimales de problèmes d'optimisation combinatoire multi-objectif”, 14ème congrès annuel de la société française de recherche opérationnelle et d'aide à la décision, ROADEF 2013, Troyes, France [Lust 2013b]
Th. Lust, A. Rolland : “Generation of the Choquet optimal set of multiobjective combinatorial optimization problems”, 22^nd International Conference on Multiple Criteria Decision Making, Malaga, Spain [Lust 2013c]
Th. Lust, A. Rolland : “On the Computation of Choquet Optimal Solutions in Multicriteria Decision Contexts”, 7^th International Workshop, MIWAI 2013, vol. 8271, Lecture Notes in Computer Science, Krabi, Thailand, pp. 131-142, (Springer Berlin Heidelberg) [Lust 2013d]
Th. Lust, D. Tuyttens : “Two-Phase Pareto Local Search to Solve the Biobjective Set Covering Problem”, Technologies and Applications of Artificial Intelligence (TAAI), Taipei, Taiwan, Province of China, pp. 397-402, (IEEE) [Lust 2013e]
J.‑Ch. Magnan, P.‑H. Wuillemin : “Improving Decision Diagrams for Decision Theoretic Planning”, The Twenty-Sixth International FLAIRS Conference, Palo Alto, California, United States, pp. 621-626, (The AAAI Press) [Magnan 2013]
A. Maran, N. Maudet, M. Pini, F. Rossi, K. Venable : “A Framework for Aggregating Influenced CP-nets and Its Resistance to Bribery”, Proceedings of the twenty-seventh AAAI conference (AAAI-2013), Bellevue, Washington, United States [Maran 2013]
I. Marfisi‑Schottman, J.‑M. Labat, Th. Carron : “Approche basée sur la méthode pédagogique des cas pour créer des Learning Games pertinents dans de nombreux domaines d'enseignement”, Environnements Informatiques pour l'Apprentissage Humain, EIAH'2013, Toulouse, France, pp. 67-78 [Marfisi-Schottman 2013a]
I. Marfisi‑Schottman, J.‑M. Labat, Th. Carron : “Building on the Case Teaching Method to Generate Learning Games Relevant to Numerous Educational Fields”, International Conference on Advanced Learning Technologies, ICALT, Beijing, China, pp. 156-160 [Marfisi-Schottman 2013b]
B. Marne, Th. Carron, J.‑M. Labat : “Modélisation des parcours pédago-ludiques pour l'adaptation des jeux sérieux”, 6e Conférence sur les Environnements Informatiques pour l'Apprentissage Humain, Toulouse, France, pp. 55-66, (IRIT Press 2013) [Marne 2013a]
B. Marne, Th. Carron, J.‑M. Labat, I. Marfisi‑Schottman : “MoPPLiq: A Model For Pedagogical Adaptation of Serious Game Scenarios”, 2013 IEEE 13^th International Conference on Advanced Learning Technologies (ICALT), Beijing, China, pp. 291-293, (IEEE Computer Society) [Marne 2013b]
Ch. Marsala : “Apprentissage flou en environnement dynamique”, Actes des 22e rencontres francophone sur la logique floue et ses applications (LFA 2013), Reims, France, pp. 7 [Marsala 2013a]
Ch. Marsala : “Fuzzy Decision Trees for Dynamic Data”, IEEE Symposium on Evolving and Adaptive Intelligent Systems - EAIS'2013, Singapore, Singapore, pp. 17-24, (IEEE) [Marsala 2013b]
Ch. Marsala, D. Petturiti : “Hierarchical Model for Rank Discrimination Measures”, Proceedings of 12^th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2013, vol. 7958, Lecture Notes in Computer Science, Utrecht, Netherlands, pp. 412-423, (Springer) [Marsala 2013c]
Ch. Marsala, D. Petturiti : “Monotone Classification with Decision Trees”, The 8^th conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2013, Advances in Intelligent Systems Research, Milan, Italy, pp. 810-817, (Atlantis Press) [Marsala 2013d]
Ch. Marsala, M. Rifqi : “Summarizing Fuzzy Decision Forest by subclass discovery”, IEEE International Conference on Fuzzy Systems, FUZZIEEE’2013, Hyderabad, India, pp. 1-6, (IEEE) [Marsala 2013e]
B. Martin, E. Sander, J.‑M. Labat, J.‑F. Richard : “STAR : Un outil permettant une intégration efficace de modèles cognitifs simples en EIAH”, Environnements Informatiques pour l'Apprentissage Humain, Toulouse, France, pp. 293-304 [Martin 2013]
J.‑Ch. Marty, Ph. Pernelle, Th. Carron : “Problématique d'awareness au sein d'un groupe d'apprenants dans des environnements basés sur le jeu”, EIAH - Atelier "Serious Games, jeux épistémiques numériques - Méthodologies de recherche pour l'étude des interactions, Toulouse, France, pp. 47-53 [Marty 2013a]
J.‑Ch. Marty, Th. Carron, S. Talbot, G. Houzet, Ph. Pernelle : “Integrating non-virtual Electronic activities in Game-Based Learning Environments”, 7^th European Conference on Games-Based Learning (ECGBL), Porto, Portugal, pp. 378-385 [Marty 2013b]
M. Marzouki : “Human Rights and Internet Surveillance: standards, principles and lines of actions”, 6^th European Dialogue on Internet Governance (EuroDIG), Lisbon, Portugal [Marzouki 2013a]
M. Marzouki : “Internet Governance and the Mutual Consolidation of Civil Society and IGOs roles.”, IAMCR 2013 Conference, Dublin, Ireland [Marzouki 2013b]
M. Marzouki : “New Digital Rights Advocacy as a Paradigm Shift in Global Human Rights”, The 7^th European Consortium for Political Research General Conference, Bordeaux, France [Marzouki 2013c]
M. Marzouki : “Presentation of the CoE Guide on Human Rights of Internet Users”, 8^th UN Internet Governance Forum Meeting, open forum on « Human Rights of Internet Users », Bali, Indonesia [Marzouki 2013d]
M. Marzouki : “Rights-Based Principles and the Internet: Taking Stock and Moving Forward”, UNESCO WSIS+10 Review Event « Towards Knowledge Societies for Peace and Sustainable Development » , Paris, France [Marzouki 2013e]
M. Marzouki : “Surveillance and transborder access to data: global and national dimensions”, 8^th UN Internet Governance Forum Meeting, plenary session on « Human Rights, Freedom of Expression and the Free Flow of Information on the Internet », Bali, Indonesia [Marzouki 2013f]
M. Marzouki : “The future of the multistakeholder model in Internet governance”, GigaNet workshop on “The Global Governance of the Internet: Intergovernmentalism, Multistakeholderism and Networks”, Geneva, Switzerland [Marzouki 2013g]
A. Maurer, S. Tixeuil : “A Scalable Byzantine Grid”, International Conference on Distributed Computing and Networking, vol. 7730, Lecture Notes in Computer Science, Mumbai, India, pp. 87-101, (Springer) [Maurer 2013a]
A. Maurer, S. Tixeuil : “Dependable Information Broadcast in Sparsely Connected Networks”, International Conference on Latin American Dependable Computing, LADC 2013, Rio de Janeiro, Brazil, pp. 31-39 [Maurer 2013b]
A. Maurer, S. Tixeuil : “Tolérer les fautes Byzantines dans les graphes planaires”, 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), Pornic, France, pp. 1-4 [Maurer 2013d]
R. Mazloum, M.‑O. Buob, J. Augé, B. Baynat, T. Friedman, D. Rossi : “On multi-exit routings and AS relationships”, ISMA 2013 - 5^th AIMS Workshop, San Diego, United States [Mazloum 2013]
M. Melucci, B. Piwowarski : “Quantum Mechanics and Information Retrieval: From Theory to Application”, 4^th International Conference on the Theory of Information Retrieval, ICTIR 2013, Copenhagen, Denmark [Melucci 2013]
K. MI, B. Zhang, H. Naacke, D. Stern, S. Gançarski : “DataTour: Location-based Datastore over a Community Cloud (prototype demonstration)”, 29ème Journées de Bases de Données avancées, BDA 2013, Nantes, France [MI 2013]
H. Mokrani, R. Ameur‑Boulifa, E. Encrenaz : “Assisting Refinement in System on Chip Design”, Forum on Specification and Design Languages, Paris, France, pp. 1-6, (IEEE) [Mokrani 2013]
S. Montan, J.‑M. Chesneaux, Ch. Denis, J.‑L. Lamotte : “Étude de la propagation des erreurs d’arrondi dans un code d’hydrodynamique parallèle”, Conférence d'informatique en Parallélisme, Architecture et Systeme, COMPAS 2013, Grenoble, France [Montan 2013]
N. Moro, A. Dehbaoui, K. Heydemann, B. Robisson, E. Encrenaz : “Electromagnetic fault injection on microcontrollers”, Chip-to-Cloud Security Forum 2013, Nice, France [Moro 2013a]
N. Moro, A. Dehbaoui, K. Heydemann, B. Robisson, E. Encrenaz : “Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller”, Proceedings of the 10^th workshop on Fault Diagnosis and Tolerance in Cryptography, Santa-Barbara, United States, pp. 77-88 [Moro 2013b]
Y. Moursy, S. Afara, P. Buccella, C. Stefanucci, R. Iskander, M. Kayal, J.‑M. Sallese, M.‑M. Louërat, J.‑P. Chaput, M. Thomas Tomasevic , S. Ben Dhia, A. Boyer, B. Guegan, V. Poletto, A. Roggero, T. Cavioni, E. Novarini, Eh. Seebacher, A. Steinmair, P. Tisserand, D.‑M. Ton, Th. Bousquet, Th. Gneiting : “AUTOMICS: A novel approach for substrate modeling for Automotive applications”, 18^th IEEE European Test Symposium, Avignon, France [Moursy 2013]
K. Moussa Ali Abdellatif, R. Chotin‑Avot, H. Mehrez : “High Speed Authenticated Encryption for Slow Changing Key Applications Using Reconfigurable Devices”, Wireless Days (WD), 2013 IFIP, Valencia, Spain, pp. 1-6 [Moussa Ali Abdellatif 2013a]
K. Moussa Ali Abdellatif, R. Chotin‑Avot, H. Mehrez : “Improved Method for Parallel AES-GCM Cores Using FPGAs”, ReConFig 2013 - International Conference on Reconfigurable Computing and FPGAs, Cancun, Mexico, pp. 1-4, (IEEE) [Moussa Ali Abdellatif 2013b]
K. Moussa Ali Abdellatif, R. Chotin‑Avot, H. Mehrez : “Lightweight and Compact Solutions for Secure Reconfiguration of FPGAs”, International Conference on Reconfigurable Computing and FPGAs, Cancun, Mexico, pp. 1-4, (IEEE) [Moussa Ali Abdellatif 2013c]
K. Moussa Ali Abdellatif, R. Chotin‑Avot, H. Mehrez : “Protecting FPGA Bitstreams Using Authenticated Encryption”, 11^th IEEE International Conference of New Circuits and Systems (NEWCAS), Paris, France, pp. 1-4, (IEEE) [Moussa Ali Abdellatif 2013d]
G. Moyse, M.‑J. Lesot, B. Bouchon‑Meunier : “Linguistic summaries for periodicity detection based on mathematical morphology”, IEEE Symposium Series on Computational Intelligence, Singapore, Singapore, pp. 106-113, (IEEE) [Moyse 2013a]
G. Moyse, M.‑J. Lesot, B. Bouchon‑Meunier : “Mathematical morphology tools to evaluate periodic linguistic summaries”, Flexible Query Answering Systems, vol. 8132, Lecture Notes in Computer Science, Granada, Spain, pp. 257-268, (Springer) [Moyse 2013b]
M. Najafzadeh, M. Shapiro, V. Balegas, N. Preguiça : “Improving the scalability of geo-replication with reservations”, DCC 2013 : Workshop on Distributed Cloud Computing, Dresden, Germany, pp. 441-445, (IEEE Computer Society) [Najafzadeh 2013]
D. Navalho, S. Duarte, N. Preguiça, M. Shapiro : “Incremental Stream Processing using Computational Conflict-free Replicated Data Types”, CloudDP '13 - 3rd International Workshop on Cloud Data and Platforms, Prague, Czechia, pp. 31-36, (ACM) [Navalho 2013]
L. Navarro, V. Corruble, F. Flacher, J.‑D. Zucker : “A Flexible Approach to Multi-Level Agent-Based Simulation with the Mesoscopic Representation”, 12^th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), Saint Paul, United States [Navarro 2013]
H. Nguyen, P. Poizat, F. Zaïdi : “Automatic Skeleton Generation for Data-Aware Service Choreographies”, 24^th IEEE International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, United States, pp. 320-329, (IEEE) [Nguyen 2013]
X. Nguyen, S. Dubuisson, Ch. Gonzales : “Hierarchical Annealed Particle Swarm Optimization for Articulated Object Tracking”, 15^th International Conference on Computer Analysis of Images and Patterns, CAIP 2013, vol. 8047, Lecture Notes in Computer Science, York, United Kingdom, pp. 319-326, (Springer) [Nguyen 2013]
V. Nguyen, P. Weng : “A primal-dual approach for optimizing Ordered Weighted Average in perfect matching problems”, International Conference on Multicriteria Decision Making, Malaga, Spain, pp. 88-88 [Nguyen 2013b]
V. Nguyen, P. Weng : “Optimisation non linéaire dans les problèmes de couplage”, 14ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2013), Troyes, France [Nguyen 2013c]
R. Nor, M. Nesterenko, S. Tixeuil : “Linearizing Peer-to-Peer Systems with Oracles”, International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 8255, Lecture Notes in Computer Science, Osaka, Japan, pp. 221-236, (Springer) [Nor 2013]
B. Ouattara, L. Doyen, D. Ney, H. Mehrez, P. Bazargan‑Sabet, F. Bana : “Redundancy Method to assess Electromigration Lifetime in power grid design”, IEEE International Interconnect Technology Conference (IITC),, Kyoto, Japan, pp. 81-83, (IEEE) [Ouattara 2013]
A. Oudni, M.‑J. Lesot, M. Rifqi : “Caractérisation de motifs graduels par des clauses du type "surtout si"”, 22èmes Rencontres Francophones sur la Logique Floue et ses Applications, LFA 2013, Reims, France [Oudni 2013a]
A. Oudni, M.‑J. Lesot, M. Rifqi : “Characterisation of gradual itemsets through " especially if " clauses based on mathematical morphology tools”, Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2013), Milan, Italy [Oudni 2013b]
A. Oudni, M.‑J. Lesot, M. Rifqi : “Processing Contradiction in Gradual Itemsets Extraction”, IEEE International Conference on Fuzzy Systems, FUZZIEEE’2013, Hyderabad, India, pp. 1-8, (IEEE) [Oudni 2013c]
W. Ouerdane, Ch. Labreuche, N. Maudet, V. Mousseau : “Justified decisions are better than simple ones: explaining preferences using even swap sequences.”, In 26^th European Conference on Operational Research, Rome, Italy [Ouerdane 2013]
V. Pan, E. Tsigaridas : “On the Boolean complexity of real root refinement”, ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Boston, United States, (ACM) [Pan 2013]
V. Pangracious, E. Amouri, H. Mehrez, Z. Marrakchi : “Physical Design Exploration of 3D Tree-based FPGA Architecture”, GLSVLSI'13 - The 23rd ACM international conference on Great lakes symposium on VLSI, Paris, France, pp. 335-336, (ACM) [Pangracious 2013a]
V. Pangracious, H. Mehrez, N. Beltaief, Z. Marrakchi, U. Farooq : “Exploration environment for 3D heterogeneous tree-based FPGA architectures (3D HT-FPGA)”, ReConFig 2013 - International Conference on Reconfigurable Computing and FPGAs, Cancun, Mexico, pp. 1-6, (IEEE) [Pangracious 2013b]
V. Pangracious, H. Mehrez, U. Farooq, Z. Marrakchi : “High Performance 3-Dimensional Heterogeneous Tree-based FPGA Architectures (HT-FPGA)”, FPGAworld'13 - The 10^th FPGAworld Conference, Stockholm, Sweden, pp. 3:1-3:6, (ACM) [Pangracious 2013c]
V. Pangracious, H. Mehrez, Z. Marrakchi : “Architecture Level TSV Count Minimization Methodology for 3D Tree-based FPGA”, Cool Chips XVI, Yokohama, Japan, pp. 1-3, (IEEE) [Pangracious 2013d]
V. Pangracious, H. Mehrez, Z. Marrakchi : “Designing 3D tree-based FPGA: Interconnect Optimization and Thermal Analysis”, NEWCAS'13 - IEEE 11^th International Conference on New Circuits and Systems, Paris, France, pp. 1-4, (IEEE) [Pangracious 2013e]
V. Pangracious, H. Mehrez, Z. Marrakchi : “Designing a 3D tree-based FPGA: Optimization of butterfly programmable interconnect topology using 3D technology”, IEEE International 3D Systems Integration Conference (3DIC), 2013, San Francisco, CA, United States, pp. 1-8, (IEEE) [Pangracious 2013f]
V. Pangracious, H. Mehrez, Z. Marrakchi : “TSV count minimization and thermal analysis for 3D Tree-based FPGA”, ICICDT 2013 - International Conference on IC Design & Technology, Pavia, Italy, pp. 223-226, (IEEE) [Pangracious 2013g]
V. Pangracious, Z. Marrakchi, E. Amouri, H. Mehrez : “Performance analysis and optimization of high density tree-based 3d multilevel FPGA”, Reconfigurable Computing: Architectures, Tools and Applications, vol. 7806, Lecture Notes in Computer Science, Los Angeles, CA, United States, pp. 197-209, (Springer) [Pangracious 2013h]
V. Pangracious, Z. Marrakchi, H. Mehrez : “Design and optimization of heterogeneous tree-based FPGA using 3D technology”, FPT 2013 - International Conference on Field-Programmable Technology, Kyoto, Japan, pp. 334-337, (IEEE) [Pangracious 2013i]
D. Papadimitriou, D. Careglio, F. Tarissan, P. Demeester : “Internet routing paths stability model and relation to forwarding paths”, Proceedings of the the 9^th International Conference on Design of Reliable Communication Networks (DRCN 2013), Budapest, Hungary, pp. 20-27, (IEEE) [Papadimitriou 2013a]
D. Papadimitriou, D. Careglio, F. Tarissan, P. Demeester : “Method of reliability and availability analysis from the dynamic properties of routing and forwarding paths”, Proceedings of the International Workshop on Reliable Networks Design and Modeling (RNDM'13), 2013, Almaty, Kazakhstan, pp. 222-228 [Papadimitriou 2013b]
Z. Pehlivan, B. Piwowarski, S. Gançarski : “A comparison of static index pruning methods with temporal queries”, SIGIR 2013 Workshop on Time-aware Information Access, TAIA2013, Dublin, Ireland, pp. 26-29 [Pehlivan 2013a]
Ph. Pernelle, Th. Carron : “Plateforme Serious Game mutualisée et pluridisciplinaire: les IUT en première ligne”, Second congrès national de la recherche en IUT, Corte, France [Pernelle 2013b]
P. Perny, P. Weng, J. Goldsmith, J. Hanna : “Approximation of Lorenz-Optimal Solutions in Multiobjective Markov Decision Processes”, Conference on Uncertainty in Artificial Intelligence, UAI 2013, Bellevue, Washington, United States, pp. id 208 [Perny 2013b]
D. Pesavento, G. Grassi, Claudio E. Palazzi, G. Pau : “A naming scheme to represent geographic areas in NDN”, Wireless Days (WD), 2013 IFIP, Valencia, Spain, pp. 1-3, (IEEE) [Pesavento 2013]
F. Petit, A. Lamani, S. Devismes, S. Tixeuil, P. Raymond : “Explorer une grille avec un minimum de robots amnésiques”, 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), Pornic, France, pp. 1-4 [Petit 2013]
T.‑M. Pham, S. Fdida, P. Antoniadis : “Pricing in Information-Centric Network Interconnection”, IFIP Networking Conference, 2013, Brooklyn, NY, United States [Pham 2013]
T. Phe‑Neau, M. Dias De Amorim, V. Conan : “The Strength of Vicinity Annexation in Opportunistic Networking”, Proceedings of the Fifth IEEE International Workshop on Network Science for Communication Networks (NetSciCom 2013), Torino, Italy, pp. 217-222 [Phe-Neau 2013b]
T. Phe‑Neau, M. Elias Mitre Campista, M. Dias De Amorim, V. Conan : “Padrões de Mobilidade de Vizinhança em Redes de Contato Intermitente”, Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2013), Brasília, Brazil [Phe-Neau 2013c]
C. Phung, Th. Vu, Th.‑M.‑T. Nguyen : “DCAR coding gain modeling and analysis”, NoF 2013 - Fourth International Conference on the Network of the Future, Pohang, Korea, Republic of, pp. 1-3, (IEEE) [Phung 2013]
J. Pilet, F. Chenevotot, B. Grugeon, N. El Kechai, E. Delozanne : “Bridging diagnosis and learning of elementary algebra using technologies”, Proceedings of the Eighth Congress of the European Society for Research in Mathematics Education (CERME 8, February 6 - 10, 2013)., Manavgat-Side/Antalya, Türkiye, pp. 2684-2693 [Pilet 2013b]
J. Pilet, N. El Kechai, E. Delozanne, B. Grugeon, F. Chenevotot : “Séances différenciées en algèbre élémentaire : une étude de cas.”, Conférence sur les Environnements Informatiques pour l’Apprentissage Humain EIAH’2013, Toulouse, France, pp. 5-16 [Pilet 2013c]
B. Piwowarski : “Méthodologie pour une représentation multi-dimensionnelle des documents”, CORIA 2013 - 10ème COnférence en Recherche d'Information et Applications, Neuchâtel, Switzerland, pp. 227-236 [Piwowarski 2013]
G. Plouviez, E. Encrenaz, F. Wajsbürt : “A formally verified hypervisor with hardware support for a many-core chip”, The 1^st Workshop on Runtime and Operating Systems for the Many-core Era, ROME 2013, vol. 8374, Lecture Notes in Computer Science, Aachen, Germany, pp. 801-811, (Springer) [Plouviez 2013]
P. Raad, G. Colombo, Ch. Phung, S. Secci, A. Cianfrani, P. Gallard, G. Pujolle : “Achieving Sub-Second Downtimes in Internet-wide Virtual Machine Live Migrations in LISP Networks”, IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), Ghent, Belgium, pp. 286-293, (IEEE) [Raad 2013]
A. Rafrafi, V. Guigue, P. Gallinari : “Classification de Sentiments Multi-Domaines en Contexte Hétérogène et Passage à l'Echelle”, CORIA 2013 - 10ème Conférence en Recherche d'Informations et Applications, Neuchâtel, Switzerland, pp. 117-124 [Rafrafi 2013]
Ah. Reggani, F. Schneider, R. Teixeira : “Tracking application network performance in Home Gateways”, 4^th International Workshop on TRaffic Analysis and Classification TRAC 2013, Cagliari, Italy, pp. 1150-1155, (IEEE) [Reggani 2013a]
Ah. Reggani, J. Whitbeck, M. Dias De Amorim, M. Fonseca, V. Conan, S. Fdida : “Mobility Trace Breeding”, Wireless Days, Valencia, Spain, pp. 1-3, (IEEE) [Reggani 2013b]
E. Renault, A. Duret‑Lutz, F. Kordon, D. Poitrenaud : “Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking”, Proceedings of the 19^th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), vol. 7795, Lecture Notes in Computer Science, Rome, Italy, pp. 580-593, (Springer) [Renault 2013a]
E. Renault, A. Duret‑Lutz, F. Kordon, D. Poitrenaud : “Three SCC-based Emptiness Checks for Generalized Büchi Automata”, Proceedings of the 19^th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13), vol. 8312, Lecture Notes in Computer Science, Stellenbosch, South Africa, pp. 668-682, (Springer) [Renault 2013b]
Q. Reynaud, V. Corruble : “Un mécanisme de composition de comportements pour agents virtuels”, 21èmes Journées Francophones des Systèmes Multi-Agents, Lille, France [Reynaud 2013]
L. Rodrigues, J. Cohen, L. Arantes, E. Duarte Júnior : “A Robust Permission-Based Hierarchical Distributed k-Mutual Exclusion Algorithm”, The 12^th International Symposium on Parallel and Distributed Computing, Bucharest, Romania, pp. 151-158, (IEEE) [Rodrigues 2013]
J. Rodrigues, L. Brandão, M. Nascimento, P. Rodrigues, Anarosa A. F. Brandão, H. Giroire, O. Auzende : “IQUIZ: Integrated Assessment Environment to improve Moodle Quiz”, Frontiers In Education Conference 2013, Oklahoma City, United States, pp. 293-295, (IEEE) [Rodrigues 2013]
O. Romain, A. Histace, J. Silva, J. Ayoub, B. Granado, A. Pinna, X. Dray, Ph. Marteau : “Towards a multimodal wireless video capsule for detection of colonic polyps as prevention of colorectal cancer.”, The 13^th IEEE International Conference on BioInformatics and BioEngineering, BIBE'13, Chania, Greece, pp. 1-6 [Romain 2013]
M. Saeida Ardekani, P. Sutra, M. Shapiro : “Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systems”, SRDS 2013 -IEEE 32^nd International Symposium on Reliable Distributed Systems, Braga, Portugal, pp. 163-172, (IEEE Computer Society) [Saeida Ardekani 2013a]
M. Saeida Ardekani, P. Sutra, M. Shapiro, N. Preguiça : “On the Scalability of Snapshot Isolation”, Euro-Par 2013 - 19^th International Conference Parallel Processing, vol. 8097, Lecture Notes in Computer Science, Aachen, Germany, pp. 369-381, (Springer) [Saeida Ardekani 2013b]
M. Safey El Din : “Critical Point Methods and Effective Real Algebraic Geometry: New Results and Trends”, ISSAC 2013 - 38^th International Symposium on Symbolic and Algebraic Computation, Boston, United States, pp. 5-6 [Safey El Din 2013a]
S. Saha, J.‑P. Lozi : “EHCtor: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software”, 9ème Conférence Française en Systèmes d'Exploitation, Grenoble, France [Saha 2013a]
S. Saha, J.‑P. Lozi, G. Thomas, J. Lawall, G. Muller : “Hector: Detecting resource-release omission faults in error-handling code for systems software”, DSN 2013 - 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, pp. 1-12, (IEEE Computer Society) [Saha 2013b]
D. Saidouni, M. Bouneb, J.‑M. Ilié : “Maximality Semantics for Recursive Petri Nets”, Proc. of the 27^th European Conference On Modelling and Simulation (ECMS13), Alesund, Norway, pp. 544-550, (European Concil for Modeling and Simulation) [Saidouni 2013]
M. Sammarco, M. Elias Mitre Campista, M. Dias De Amorim : “Trace Selection for Improved WLAN Monitoring”, HotPlanet 2013 - 5^th ACM HotPlanet Workshop, Hong Kong, Hong Kong, pp. 9-14, (ACM) [Sammarco 2013]
J.‑P. Sansonnet, F. Bouchet : “A Framework Covering the Influence of FFM/NEO PI-R Traits over the Dialogical Process of Rational Agents”, 5^th International Conference on Agents and Artificial Intelligence, ICAART 2013, vol. 449, Communications in Computer and Information Science, J. Filipe, A. Fred (Eds.), Barcelona, Spain, pp. 62-79, (Springer Berlin Heidelberg), (ISBN: 978-3-662-44439-9) [Sansonnet 2013a]
I. Sarr, H. Naacke, Abderrahmane O. M. Moctar : “STRING: Social-Transaction Routing over a Ring”, International Conference on Database and Expert Systems Applications (DEXA), vol. 8056, Lecture Notes in Computer Science, Prague, Czechia, pp. 319-333, (Springer) [Sarr 2013]
Y. Seddik, Ch. Gonzales, S. Kedad‑Sidhoum : “A polynomial time OPT-1 algorithm for a scheduling problem with two delivery dates and cumulative payoffs”, 6^th Multidisciplinary International Scheduling Conference: Theory and Applications, MISTA 2013, Gent, Belgium, pp. 268-289 [Seddik 2013a]
Y. Seddik, Ch. Gonzales, S. Kedad‑Sidhoum : “An absolute approximation algorithm for a scheduling problem with cumulative payoffs”, 26^th European Conference on Operational Research, Rome, Italy [Seddik 2013b]
Y. Seddik, Ch. Gonzales, S. Kedad‑Sidhoum : “Un algorithme avec garantie de performance pour un problème d'ordonnancement avec dates de livraison et gains cumulatifs”, Congres de la Societe Francaise de Recherche Operationnelle et d'Aide a la Decision, ROADEF 2013, Troyes, France [Seddik 2013d]
P. Senna Tschudin, L. Réveillère, L. Jiang, D. Lo, J. Lawall, G. Muller : “Understanding the genetic makeup of Linux device drivers”, PLOS'13 - 7^th Workshop on Programming Languages and Operating Systems, Nemacolin Woodlands Resort, Pennsylvania, United States, (ACM) [Senna Tschudin 2013]
D. Serrano, S. Bouchenak, Y. Kouki, Th. Ledoux, J. Lejeune, J. Sopena, L. Arantes, P. Sens : “Towards QoS-Oriented SLA Guarantees for Online Cloud Services”, Proceedings of the 13^th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2013), Delft, Netherlands, pp. 50-57 [Serrano 2013]
Ch. Shan, D. Galayko, F. Anceau : “On-chip clock error characterization for clock distribution system”, VLSI (ISVLSI), 2013 IEEE Computer Society Annual Symposium on, Natal, Brazil, pp. 102-108 [Shan 2013a]
Ch. Shan, E. Zianbetov, W. Yu, F. Anceau, O. Billoint, D. Galayko : “FPGA prototyping of large reconfigurable ADPLL network for distributed clock generation”, Reconfigurable Computing and FPGAs (ReConFig), 2013 International Conference on, Cancun, Mexico, pp. 1-6 [Shan 2013b]
Juan S. Silva, A. Histace, O. Romain, X. Dray, B. Granado, A. Pinna : “Cyclope : vers une vidéocapsule intelligente pour la détection in situ des polypes colorectaux”, GRETSI 2013, Brest, France [Silva 2013a]
J. Silva, A. Histace, O. Romain, X. Dray, B. Granado, A. Pinna : “Towards real-time in situ polyp detection in WCE images using a boosting-based approach”, Proceedings of the 35^th IEEE EMBC Conference, Osaka, Japan, pp. 5711-5714 [Silva 2013a]
Juan S. Silva, A. Histace, O. Romain, X. Dray, B. Granado, Ph. Marteau, A. Pinna : “Développement et validation d'un algorithme de reconnaissance automatique de polypes coliques”, Journées Francophones d’Hépato-gastroentérologie et d’Oncologie Digestive, JFHOD'13, Paris, France [Silva 2013b]
J. Silva, A. Histace, O. Romain, X. Dray, B. Granado, Ph. Marteau : “Towards embedded detection of polyps in videocolonoscopy and WCE images for early diagnosis of colorectal cancer”, Computer Assisted Radiology and Surgery, Heidelberg, Germany [Silva 2013b]
G. Silvestre, S. Monnet : “Performing accurate simulations for deadline-aware applications”, HPCS 2013 - The 2013 International Conference on High Performance Computing & Simulation, Helsinki, Finland, pp. 65-71 [Silvestre 2013a]
G. Silvestre, S. Monnet, D. Buffoni, P. Sens : “Predicting Popularity and Adapting Replication of Internet Videos for High-Quality Delivery”, Parallel and Distributed Systems (ICPADS), 2013 International Conference on, Seoul, Korea, Republic of, pp. 412-419, (IEEE) [Silvestre 2013b]
P. Simo Kanmeugne, A. Beynier, J.‑Y. Donnart : “Modèle microscopique à influence macroscopique pour la simulation des déplacements de piétons autonomes en temps réel”, JFSMA'13 - Vingt-et-unièmes journées francophones sur les systèmes multi-agents, Lille, 3-5 juillet 2013, Lille, France [Simo Kanmeugne 2013]
L. Six, Z. Guessoum, J. Saunier, S. Ieng : “Towards a truck-driver model using a hysteresis based analysis and verification approach”, International conference on Autonomous Agents and Multi-Agent Systems, Saint-Paul, United States, pp. 1219-1220 [Six 2013]
M. Soria : “Combinatorial Systems and Newton iteration”, 24^th International Meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA13, Cala Galdana, Menorca, Spain [Soria 2013]
O. Soualah, I. Fajjari, N. Aitsaadi, A. Mellouk : “A New Preventive Reliable Virtual Network Embedding Scheme Within Cloud's Backbone”, ResCom 2013 - Les réseaux centrés sur les contenus : évolution ou révolution de l'Internet, Porquerolles, France [Soualah 2013a]
O. Soualah, I. Fajjari, N. Aitsaadi, A. Mellouk : “PR-VNE: Preventive Reliable Virtual Network Embedding Algorithm in Cloud's Network”, the IEEE Global Communications Conference (GLOBECOM), Atlanta, United States, pp. 1303-1309 [Soualah 2013b]
O. Spanjaard, P. Weng : “Markov Decision Processes with Functional Rewards”, 7^th Multi-Disciplinary International Workshop on Artificial Intelligence, MIWAI 2013, vol. 8271, Lecture Notes in Computer Science, Krabi, Thailand, pp. 269-280, (Springer) [Spanjaard 2013]
P. Spathis, Th. Silverston : “Leveraging Replication in Content-Centric Networks”, CCNx Conference, Palo Alto, CA, United States [Spathis 2013]
O. Stiti, O. Braham : “Demonstration: Virtual access network to the cloud”, Ad Hoc Networking Workshop (MED-HOC-NET), 2013 12^th Annual Mediterranean, Ajaccio, France [Stiti 2013]
S. Sundaresan, N. Feamster, R. Teixeira, N. Magharei : “Measuring and Mitigating Web Performance Bottlenecks in Broadband Access Networks”, ACM Internet Measurement Conference, Barcelone, Spain, pp. 213-226, (ACM) [Sundaresan 2013a]
Q. Tang : “Flot de Conception Automatique pour Créer une Carte Multi-FPGA”, Journées Nationales du Réseau Doctoral en Microélectronique, Grenoble, France [Tang 2013a]
Q. Tang, M. Tuna, H. Mehrez : “Routing algorithm for multi-FPGA based systems using multi-point physical tracks”, RSP 2013 - 24^th IEEE International Symposium on Rapid System Prototyping, Montreal, Canada, pp. 2-8, (IEEE) [Tang 2013b]
Q. Tang, M. Tuna, Z. Marrakchi, H. Mehrez : “Automatic Design Flow for Creating a Custom Multi-FPGA Board Netlist”, Proceedings of the 9^th International Symposium on Applied Reconfigurable Computing, ARC 2013, vol. 7806, Lecture Notes in Computer Science, Los Angeles, United States, pp. 221, (Springer) [Tang 2013c]
Ch. Theriault, N. Thome, M. Cord : “Dynamic Scene Classification: Learning Motion Descriptors with Slow Features Analysis.”, IEEE Conference on Computer Vision and Pattern Recognition, Portland, OR, United States, pp. 2603-2610, (IEEE) [Theriault 2013a]
F. Thung, D. Lo, J. Lawall : “Automated library recommendation”, WCRE 2013 - 20^th Working Conference on Reverse Engineering, Koblenz, Germany, pp. 182-191, (IEEE) [Thung 2013a]
F. Thung, Sh. Wang, D. Lo, J. Lawall : “Automatic recommendation of API methods from feature requests”, ASE 2013 - 28^th IEEE/ACM International Conference on Automated Software Engineering, Palo Alto, California, United States, pp. 290-300, (IEEE) [Thung 2013b]
A. Tonda, E. Lutton, G. Squillero, P.‑H. Wuillemin : “A Memetic Approach to Bayesian Network Structure Learning”, 16^th European Conference on Applications of Evolutionary Computation, EvoApplications 2013, vol. 7835, Lecture Notes in Computer Science, Vienna, Austria, pp. 102-111, (Springer), (ISBN: 978-3-642-37191-2) [Tonda 2013]
A. Tsoukiàs, P. Viappiani : “Tutorial on preference handling”, ACM Conference on Recommender System (RecSys), Hong Kong, China, pp. 497-498 [Tsoukiàs 2013]
M. Turki, H. Mehrez, Z. Marrakchi, M. Abid : “Partitioning constraints and signal routing approach for multi-FPGA prototyping platform”, ISSoC 2013 - International Symposium on System on Chip, Tampere, Finland, pp. 1-4, (IEEE) [Turki 2013a]
M. Turki, Z. Marrakchi, H. Mehrez, M. Abid : “Iterative Routing Algorithm of Inter-FPGA Signals for Multi-FPGA Prototyping Platform”, ARC 2013 - 9^th International Symposium on Reconfigurable Computing: Architectures, Tools and Applications, vol. 7806, Lecture Notes in Computer Science, Los Angeles, CA, United States, pp. 210-217, (Springer) [Turki 2013c]
A. Ugon, A. Pinna, X. Liu, J.‑G. Ganascia, P. Garda, C. Philippe, H. Amiel : “Interprétation automatique des courbes polysomnographpiques par fusion symbolique”, Actes du 24e Colloque "GRETSI", Brest, France [Ugon 2013]
M. Valero, R. Diaconu, J. Keller : “Manycraft: Massively Distributed Minecraft”, NetGames, Denver, United States, pp. 1-3 [Valero 2013]
W. Vandenberghe, B. Vermeulen, P. Demeester, A. Willner, S. Papavassiliou, A. Gavras, M. Sioutis, A. Quereilhac, Y. Al‑Hazmi, F. Lobillo, F. Schreiner, C. Velayos, A. Vico‑Oton, G. Androulidakis, Ch. Papagianni, O.‑D. Ntofon, M. Boniface : “Architecture for the heterogeneous federation of future internet experimentation facilities”, Proceedings of Future Network & Mobile Summit 2013, Lisbon, Portugal, pp. 1-11 [Vandenberghe 2013]
M. Véron, O. Marin, S. Monnet, Z. Guessoum : “Vers un système d'arbitrage décentralisé pour les jeux en ligne”, Actes des Rencontres francophones du Parallelisme, Grenoble, France, pp. 9 p. [Véron 2013]
P. Viappiani : “Thompson Sampling for Bayesian Bandits with Resets”, Lecture Notes in Computer Science, vol. 8176, Lecture Notes in Computer Science, Bruxelles, Belgium, pp. 399-410, (Springer Berlin Heidelberg) [Viappiani 2013a]
P. Viappiani, Ch. Kroer : “Robust Optimization of Recommendation Sets with the Maximin Utility Criterion”, The 3rd International Conference on Algorithmic Decision Theory, ADT 2013, vol. 8176, Lecture Notes in Computer Science, Bruxelles, Belgium, pp. 411-424, (Springer Berlin Heidelberg) [Viappiani 2013b]
P. Viappiani, P. Perny, Ch. Gonzales : “Elicitation of Non-linear Utility Models”, European Conference on Operations Research, Preference Learning stream, Rome, Italy [Viappiani 2013c]
Ph. Vo, M. Detyniecki : “Towards Smooth Monotonicity in Fuzzy Inference System based on Gradual Generalized Modus Ponens”, Proceedings of the 8^th conference of the European Society for Fuzzy Logic and Technology - EUSFLAT'13, Milano, Italy, pp. 788-795, (Atlantis Press) [Vo 2013a]
Ph. Vo, M. Detyniecki, B. Bouchon‑Meunier : “Gradual Generalized Modus Ponens”, The IEEE International Conference on Fuzzy Systems - FUZZ-IEEE'2013, Hyderabad, India, pp. 1-7, (IEEE) [Vo 2013b]
Th. Vu, N. Boukhatem, Th.‑M.‑T. Nguyen, G. Pujolle : “Adaptive redundancy control with network coding in multi-hop wireless networks”, WCNC 2013 - IEEE Wireless Communications and Networking Conference, Shanghai, China, pp. 1510-1515, (IEEE) [Vu 2013]
Y. Wang, N. Rozhnova, A. Narayanan, D. Oran, I. Rhee : “An improved hop-by-hop interest shaper for congestion control in named data networking”, ACM SIGCOMM Computer Communication Review, vol. 43 (4), Newsletter ACM SIGCOMM Computer Communication Review, Hong Kong, China, pp. 55-60 [Wang 2013]
D. Wang : “Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management”, ADG 2012 - 9^th International Workshop Automated Deduction in Geometry, vol. 7993, Lecture Notes in Computer Science, Edinburgh, United Kingdom, pp. 31-32, (Springer) [Wang 2013]
R. Wang, J. Denoulet, S. Feruglio, F. Vallette, P. Garda : “High Level Modeling of Signal Integrity in a High Frequency Point-to-Point System with SystemC-AMS”, Conference on Design of Circuits and Integrated Systems (DCIS), Donostia-San Sebastian, Spain, pp. 1-4 [Wang 2013a]
R. Wang, J. Denoulet, S. Feruglio, F. Vallette, P. Garda : “High Level Modeling of Signal Integrity in High Frequency USB 3.0 Systems with SystemC-AMS”, Colloque du GDR Systemes materiels-logiciels integres, Lyon, France [Wang 2013b]
R. Wang, J. Denoulet, S. Feruglio, F. Vallette, P. Garda : “Modeling of signal integrity in bus communications with timed data flow SystemC-AMS”, FDL 2013 - Forum on Specification Design Languages, Paris, France, pp. 1-6 [Wang 2013c]
P. Weng : “Axiomatic Foundations of Generalized Qualitative Utility”, 7^th Multi-Disciplinary International Workshop on Artificial Intelligence, MIWAI 2013, vol. 8271, Lecture Notes in Artificial Intelligence, Krabi, Thailand, pp. 305-316, (Springer) [Weng 2013a]
P. Weng, B. Zanuttini : “Interactive Value Iteration for Markov Decision Processes with Unknown Rewards”, IJCAI '13 - Twenty-Third international joint conference on Artificial Intelligence, Beijing, China, pp. 2415-2421, (AAAI Press) [Weng 2013b]
L. Wouters, M.‑P. Gervais : “Notation-driven vs metamodel-driven development of domain-specific modeling languages: an empirical study”, SAC 2013 - 28^th Annual ACM Symposium on Applied Computing, Coimbra, Portugal, pp. 1145-1146, (ACM) [Wouters 2013]
W. Xu, Ch. Marsala, Ch. Benoit : “Matching Objects to User's Queries in Web of Things' Applications”, IEEE Symposium on Computational Intelligence for Communication Systems and Networks, CIComms 2013, Singapore, Singapore, pp. 31-38, (IEEE) [Xu 2013]
B. Yang, J.‑G. Ganascia : “An overview of Memory Islands – an approach for cartographic visualization”, Journées Big Data & Visualisation Fouille et Visualisation de Données Massives Big Data Mining and Visualization (FDCFGGVIF13), Paris, France [Yang 2013a]
J. Yang, D. Wang, H. Hong : “Improving Angular Speed Uniformity by C¹ Piecewise Reparameterization”, ADG 2012: Automated Deduction in Geometry, vol. 7993, Lecture Notes in Computer Science, Edinburgh, United Kingdom, pp. 33-47, (Springer) [Yang 2013a]
B. Yang, J.‑G. Ganascia : “Memory Islands: an approach to cartographic visualization”, Classification and visualization: interfaces to knowledge, The Hague, Netherlands, pp. 137-152 [Yang 2013b]
S. Yassa, R. Chelouah, H. Kadima, B. Granado : “A Genetic Algorithm Approach to a Cloud Workflow Scheduling Problem with Multi-QoS Requirements”, 26^th European Conference on Operational Research Workshop, Rome, Italy [Yassa 2013b]
A. Yessad, J.‑M. Labat, Th. Carron : “An approach to model and validate scenarios of serious games in the design stage”, International Conference on Web-based Learning, vol. 8167, Lecture Notes in Computer Science, Kenting, Taiwan, Province of China, pp. 264-273, (Springer) [Yessad 2013]
I. Zbierska, L. Militaru, F. Calmon, S. Feruglio, G.‑N. Lu : “Experimental Study of a Bulk-Technology Tri-gates nMOSFET”, Colloque du GDR Systemes materiels-logiciels integres, Lyon, France [Zbierska 2013]
D. Zeaiter Joumblatt, J. Chandrashekar, B. Kevton, N. Taft, R. Teixeira : “Predicting User Dissatisfaction with Internet Application Performance at End-Hosts”, IEEE INFOCOM (mini-conference), Turin, Italy, pp. 235-239, (IEEE) [Zeaiter Joumblatt 2013]
Y. Zhang, B. Bérard, L. Hillah, Y. Thierry‑Mieg : “Semi-Automatic Controller Design of Java-like Models”, Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, pp. 3:1-3:7, (ACM) [Zhang 2013]
T. Ziadi, T. Saher, S. Kchir, S. Stinckwich : “Software Product Lines for the development of Families of DSLs for Robotics”, 6ème Journée Lignes de Produits, Paris, France, pp. ldpidm-3 [Ziadi 2013]
E. Zianbetov, D. Galayko, F. Anceau, M. Javidan, Ch. Shan, O. Billoint, A. Korniienko, E. Colinet, G. Scorletti, J.‑M. Akre, J. Juillard : “Distributed clock generator for synchronous SoC using ADPLL network”, Proceedings of the IEEE 2013 Custom Integrated Circuits Conference, San José, CA, United States, pp. 1-4, (IEEE) [Zianbetov 2013]