default search action
Vincent Leroy 0001
Person information
- affiliation: University of Grenoble, Laboratoire d'Informatique de Grenoble (LIG), France
- not to be confused with: Vincent Leroy 0002
Other persons with the same name
- Vincent Leroy 0002 — INRIA Rhônes-Alpes, Morpheo team, France
- Vincent Leroy 0003 — NAVER LABS Europe, Meylan, France
- Vincent Leroy 0004 — von Karman Institute for Fluid Dynamics, Rhode-St-Genèse, Belgium
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j8]Gianluca Barbon, Vincent Leroy, Gwen Salaün:
Debugging of Behavioural Models using Counterexample Analysis. IEEE Trans. Software Eng. 47(6): 1184-1197 (2021)
2010 – 2019
- 2019
- [c28]Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah:
Visual debugging of behavioural models. ICSE (Companion Volume) 2019: 107-110 - [c27]Gianluca Barbon, Vincent Leroy, Gwen Salaün:
Debugging of Behavioural Models with CLEAR. TACAS (1) 2019: 386-392 - 2018
- [j7]Maha Alsayasneh, Sihem Amer-Yahia, Éric Gaussier, Vincent Leroy, Julien Pilourdault, Ria Mae Borromeo, Motomichi Toyama, Jean-Michel Renders:
Personalized and Diverse Task Composition in Crowdsourcing. IEEE Trans. Knowl. Data Eng. 30(1): 128-141 (2018) - [c26]Gianluca Barbon, Vincent Leroy, Gwen Salaün:
Counterexample Simplification for Liveness Property Violation. SEFM 2018: 173-188 - 2017
- [b2]Vincent Leroy:
Data Analysis at Scale: Systems, Algorithms and Information. Grenoble Alpes University, France, 2017 - [j6]Shashwat Mishra, Vincent Leroy, Sihem Amer-Yahia:
Colloquial region discovery for retail products: discovery and application. Int. J. Data Sci. Anal. 4(1): 17-34 (2017) - [j5]Vincent Leroy, Martin Kirchgessner, Alexandre Termier, Sihem Amer-Yahia:
TopPI: An efficient algorithm for item-centric mining. Inf. Syst. 64: 104-118 (2017) - [j4]Ria Mae Borromeo, Thomas Laurent, Motomichi Toyama, Maha Alsayasneh, Sihem Amer-Yahia, Vincent Leroy:
Deployment strategies for crowdsourcing text creation. Inf. Syst. 71: 103-110 (2017) - [j3]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 Trans. Reconfigurable Technol. Syst. 10(3): 21:1-21:25 (2017) - [c25]Ria Mae Borromeo, Maha Alsayasneh, Sihem Amer-Yahia, Vincent Leroy:
Crowdsourcing Strategies for Text Creation Tasks. EDBT 2017: 450-453 - [c24]Adrien Prost-Boucle, Alban Bourge, Frédéric Pétrot, Hande Alemdar, Nicholas Caldwell, Vincent Leroy:
Scalable high-performance architecture for convolutional ternary neural networks on FPGA. FPL 2017: 1-7 - [c23]Gianluca Barbon, Vincent Leroy, Gwen Salaün:
Debugging of Concurrent Systems Using Counterexample Analysis. FSEN 2017: 20-34 - [c22]Hande Alemdar, Vincent Leroy, Adrien Prost-Boucle, Frédéric Pétrot:
Ternary neural networks for resource-efficient AI applications. IJCNN 2017: 2547-2554 - 2016
- [c21]Martin Kirchgessner, Vincent Leroy, Alexandre Termier, Sihem Amer-Yahia, Marie-Christine Rousset:
TopPI: An Efficient Algorithm for Item-Centric Mining. DaWaK 2016: 19-33 - [c20]Sihem Amer-Yahia, Éric Gaussier, Vincent Leroy, Julien Pilourdault, Ria Mae Borromeo, Motomichi Toyama:
Task Composition in Crowdsourcing. DSAA 2016: 194-203 - [c19]Martin Kirchgessner, Vincent Leroy, Sihem Amer-Yahia, Shashwat Mishra:
Testing Interestingness Measures in Practice: A Large-Scale Analysis of Buying Patterns. DSAA 2016: 547-556 - [c18]Matthieu Caneill, Ahmed El-Rheddane, Vincent Leroy, Noël De Palma:
Locality-Aware Routing in Stateful Streaming Applications. Middleware 2016: 4 - [c17]Julien Pilourdault, Vincent Leroy, Sihem Amer-Yahia:
Distributed Evaluation of Top-k Temporal Joins. SIGMOD Conference 2016: 1027-1039 - [i2]Martin Kirchgessner, Vincent Leroy, Sihem Amer-Yahia, Shashwat Mishra:
Testing Interestingness Measures in Practice: A Large-Scale Analysis of Buying Patterns. CoRR abs/1603.04792 (2016) - [i1]Hande Alemdar, Nicholas Caldwell, Vincent Leroy, Adrien Prost-Boucle, Frédéric Pétrot:
Ternary Neural Networks for Resource-Efficient AI Applications. CoRR abs/1609.00222 (2016) - 2015
- [c16]Vincent Leroy, Sihem Amer-Yahia, Éric Gaussier, Seyed Hamid Mirisaee:
Building Representative Composite Items. CIKM 2015: 1421-1430 - [c15]Shashwat Mishra, Vincent Leroy, Sihem Amer-Yahia:
Discovering characterizing regions for consumer products. DSAA 2015: 1-10 - [c14]Oleg Iegorov, Vincent Leroy, Alexandre Termier, Jean-François Méhaut, Miguel Santana:
Data mining approach to temporal debugging of embedded streaming applications. EMSOFT 2015: 167-176 - 2014
- [e3]Sihem Amer-Yahia, Vassilis Christophides, Anastasios Kementsietsidis, Minos N. Garofalakis, Stratos Idreos, Vincent Leroy:
Proceedings of the 17th International Conference on Extending Database Technology, EDBT 2014, Athens, Greece, March 24-28, 2014. OpenProceedings.org 2014 [contents] - [e2]K. Selçuk Candan, Sihem Amer-Yahia, Nicole Schweikardt, Vassilis Christophides, Vincent Leroy:
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014. CEUR Workshop Proceedings 1133, CEUR-WS.org 2014 [contents] - [e1]Nicole Schweikardt, Vassilis Christophides, Vincent Leroy:
Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014. OpenProceedings.org 2014 [contents] - 2013
- [j2]Aristides Gionis, Flavio Junqueira, Vincent Leroy, Marco Serafini, Ingmar Weber:
Piggybacking on Social Networks. Proc. VLDB Endow. 6(6): 409-420 (2013) - [c13]Xiao Bai, Arnaud Jégou, Flavio Junqueira, Vincent Leroy:
DynaSoRe: Efficient In-Memory Store for Social Applications. Middleware 2013: 425-444 - 2012
- [c12]Flavio Paiva Junqueira, Vincent Leroy, Matthieu Morel:
Reactive index replication for distributed search engines. SIGIR 2012: 831-840 - [c11]Flavio Paiva Junqueira, Vincent Leroy, Marco Serafini, Adam Silberstein:
Shepherding social feed generation with Sheep. SNS 2012: 7 - [c10]Aristides Gionis, Flavio Junqueira, Vincent Leroy, Marco Serafini, Ingmar Weber:
Social piggybacking: leveraging common friends to generate event streams. SNS 2012: 8 - 2011
- [j1]Xiao Bai, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy:
Collaborative personalized top-k processing. ACM Trans. Database Syst. 36(4): 26:1-26:38 (2011) - [c9]Roi Blanco, Berkant Barla Cambazoglu, Flavio Paiva Junqueira, Ivan Kelly, Vincent Leroy:
Assigning documents to master sites in distributed search. CIKM 2011: 67-76 - [c8]Anne-Marie Kermarrec, Vincent Leroy, Gilles Trédan:
Distributed social graph embedding. CIKM 2011: 1209-1214 - [c7]Anne-Marie Kermarrec, Vincent Leroy, Christopher Thraves:
Converging Quickly to Independent Uniform Random Topologies. PDP 2011: 159-166 - 2010
- [b1]Vincent Leroy:
Distributing Social Applications. INSA de Rennes, France, 2010 - [c6]Xiao Bai, Marin Bertier, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy:
Gossiping personalized queries. EDBT 2010: 87-98 - [c5]Marin Bertier, François Bonnet, Anne-Marie Kermarrec, Vincent Leroy, Sathya Peri, Michel Raynal:
D2HT: The Best of Both Worlds, Integrating RPS and DHT. EDCC 2010: 135-144 - [c4]Vincent Leroy, Berkant Barla Cambazoglu, Francesco Bonchi:
Cold start link prediction. KDD 2010: 393-402 - [c3]Marin Bertier, Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy:
The Gossple Anonymous Social Network. Middleware 2010: 191-211 - [c2]Anne-Marie Kermarrec, Vincent Leroy, Afshin Moin, Christopher Thraves:
Application of Random Walks to Decentralized Recommender Systems. OPODIS 2010: 48-63
2000 – 2009
- 2009
- [c1]Marin Bertier, Rachid Guerraoui, Vincent Leroy, Anne-Marie Kermarrec:
Toward personalized query expansion. SNS 2009: 7-12
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-14 00:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint