Frédéric Didier

According to our database1, Frédéric Didier authored at least 13 papers between 2006 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
ViolationLS: Constraint-Based Local Search in CP-SAT.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

2023
The CP-SAT-LP Solver (Invited Talk).
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2015
Exploiting the Structure of Unsatisfiable Cores in MaxSAT.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2012
Invertible Extractors and Wiretap Protocols.
IEEE Trans. Inf. Theory, 2012

2011
Approximation of event probabilities in noisy cellular processes.
Theor. Comput. Sci., 2011

2010
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks.
Proceedings of the QEST 2010, 2010

2009
Attacking the combination generator
CoRR, 2009

Efficient erasure decoding of Reed-Solomon codes
CoRR, 2009

2007
Codes de Reed-Muller et cryptanalyse du registre filtré.
PhD thesis, 2007

Finding low-weight polynomial multiples using discrete logarithm.
Proceedings of the IEEE International Symposium on Information Theory, 2007

Attacking the Filter Generator by Finding Zero Inputs of the Filtering Function.
Proceedings of the Progress in Cryptology, 2007

2006
Using Wiedemann's algorithm to compute the immunity against algebraic and fast algebraic attacks.
IACR Cryptol. ePrint Arch., 2006

Computing the Algebraic Immunity Efficiently.
Proceedings of the Fast Software Encryption, 13th International Workshop, 2006


  Loading...