Skip to Main content


Number of documents


Journal articles16 documents

  • Gianluca Barbon, Vincent Leroy, Gwen Salaün. Debugging of Behavioural Models using Counterexample Analysis. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2021, 47 (6), pp.1184-1197. ⟨10.1109/TSE.2019.2915303⟩. ⟨hal-02145610⟩
  • Vincent Leroy, Jean-Sébastien Franco, Edmond Boyer. Volume Sweeping: Learning Photoconsistency for Multi-View Shape Reconstruction. International Journal of Computer Vision, Springer Verlag, 2021, 129, pp.284-299. ⟨10.1007/s11263-020-01377-0⟩. ⟨hal-02975479⟩
  • Alexandre Louvet, Julien Labreuche, Christophe Moreno, Claire Vanlemmens, Romain Moirand, et al.. EARLY LIVER TRANSPLANTATION FOR SEVERE ALCOHOLIC HEPATITIS NOT RESPONDING TO MEDICAL TREATMENT: RESULTS OF THE FRENCH-BELGIAN PROSPECTIVE STUDY QUICKTRANS. Hepatology, Wiley-Blackwell, 2020, 72, pp.4A-5A. ⟨hal-03036281⟩
  • Stéphane Chevaliez, Christophe Rodriguez, Lila Poiteau, Alexandre Soulier, Flora Donati, et al.. Primary resistance of hepatitis B virus to nucleoside and nucleotide analogues. Journal of Viral Hepatitis, Wiley-Blackwell, 2019, 26 (2), pp.278-286. ⟨10.1111/jvh.13025⟩. ⟨hal-03139196⟩
  • Maha Alsayasneh, Sihem Amer-Yahia, Éric Gaussier, Vincent Leroy, Julien Pilourdault, et al.. Personalized and Diverse Task Composition in Crowdsourcing. IEEE Transactions on Knowledge and Data Engineering, Institute of Electrical and Electronics Engineers, 2018, 30 (1), pp.128-141. ⟨hal-02000487⟩
  • Olivier Sérée, Mario Altieri, Elodie Guillaume, Rémy de Mil, Thierry Lobbedez, et al.. Longterm Risk of Solid Organ De Novo Malignancies After Liver Transplantation: A French National Study on 11,226 Patients. Liver Transplantation, Wiley, 2018, 24 (10), pp.1425-1436. ⟨10.1002/lt.25310⟩. ⟨hal-02000599⟩
  • Shashwat Mishra, Vincent Leroy, Sihem Amer-Yahia. Colloquial region discovery for retail products: discovery and application. International Journal of Data Science and Analytics, Springer Verlag, 2017, 4 (1), pp.17-34. ⟨hal-02000496⟩
  • Ria Mae Borromeo, Thomas Laurent, Motomichi Toyama, Maha Alsayasneh, Sihem Amer-Yahia, et al.. Deployment strategies for crowdsourcing text creation. Information Systems, Elsevier, 2017, 71, pp.103-110. ⟨hal-02000509⟩
  • Gaël Roth, Zuzana Jilkova, Ayca Kuyucu, Keerthi Kurma, Ahmad Pour, et al.. Efficacy of AKT Inhibitor ARQ 092 Compared with Sorafenib in a Cirrhotic Rat Model with Hepatocellular Carcinoma. Molecular Cancer Therapeutics, American Association for Cancer Research, 2017, 9, pp.2803. ⟨10.1158/1535-7163.MCT-16-0602-T⟩. ⟨inserm-02333028⟩
  • Adrien Prost-Boucle, Frédéric Pétrot, Vincent Leroy, Hande Alemdar. Efficient and versatile FPGA acceleration of support counting for stream mining of sequences and frequent itemsets. ACM Transactions on Reconfigurable Technology and Systems (TRETS), ACM, 2017, ACM Transactions on Reconfigurable Technology and Systems (TRETS), 10 (3), pp.21. ⟨10.1145/3027485⟩. ⟨hal-01474234⟩
  • Vincent Leroy, Martin Kirchgessner, Alexandre Termier, Sihem Amer-Yahia. TopPI: An efficient algorithm for item-centric mining. Information Systems, Elsevier, 2017, 64, pp.104 - 118. ⟨10.1016/⟩. ⟨hal-01479067⟩
  • Jérôme Boursier, Victor de Ledinghen, Vincent Leroy, Rodolphe Anty, Sven Francque, et al.. A stepwise algorithm using an at-a-glance first-line test for the non-invasive diagnosis of advanced liver fibrosis and cirrhosis. Journal of Hepatology, Elsevier, 2017, 66 (6), pp.1158-1165. ⟨10.1016/j.jhep.2017.01.003⟩. ⟨hal-02448903⟩
  • Armand Garioud, Jean-François Cadranel, Arnaud Pauwels, Jean-Baptiste Nousbaum, Thierry Thévenot, et al.. Albumin Use in Patients With Cirrhosis in France: Results of the “ALBU-LIVE” Survey. Journal of Clinical Gastroenterology, Lippincott, Williams & Wilkins, 2017, 51 (9), pp.831-838. ⟨10.1097/MCG.0000000000000735⟩. ⟨hal-03149673⟩
  • Bertrand Nalpas, Philippe Ichai, Laure Jamot, Nicolas Carbonell, Marika Rudler, et al.. A Proof of Concept, Phase II Randomized European Trial, on the Efficacy of ALF-5755, a Novel Extracellular Matrix-Targeted Antioxidant in Patients with Acute Liver Diseases. PLoS ONE, Public Library of Science, 2016, 11 (3), pp.e0150733. ⟨10.1371/journal.pone.0150733⟩. ⟨hal-01872887⟩
  • Muhammad Ramzan, Nathalie Sturm, Thomas Decaens, Paulette Bioulac-Sage, Brigitte Bancel, et al.. Liver-infiltrating CD8+ lymphocytes as prognostic factor for tumour recurrence in hepatitis C virus-related hepatocellular carcinoma. Liver International, Wiley-Blackwell, 2016, 36 (3), pp.434-444. ⟨10.1111/liv.12927⟩. ⟨hal-01800010⟩
  • Xiao Bai, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy. Collaborative Personalized Top-k Processing. ACM Transactions on Database Systems, Association for Computing Machinery, 2011, 36 (4). ⟨hal-00652036⟩

