pith. sign in

INRIA)

Identifiers

  • name variant Inria) 0.60 · backfill

Papers (22)

  1. From Statistics to Individuals: An Exploration of Zoomable Empathic Visualizations cs.HC · 2026 · author #4 as printed: Inria)
  2. Minimax Optimal Variance-Aware Regret Bounds for Multinomial Logistic MDPs cs.AI · 2026 · author #5 as printed: Inria)
  3. Transforming face-to-face identity proofing into anonymous digital identity using the Bitcoin blockchain cs.CR · 2017 · author #7
  4. A Weak Overdamped Limit Theorem for Langevin Processes math.PR · 2017 · author #3
  5. Mining relevant interval rules cs.AI · 2017 · author #3
  6. Automated Sized-Type Inference and Complexity Analysis cs.LO · 2017 · author #3
  7. Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method cs.SY · 2017 · author #6
  8. Framework for Electroencephalography-based Evaluation of User Experience cs.HC · 2016 · author #8
  9. Weakly informative reparameterisations for location-scale mixtures stat.ME · 2016 · author #2
  10. Datalog Rewritings of Regular Path Queries using Views cs.DB · 2015 · author #2
  11. Geometry of Resource Interaction - A Minimalist Approach cs.LO · 2015 · author #6
  12. Tableaux Modulo Theories Using Superdeduction cs.LO · 2015 · author #5
  13. A general procedure to combine estimators stat.ME · 2014 · author #2
  14. XPath Node Selection over Grammar-Compressed Trees cs.DB · 2013 · author #3
  15. Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version) cs.PL · 2013 · author #2
  16. Petri Net Reachability Graphs: Decidability Status of First Order Properties cs.LO · 2012 · author #5
  17. Forward Analysis for WSTS, Part II: Complete WSTS cs.LO · 2012 · author #7
  18. QRB-Domains and the Probabilistic Powerdomain cs.PL · 2012 · author #4
  19. The complexity of linear-time temporal logic over the class of ordinals cs.LO · 2010 · author #4
  20. Free Energy Methods for Bayesian Inference: Efficient Exploration of Univariate Gaussian Mixture Posteriors stat.CO · 2010 · author #5
  21. Rewriting Logic Semantics of a Plan Execution Language cs.PL · 2010 · author #2
  22. Articulation entre composantes verbale et graphico-gestuelle de l'interaction dans des r\'{e}unions de conception architecturale cs.HC · 2006 · author #2

Mentions

  • 1502.04775 #6 · backfill · confidence 0.70 INRIA)
  • 1501.01301 #5 · backfill · confidence 0.70 INRIA)
  • 2605.31026 #4 · arxiv_oai · confidence 0.70 Inria)
  • 1401.6371 #2 · backfill · confidence 0.70 INRIA)
  • 1311.5573 #3 · backfill · confidence 0.70 INRIA)
  • 1309.5149 #2 · backfill · confidence 0.70 INRIA)
  • 1210.2972 #5 · backfill · confidence 0.70 INRIA)
  • 1208.4549 #7 · backfill · confidence 0.70 INRIA)
  • 1202.2287 #4 · backfill · confidence 0.70 INRIA)
  • 2605.19768 #5 · arxiv_oai · confidence 0.70 Inria)
  • 1009.5206 #4 · backfill · confidence 0.70 INRIA)
  • 1003.0428 #5 · backfill · confidence 0.70 INRIA)
  • 1002.2872 #2 · backfill · confidence 0.70 INRIA)

Frequent Coauthors