◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Télécom SudParis

France

65 papers here865 citations across 65
fields
  • cs.NI14
  • cs.CR6
  • math.ST5
  • cs.CV4
  • eess.SP4
  • cs.CY3
  • cs.LG3
  • q-bio.QM3
ROR 05xvk4r52OpenAlex

affiliations via OpenAlex

output
20072024
most citedAdaptive Importance Sampling in General Mixture Classes

208 citations

researchers with a paper here
  • M. Ammi7
  • Maxime De Bois2 profiles7 · h 1
  • Mounîm A. El-Yacoubi6 · h 23
  • Joaquín García2 profiles5 · h 24
  • Andrea Araldo4 profiles4 · h 6
  • R. Douc4 · h 28
  • Vincent Gauthier3 profiles4 · h 19
  • Yannis Tevissen2 profiles4 · h 3
  • Catherine Dubois2 profiles3 · h 15
  • Frédéric Petitpont3
  • Jérôme Boudy3
  • Marius Preda2 profiles3 · h 6
collaborating institutions
  • Institut Polytechnique de ParisFR60 papers
  • Centre National de la Recherche ScientifiqueFR23 papers
  • Services répartis, Architectures, MOdélisation, Validation, Administration des RéseauxFR16 papers
  • Institut Mines-TélécomFR10 papers
  • Télécom ParisFR9 papers
  • Laboratoire Traitement et Communication de l’InformationFR8 papers
  • Université Paris 8FR7 papers
  • Université Paris-SaclayFR7 papers
  • École Nationale Supérieure d’Informatique pour l’Industrie et l’EntrepriseFR4 papers
  • Laboratoire d'Informatique pour la Mécanique et les Sciences de l'IngénieurFR4 papers
  • Orange (France)FR3 papers
  • American Rock Mechanics AssociationUS2 papers
Showing 2017 · cs.LOShow all

1 paper · 2 filters

cs.LO2017

Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving

Catherine Dubois, Bruno Woltzenlogel Paleo

This volume of EPTCS contains the proceedings of the Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017), held on September 23-24, 2017 as part of the Tableaux, FroCoS…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.