Conference papers22 documents

  • Gianluca Barbon, Vincent Leroy, Gwen Salaün. Debugging of Behavioural Models with CLEAR. TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.386-392, ⟨10.1007/978-3-030-17462-0_26⟩. ⟨hal-02121180⟩
  • Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah. Visual Debugging of Behavioural Models. ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.107-110, ⟨10.1109/ICSE-Companion.2019.00050⟩. ⟨hal-02145535⟩
  • Gianluca Barbon, Vincent Leroy, Gwen Salaün. Counterexample Simplification for Liveness Property Violation. SEFM 2018 - 16th International Conference on Software Engineering and Formal Methods, Jun 2018, Toulouse, France. pp.173-188, ⟨10.1007/978-3-319-92970-5_11⟩. ⟨hal-01818790⟩
  • Adrien Prost-Boucle, Alban Bourge, Frédéric Pétrot, Hande Alemdar, Nicholas Caldwell, et al.. Scalable High-Performance Architecture for Convolutional Ternary Neural Networks on FPGA. Field Programmable Logic and Applications (FPL), 2017 27th International Conference on, Sep 2017, Gent, Belgium. ⟨hal-01563763⟩
  • Hande Alemdar, Vincent Leroy, Adrien Prost-Boucle, Frédéric Pétrot. Ternary Neural Networks for Resource-Efficient AI Applications. International Joint Conference on Neural Networks, May 2017, Anchorage, United States. ⟨hal-01481478⟩
  • Gianluca Barbon, Vincent Leroy, Gwen Salaün. Debugging of Concurrent Systems using Counterexample Analysis. 7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩. ⟨hal-01533401v2⟩
  • Ria Borromeo, Maha Alsayasneh, Sihem Amer-Yahia, Vincent Leroy. Crowdsourcing Strategies for Text Creation Tasks. Inter- national Conference on Extending Database Technology (EDBT), Mar 2017, Venise, Italy. ⟨10.5441/002/edbt.2017.42⟩. ⟨hal-02000656⟩
  • Matthieu Caneill, Ahmed El Rheddane, Vincent Leroy, Noël de Palma. Locality-Aware Routing in Stateful Streaming Applications. Middleware'16 - 17th International Middleware Conference, ACM, IFIP, USENIX, Dec 2016, Trento, Italy. pp.1 - 13, ⟨10.1145/2988336.2988340⟩. ⟨hal-01407457⟩
  • Martin Kirchgessner, Vincent Leroy, Sihem Amer-Yahia, Shashwat Mishra. Testing Interestingness Measures in Practice: A Large-Scale Analysis of Buying Patterns. International Conference on Data Science and Advanced Analytics, Oct 2016, Montreal, Canada. ⟨hal-01407787⟩
  • Sihem Amer-Yahia, Eric Gaussier, Vincent Leroy, Julien Pilourdault, Ria Borromeo, et al.. Task Composition in Crowdsourcing. International Conference on Data Science and Advanced Analytics, Oct 2016, Montreal, Canada. ⟨hal-01407780⟩
  • Martin Kirchgessner, Vincent Leroy, Alexandre Termier, Sihem Amer-Yahia, Marie-Christine Rousset. TopPI: An Efficient Algorithm for Item-Centric Mining. 18th International Conference on Big Data Analytics and Knowledge Discovery, Sep 2016, Porto, Portugal. ⟨10.1007/978-3-319-43946-4_2⟩. ⟨hal-01354713⟩
  • Vincent Leroy, Sihem Amer-Yahia, Eric Gaussier, Hamid Mirisaee. Building Representative Composite Items. Conference on Information and Knowledge Management (CIKM) 2015, Oct 2015, Melbourne, Australia. ⟨10.1145/2806416.2806465⟩. ⟨hal-01180167⟩
  • Oleg Iegorov, Alexandre Termier, Vincent Leroy, Jean-François Méhaut, Miguel Santana. Data Mining Approach to Temporal Debugging of Embedded Streaming Applications. 15th International Conference on Embedded Software (EMSOFT'2015), Oct 2015, Amsterdam, Netherlands. ⟨hal-01178782⟩
  • Aristides Gionis, Flavio P. Junqueira, Vincent Leroy, Marco Serafini, Ingmar Weber. Piggybacking on Social Networks. VLDB 2013 - 39th International Conference on Very Large Databases, Aug 2013, Riva del Garda, Trento, Italy. pp.409-420. ⟨hal-00923545⟩
  • Xiao Bai, Arnaud Jégou, Flavio Junqueira, Vincent Leroy. DynaSoRe: Efficient In-Memory Store for Social Applications. 14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.425-444, ⟨10.1007/978-3-642-45065-5_22⟩. ⟨hal-00932468⟩
  • Anne-Marie Kermarrec, Vincent Leroy, Christopher Thraves-Caro. Converging Quickly to Independent Uniform Random Topologies. 19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP), 2011., Feb 2011, Ayia Napa, Cyprus. ⟨inria-00543249⟩
  • Xiao Bai, Marin Bertier, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy. Gossiping Personalized Queries. 13th International Conference on Extending Database Technology, Mar 2010, Lausanne, Switzerland. ⟨inria-00455643⟩
  • Marin Bertier, François Bonnet, Anne-Marie Kermarrec, Vincent Leroy, Sathya Peri, et al.. D2HT: the best of both worlds, Integrating RPS and DHT. European Dependable Computing Conference, Apr 2010, Valencia, Spain. ⟨inria-00459944⟩
  • Vincent Leroy, B. Barla Cambazoglu, Francesco Bonchi. Cold Start Link Prediction. The 16th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Jul 2010, Washington DC, United States. 12 p. ⟨inria-00485619⟩
  • Anne-Marie Kermarrec, Vincent Leroy, Afshin Moin, Christopher Thraves-Caro. Application of Random Walks to Decentralized Recommender Systems. 14th International Conference On Principles Of Distributed Systems, Dec 2010, Tozeur, Tunisia. ⟨inria-00520214⟩
  • Marin Bertier, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy. Toward Personalized Query Expansion. Social Network Systems 2009, Mar 2009, Nuremberg, Germany. ⟨inria-00368168⟩
  • Vincent Leroy, Marin Bertier, Anne-Marie Kermarrec. Vers un desktop-grid pair-à-pair. CFSE '6, Feb 2008, Fribourg, Switzerland. ⟨inria-00331824⟩

Preprints, Working Papers, ...2 documents

  • Julien Pilourdault, Vincent Leroy, Sihem Amer-Yahia. Distributed Evaluation of Top-k Temporal Joins. 2016. ⟨hal-01266188v2⟩
  • Shashwat Mishra, Vincent Leroy, Sihem Amer-Yahia. Discovering Characterizing Regions For Consumer Products. 2015. ⟨hal-01190980⟩

Reports5 documents

  • Sihem Amer-Yahia, Vincent Leroy, Alexandre Termier, Martin Kirchgessner, Behrooz Omidvar-Tehrani. Interactive Data-Driven Research: the place where databases and data mining research meet. [Research Report] RR-LIG-049, LIG. 2015. ⟨hal-01403233⟩
  • Anne-Marie Kermarrec, Vincent Leroy, Gilles Tredan. Distributed Social Graph Embedding. [Research Report] RR-7327, INRIA. 2010. ⟨inria-00495250⟩
  • Anne-Marie Kermarrec, Vincent Leroy, Christopher Thraves-Caro. Ensuring Uniformity in Random Peer Sampling Services. [Research Report] 2010. ⟨inria-00477658⟩
  • Anne-Marie Kermarrec, Vincent Leroy, Afshin Moin, Christopher Thraves-Caro. Addressing Sparsity in Decentralized Recommender Systems through Random Walks. [Research Report] 2010, pp.21. ⟨inria-00505180⟩
  • Marin Bertier, Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy. Personalized Web Search by Gossiping with Unknown Social Acquaintances. [Research Report] RR-6878, INRIA. 2009. ⟨inria-00368137⟩

Theses1 document

  • Vincent Leroy. Distributing Social Applications. Networking and Internet Architecture [cs.NI]. INSA de Rennes, 2010. English. ⟨tel-00545639⟩

Habilitation à diriger des recherches1 document

  • Vincent Leroy. Data Analysis at Scale: Systems, Algorithms and Information. Distributed, Parallel, and Cluster Computing [cs.DC]. UGA - Université Grenoble Alpes, 2017. ⟨tel-01628568⟩