pith. sign in

Ecole Polytechnique)

Identifiers

  • name variant Ecole Polytechnique) 0.60 · backfill

Papers (46)

  1. A Proof Theory for Model Checking: An Extended Abstract cs.LO · 2017 · author #2
  2. Compiling Process Networks to Interaction Nets cs.PL · 2016 · author #2
  3. The light-front energy-momentum tensor hep-ph · 2015 · author #2
  4. On growth-optimal tax rates and the issue of wealth inequalities q-fin.EC · 2015 · author #2
  5. Mixing HOL and Coq in Dedukti (Extended Abstract) cs.LO · 2015 · author #2
  6. Translating HOL to Dedukti cs.LO · 2015 · author #2
  7. An Implementation Model for Interaction Nets cs.LO · 2015 · author #4
  8. Advanced Proof Viewing in ProofTool cs.LO · 2014 · author #2
  9. On a relation between production processes and total cross sections hep-ph · 2013 · author #2
  10. Probabilistic modal {\mu}-calculus with independent product cs.LO · 2012 · author #2
  11. Essential Convexity and Complexity of Semi-Algebraic Constraints cs.CC · 2012 · author #2
  12. On the equivalence of game and denotational semantics for the probabilistic mu-calculus cs.LO · 2012 · author #2
  13. Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis cs.LO · 2011 · author #5
  14. Improved Frechet bounds and model-free pricing of multi-asset options q-fin.PR · 2010 · author #2
  15. Correlations in impact-parameter space in a hierarchical saturation model for QCD at high energy hep-ph · 2010 · author #3
  16. A new class ${\hat o}_N$ of statistical models: Transfer matrix eigenstates, chain Hamiltonians, factorizable $S$-matrix math.QA · 2006 · author #3
  17. Surface conductivity of DR1-functionalized organic-inorganic sol-gel materials cond-mat.mtrl-sci · 2006 · author #14
  18. Effect of chromophore-chromophore electrostatic interactions in the NLO response of functionalized organic-inorganic sol-gel materials cond-mat.mtrl-sci · 2006 · author #17
  19. Optical 3D-storage in sol-gel materials with a reading by Optical Coherence Tomography-technique cond-mat.mtrl-sci · 2006 · author #19
  20. Classification and a toolbox for orientifold models hep-th · 2005 · author #2
  21. Thesis: Orientifolds, Anomalies and the Standard Model hep-th · 2005 · author #2
  22. A Classification of Toroidal Orientifold Models hep-th · 2005 · author #2
  23. Anomalous U(1)s masses in non-supersymmetric open string vacua hep-th · 2004 · author #2
  24. Deep Electroproduction of Photons and Mesons on the Deuteron hep-ph · 2003 · author #3
  25. Stopping games in continuous time math.OC · 2003 · author #2
  26. D3-branes in NS5-brane backgrounds hep-th · 2003 · author #2
  27. Deeply Virtual Compton Scattering on Spin-1 Nuclei hep-ph · 2002 · author #4
  28. Generalized Parton Distributions and Generalized Distribution Amplitudes : New Tools for Hadronic Physics hep-ph · 2002 · author #2
  29. Two AdS2 branes in the Euclidean AdS3 hep-th · 2002 · author #2
  30. AdS2 D-branes in AdS3 spacetime hep-th · 2002 · author #2
  31. Log-infinitely divisible multifractal processes cond-mat.stat-mech · 2002 · author #2
  32. Multifractal stationary random measures and multifractal random walks with log-infinitely divisible scaling laws cond-mat.stat-mech · 2002 · author #4
  33. D-branes on Calabi-Yau Manifolds and Superpotentials hep-th · 2002 · author #5
  34. Some comments on Anti-de Sitter D-branes hep-th · 2001 · author #3
  35. Singularity Cancellation in Fermion Loops through Ward Identities cond-mat.str-el · 2000 · author #3
  36. Mechanical detection of nuclear spin relaxation in a micron-size crystal cond-mat · 2000 · author #7
  37. Mass Generation in the Large N nonlinear sigma-Model math-ph · 1999 · author #2
  38. Non-tachyonic open descendants of the 0B string theory hep-th · 1998 · author #2
  39. A note on non-perturbative R^4 couplings hep-th · 1998 · author #2
  40. D-effects in Toroidally Compactified Type II String Theory hep-th · 1997 · author #2
  41. Phenomenology of the Interest Rate Curve cond-mat.stat-mech · 1997 · author #7
  42. Form factor description of the non-collinear Compton scattering tensor hep-ph · 1997 · author #2
  43. On $R^4$ threshold corrections in IIB string theory and (p,q) string instantons hep-th · 1997 · author #3
  44. Remark on the kinematics of the one-photon production in electron-proton scattering hep-ph · 1997 · author #2
  45. The Anderson Model as a Matrix Model cond-mat · 1996 · author #4
  46. D-brane dynamics hep-th · 1995 · author #2

Mentions

  • 1410.8218 #2 · backfill · confidence 0.70 Ecole Polytechnique)
  • 1307.3024 #2 · backfill · confidence 0.70 Ecole Polytechnique)
  • 1211.1511 #2 · backfill · confidence 0.70 Ecole Polytechnique)
  • 1210.0420 #2 · backfill · confidence 0.70 Ecole Polytechnique)
  • 1205.0126 #2 · backfill · confidence 0.70 Ecole Polytechnique)
  • 1111.5223 #5 · backfill · confidence 0.70 Ecole Polytechnique)
  • 1004.4153 #2 · backfill · confidence 0.70 Ecole Polytechnique)
  • 1002.4575 #3 · backfill · confidence 0.70 Ecole Polytechnique)

Frequent Coauthors