pith. sign in

LIX)

Identifiers

  • name variant LIX) 0.60 · backfill

Papers (32)

  1. LU factorization with errors * cs.SC · 2019 · author #3
  2. Sharing a Library between Proof Assistants: Reaching out to the HOL Family cs.LO · 2018 · author #6
  3. Transforming face-to-face identity proofing into anonymous digital identity using the Bitcoin blockchain cs.CR · 2017 · author #3
  4. qDSA: Small and Secure Digital Signatures with Curve-based Diffie--Hellman Key Pairs cs.CR · 2017 · author #3
  5. Computing cardinalities of Q-curve reductions over finite fields math.NT · 2016 · author #5
  6. Solving discrete logarithms on a 170-bit MNT curve by pairing reduction cs.CR · 2016 · author #3
  7. Combinatorial RNA Design Designability and Structure-Approximating Algorithm in Watson-Crick and Nussinov-Jacobson Energy Models q-bio.QM · 2016 · author #3
  8. Proof Outlines as Proof Certificates: A System Description cs.LO · 2015 · author #2
  9. Confluence of Layered Rewrite Systems cs.LO · 2015 · author #2
  10. Computing Individual Discrete Logarithms Faster in GF$(p^n)$ with the NFS-DL Algorithm cs.CR · 2015 · author #2
  11. Assessing the robustness of parsimonious predictions for gene neighborhoods from reconciled phylogenies q-bio.QM · 2015 · author #4
  12. Short-term solar irradiance and irradiation forecasts via different time series techniques: A preliminary study cs.LG · 2014 · author #6
  13. The Q-curve construction for endomorphism-accelerated elliptic curves cs.CR · 2014 · author #2
  14. A Point Counting Algorithm for Cyclic Covers of the Projective Line cs.CG · 2014 · author #2
  15. Easy scalar decompositions for efficient scalar multiplication on elliptic curves and genus 2 Jacobians math.NT · 2013 · author #2
  16. Families of fast elliptic curves from Q-curves math.NT · 2013 · author #2
  17. Characteristics of Intronic and Intergenic Human miRNAs and Features of their Interaction with mRNA q-bio.GN · 2013 · author #4
  18. Partition Refinement for Bisimilarity in CCP cs.LO · 2012 · author #2
  19. The Refined Calculus of Inductive Construction: Parametricity and Abstraction cs.LO · 2012 · author #2
  20. Parametricity in an Impredicative Sort cs.LO · 2012 · author #2
  21. Tree decomposition and parameterized algorithms for RNA structure-sequence alignment including tertiary interactions and pseudoknots q-bio.QM · 2012 · author #5
  22. Ensuring message embedding in wet paper steganography cs.CR · 2011 · author #2
  23. On Quasi-Cyclic Codes as a Generalization of Cyclic Codes cs.IT · 2011 · author #2
  24. A Combinatorial Framework for Designing (Pseudoknotted) RNA Algorithms q-bio.QM · 2011 · author #2
  25. Non-redundant random generation from weighted context-free languages cs.DS · 2010 · author #2
  26. A mathematical explanation via "intelligent" PID controllers of the strange ubiquity of PIDs math.OC · 2010 · author #3
  27. Delta Hedging in Financial Engineering: Towards a Model-Free Approach q-fin.PR · 2010 · author #2
  28. Vers une commande sans mod\`ele pour am\'enagements hydro\'electriques en cascade math.OC · 2010 · author #5
  29. Kripke Models for Classical Logic math.LO · 2009 · author #3
  30. Wireless Broadcast with Network Coding in Mobile Ad-Hoc Networks: DRAGONCAST cs.NI · 2008 · author #2
  31. Definitions by rewriting in the Calculus of Constructions cs.LO · 2006 · author #2
  32. Vers une commande multivariable sans mod\`ele math.OC · 2006 · author #2

Mentions

  • 1511.04178 #2 · backfill · confidence 0.70 LIX)
  • 1509.04699 #2 · backfill · confidence 0.70 LIX)
  • 1505.07553 #2 · backfill · confidence 0.70 LIX)
  • 1503.05292 #4 · backfill · confidence 0.70 LIX)
  • 1409.7476 #6 · backfill · confidence 0.70 LIX)
  • 1409.4526 #2 · backfill · confidence 0.70 LIX)
  • 1408.2095 #2 · backfill · confidence 0.70 LIX)
  • 1310.5250 #2 · backfill · confidence 0.70 LIX)
  • 1305.5400 #2 · backfill · confidence 0.70 LIX)
  • 1301.5093 #4 · backfill · confidence 0.70 LIX)
  • 1212.1548 #2 · backfill · confidence 0.70 LIX)
  • 1211.6341 #2 · backfill · confidence 0.70 LIX)
  • 1209.6336 #2 · backfill · confidence 0.70 LIX)
  • 1206.3789 #5 · backfill · confidence 0.70 LIX)
  • 1111.2301 #2 · backfill · confidence 0.70 LIX)
  • 1108.3754 #2 · backfill · confidence 0.70 LIX)
  • 1106.3771 #2 · backfill · confidence 0.70 LIX)
  • 1012.4560 #2 · backfill · confidence 0.70 LIX)
  • 1005.0440 #3 · backfill · confidence 0.70 LIX)
  • 1005.0194 #2 · backfill · confidence 0.70 LIX)
  • 1003.0664 #5 · backfill · confidence 0.70 LIX)
  • 0904.0071 #3 · backfill · confidence 0.70 LIX)
  • 0807.0425 #2 · backfill · confidence 0.70 LIX)

Frequent Coauthors