221 citations
- Université Paris CitéFR69 papers
- Mathématiques Appliquées à Paris 5FR68 papers
- Mathématiques et Informatique Appliquées29 papers
- Centre National de la Recherche ScientifiqueFR26 papers
- Université Paris-Est CréteilFR12 papers
- Laboratoire d’Analyse et de Mathématiques AppliquéesFR11 papers
- Sorbonne UniversitéFR9 papers
- Mathématiques et Informatique pour la Complexité et les Systèmes8 papers
- Laboratoire de Mathématiques Blaise PascalFR7 papers
- Université Gustave EiffelFR7 papers
- Institut National de Recherche pour l'Agriculture, l'Alimentation et l'EnvironnementFR6 papers
- Laboratoire de Probabilités et Modèles AléatoiresFR6 papers
Showing 2016Show all
2 papers · 1 filter
stat.ME2016★ 48 cited
The Stochastic Topic Block Model for the Clustering of Vertices in Networks with Textual Edges
Bouveyron Charles, Latouche Pierre, Zreik Rawya
Due to the significant increase of communications between individuals via social media (Facebook, Twitter, Linkedin) or electronic formats (email, web, e-publication) in the past t…
cs.LO2016
On the Completeness of Selective Unification in Concolic Testing of Logic Programs
Fred Mesnard, Etienne Payet, German Vidal
Concolic testing is a popular dynamic validation technique that can be used for both model checking and automatic test case generation. We have recently introduced concolic testing…