Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSylvain Peyronnet
Person information
- affiliation: University of Caen Normandy, France
- affiliation: Qwant, Rouen, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2015
[j9]Richard Lassaigne, Sylvain Peyronnet:
Approximate planning and verification for large Markov decision processes. Int. J. Softw. Tools Technol. Transf. 17(4): 457-467 (2015)- 2013
- [j8]Alexandre Borghi, Jérôme Darbon, Sylvain Peyronnet, Tony F. Chan
, Stanley J. Osher:
A Simple Compressive Sensing Algorithm for Parallel Many-Core Architectures. J. Signal Process. Syst. 71(1): 1-20 (2013) - 2012
- [j7]Thomas Largillier, Sylvain Peyronnet:
Webspam demotion: Low complexity node aggregation methods. Neurocomputing 76(1): 105-113 (2012) - [j6]Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet:
Coverage-biased random exploration of large models and application to testing. Int. J. Softw. Tools Technol. Transf. 14(1): 73-93 (2012) - 2011
- [j5]Emmanuel Agullo, Camille Coti, Thomas Hérault, Julien Langou, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello, Jack J. Dongarra:
QCG-OMPI: MPI applications on grids. Future Gener. Comput. Syst. 27(4): 357-369 (2011) - [j4]Thomas Largillier, Sylvain Peyronnet:
Detecting Webspam Beneficiaries Using Information Collected by the Random Surfer. Int. J. Organ. Collect. Intell. 2(2): 36-48 (2011) - [j3]Alexandre Borghi, Jérôme Darbon, Sylvain Peyronnet:
Exact optimization for the ℓ1-Compressive Sensing problem using a modified Dantzig-Wolfe method. Theor. Comput. Sci. 412(15): 1325-1337 (2011) - 2008
- [j2]Richard Lassaigne, Sylvain Peyronnet:
Probabilistic verification and approximation. Ann. Pure Appl. Log. 152(1-3): 122-131 (2008) - 2007
- [j1]Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont:
Probabilistic abstraction for model checking: An approach based on property testing. ACM Trans. Comput. Log. 8(4): 20 (2007)
Conference and Workshop Papers
- 2020
- [c33]Maxime Portaz, Adrien Nivaggioli, Hicham Randrianarivo, Ilyes Kacher, Sylvain Peyronnet:
QISS: An Open Source Image Similarity Search Engine. ECIR (2) 2020: 486-490 - 2016
- [c32]Jean Creusefond, Thomas Largillier, Sylvain Peyronnet:
On the Evaluation Potential of Quality Functions in Community Detection for Different Contexts. NetSci-X 2016: 111-125 - 2015
- [c31]Jean Creusefond, Thomas Largillier, Sylvain Peyronnet:
Finding compact communities in large graphs. ASONAM 2015: 1457-1464 - 2014
- [c30]Thomas Largillier, Guillaume Peyronnet, Sylvain Peyronnet:
Rocovo: robust communal publication scheme. SAC 2014: 579-586 - 2012
- [c29]Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki:
Approximate Verification and Enumeration Problems. ICTAC 2012: 228-242 - [c28]Richard Lassaigne, Sylvain Peyronnet:
Approximate planning and verification for large markov decision processes. SAC 2012: 1314-1319 - 2011
- [c27]Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet:
Uniform Monte-Carlo Model Checking. FASE 2011: 127-140 - 2010
- [c26]Fatiha Bouabache, Thomas Hérault, Sylvain Peyronnet, Franck Cappello:
Planning Large Data Transfers in Institutional Grids. CCGRID 2010: 547-552 - [c25]François Lesueur, Ala Rezmerita, Thomas Hérault, Sylvain Peyronnet, Sébastien Tixeuil:
SAFE-OS: A secure and usable desktop operating system. CRiSIS 2010: 1-7 - [c24]Sébastien Hémon, Thomas Largillier, Sylvain Peyronnet:
Partial Ranking of Products for Recommendation Systems. EC-Web 2010: 265-277 - [c23]Alexandre Borghi, Jérôme Darbon, Sylvain Peyronnet, Tony F. Chan, Stanley J. Osher:
A Compressive Sensing Algorithm for Many-Core Architectures. ISVC (2) 2010: 678-686 - [c22]Aline Carneiro Viana, Thomas Hérault, Thomas Largillier, Sylvain Peyronnet, Fatiha Zaïdi:
Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks. MSWiM 2010: 385-392 - [c21]Laura Grigori, Pierre-Yves David, James Demmel, Sylvain Peyronnet:
Brief announcement: Lower bounds on communication for sparse Cholesky factorization of a model problem. SPAA 2010: 79-81 - [c20]Thomas Largillier, Sylvain Peyronnet:
Lightweight Clustering Methods for Webspam Demotion. Web Intelligence 2010: 98-104 - [c19]Thomas Largillier, Sylvain Peyronnet:
Using Patterns in the Behavior of the Random Surfer to Detect Webspam Beneficiaries. WISE Workshops 2010: 241-253 - [c18]Thomas Largillier, Guillaume Peyronnet, Sylvain Peyronnet:
SpotRank: a robust voting system for social news websites. WICOW 2010: 59-66 - 2009
- [c17]Thomas Hérault, Thomas Largillier, Sylvain Peyronnet, Benjamin Quétier, Franck Cappello, Mathieu Jan:
High accuracy failure injection in parallel and distributed systems using virtualization. Conf. Computing Frontiers 2009: 193-196 - 2008
- [c16]Camille Coti, Thomas Hérault, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello:
Grid Services for MPI. CCGRID 2008: 417-424 - [c15]Thomas Hérault, Mathieu Jan, Thomas Largillier, Sylvain Peyronnet, Benjamin Quétier, Franck Cappello:
Emulation platform for high accuracy failure injection in grids. High Performance Computing Workshop 2008: 127-140 - [c14]Alexandre Borghi, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet:
Cell Assisted APMC. QEST 2008: 75-76 - [c13]Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet:
Coverage-biased Random Exploration of Models. MBT@ETAPS 2008: 3-14 - 2006
- [c12]Akim Demaille, Sylvain Peyronnet, Benoît Sigoure:
Modeling of Sensor Networks Using XRM. ISoLA 2006: 271-276 - [c11]Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet:
Uniform random sampling of traces in very large models. Random Testing 2006: 10-19 - [c10]Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet:
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. QEST 2006: 129-130 - [c9]Akim Demaille, Thomas Hérault, Sylvain Peyronnet:
Probabilistic verification of sensor networks. RIVF 2006: 45-54 - [c8]Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil:
Evaluating Complex MAC Protocols for Sensor Networks with APMC. AVoCS 2006: 33-46 - 2005
- [c7]Jérôme Darbon, Sylvain Peyronnet:
A Vectorial Self-dual Morphological Filter Based on Total Variation Minimization. ISVC 2005: 388-395 - [c6]Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet:
Distribution, Approximation and Probabilistic Model Checking. PDMC@ICALP 2005: 19-30 - [c5]Richard Lassaigne, Sylvain Peyronnet:
Probabilistic Verification and Approximation. WoLLIC 2005: 101-114 - 2004
- [c4]Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet:
Approximate Probabilistic Model Checking. VMCAI 2004: 73-84 - [c3]Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny:
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. AVoCS 2004: 195-214 - 2002
- [c2]Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont:
Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing. LICS 2002: 30-39 - [c1]Richard Lassaigne, Sylvain Peyronnet:
Approximate Verification of Probabilistic Systems. PAPM-PROBMIV 2002: 213-214
Informal and Other Publications
- 2020
- [i7]Ilyes Kacher, Maxime Portaz, Hicham Randrianarivo, Sylvain Peyronnet:
Graphcore C2 Card performance for image-based deep learning application: A Report. CoRR abs/2002.11670 (2020) - 2019
- [i6]Maxime Portaz, Hicham Randrianarivo, Adrien Nivaggioli, Estelle Maudet, Christophe Servan, Sylvain Peyronnet:
Image search using multilingual texts: a cross-modal learning approach between image and text Maxime Portaz Qwant Research. CoRR abs/1903.11299 (2019) - 2015
- [i5]Jean Creusefond, Thomas Largillier, Sylvain Peyronnet:
On the evaluation potential of quality functions in community detection for different contexts. CoRR abs/1510.01714 (2015) - [i4]Thomas Largillier, Guillaume Peyronnet, Sylvain Peyronnet:
Efficient filtering of adult content using textual information. CoRR abs/1512.00198 (2015) - 2014
- [i3]Jean Creusefond, Thomas Largillier, Sylvain Peyronnet:
Finding compact communities in large graphs. CoRR abs/1410.2105 (2014) - 2006
- [i2]Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet:
Uniform Random Sampling of Traces in Very Large Models. CoRR abs/cs/0606086 (2006) - 2001
- [i1]Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont:
Probabilistic abstraction for model checking: An approach based on property testing. Electron. Colloquium Comput. Complex. TR01 (2001)
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-07-09 04:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
