Laurent Simon

According to our database1, Laurent Simon authored at least 77 papers between 1996 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Spherical Fraction Beamforming.
IEEE ACM Trans. Audio Speech Lang. Process., 2020

Horizontal Privilege Escalation in Trusted Applications.
Proceedings of the 29th USENIX Security Symposium, 2020

SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Improving Fuzzing through Controlled Compilation.
Proceedings of the IEEE European Symposium on Security and Privacy, 2020

2019
FuzzFactory: domain-specific fuzzing with waypoints.
Proc. ACM Program. Lang., 2019

Community Structure in Industrial SAT Instances.
J. Artif. Intell. Res., 2019

Hearing your touch: A new acoustic side channel on smartphones.
CoRR, 2019

2018
On the Glucose SAT Solver.
Int. J. Artif. Intell. Tools, 2018

Seeking Practical CDCL Insights from Theoretical SAT Benchmarks.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Zigzagging Strategies for Temporal Induction.
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

What You Get is What You C: Controlling Side Effects in Mainstream C Compilers.
Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers.
Proceedings of the Principles and Practice of Constraint Programming, 2018

2017
An effective time-constant algorithm for drug transport to capillaries and surrounding tissues.
Comput. Biol. Medicine, 2017

A laplace transform-based technique for solving multiscale and multidomain problems: Application to a countercurrent hemodialyzer model.
Comput. Biol. Medicine, 2017

On the Community Structure of Bounded Model Checking SAT Problems.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

On Selecting Constraints for Replication in Model Checking.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Diagnosability Planning for Controllable Discrete Event Systems.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Don't Interrupt Me While I Type: Inferring Text Entered Through Gesture Typing on Android Keyboards.
Proc. Priv. Enhancing Technol., 2016

SoK: Making Sense of Censorship Resistance Systems.
Proc. Priv. Enhancing Technol., 2016

Extreme Cases in SAT Problems.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Extension of Generalized Hammerstein model to non-polynomial inputs.
Proceedings of the 24th European Signal Processing Conference, 2016

2015
Using Community Structure to Detect Relevant Learnt Clauses.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Using Incremental SAT for Testing Diagnosability of Distributed DES.
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

2014
Nonparametric Identification of Nonlinear Systems in Series.
IEEE Trans. Instrum. Meas., 2014

Molecular Transport in Viscoelastic Materials: Mechanistic Properties and Chemical Affinities.
SIAM J. Appl. Math., 2014

Améliorer SAT dans le cadre incrémental.
Rev. d'Intelligence Artif., 2014

Systemization of Pluggable Transports for Censorship Resistance.
CoRR, 2014

Post Mortem Analysis of SAT Solver Proofs.
Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 2014

Impact of Community Structure on SAT Solver Performance.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Lazy Clause Exchange Policy for Parallel SAT Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

SAT-Based Metabolics Pathways Analysis without Compilation.
Proceedings of the Computational Methods in Systems Biology, 2014

2013
Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Just-In-Time Compilation of Knowledge Bases.
Proceedings of the IJCAI 2013, 2013

Resolution enhancement of ultrasonic signals by up-sampled sparse deconvolution.
Proceedings of the IEEE International Conference on Acoustics, 2013

PIN skimmer: inferring PINs through the camera and microphone.
Proceedings of the SPSM'13, 2013

Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Graphical process design tools for iontophoretic transdermal drug-delivery devices.
Comput. Methods Programs Biomed., 2012

The International SAT Solver Competitions.
AI Mag., 2012

Optimizing with minimum satisfiability.
Artif. Intell., 2012

Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation).
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Eigenvector Centrality in Industrial SAT Instances.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Refining Restarts Strategies for SAT and UNSAT.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Distributed Tree Decomposition with Privacy.
Proceedings of the Principles and Practice of Constraint Programming, 2012

2011
Modeling and design of transdermal drug delivery patches containing an external heating device.
Comput. Chem. Eng., 2011

Minimum Satisfiability and Its Applications.
Proceedings of the IJCAI 2011, 2011

2010
Nonlinear System Identification Using Exponential Swept-Sine Signal.
IEEE Trans. Instrum. Meas., 2010

Analysis, Synthesis, and Classification of Nonlinear Systems Using Synchronized Swept-Sine Method for Audio Effects.
EURASIP J. Adv. Signal Process., 2010

A Restriction of Extended Resolution for Clause Learning SAT Solvers.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Optimal intravenous bolus-infusion drug-dosage regimen based on two-compartment pharmacokinetic models.
Comput. Chem. Eng., 2009

Predicting Learnt Clauses Quality in Modern SAT Solvers.
Proceedings of the IJCAI 2009, 2009

2008
Laser Doppler Velocimetry for Joint Measurements of Acoustic and Mean Flow Velocities: LMS-Based Algorithm and CRB Calculation.
IEEE Trans. Instrum. Meas., 2008

Distributed Consistency-Based Diagnosis.
Proceedings of the Logic for Programming, 2008

Viewing Boundary "Objects" as Boundary Constructions.
Proceedings of the 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), 2008

Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms.
Proceedings of the Principles and Practice of Constraint Programming, 2008

2007
Application of orthogonal collocation and regression techniques for recovering parameters of a two-pathway transdermal drug-delivery model.
Comput. Chem. Eng., 2007

GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability.
Proceedings of the IJCAI 2007, 2007

2006
Preface to the Special Volume on the SAT 2005 Competitions and Evaluations.
J. Satisf. Boolean Model. Comput., 2006

Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web.
J. Artif. Intell. Res., 2006

SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Doppler Signal Detection And Particle Time Of Flight Estimation Using Wavelet Transform For Acoustic Velocity Measurement.
Proceedings of the 2006 IEEE International Conference on Acoustics Speech and Signal Processing, 2006

2005
The SAT2002 competition.
Ann. Math. Artif. Intell., 2005

A parsimony tree for the SAT2002 competition.
Ann. Math. Artif. Intell., 2005

SomeWhere in the Semantic Web.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

Scalability Study of Peer-to-Peer Consequence Finding.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004
Neural network-based prediction and optimization of estradiol release from ethylene-vinyl acetate membranes.
Comput. Chem. Eng., 2004

Fifty-Five Solvers in Vancouver: The SAT 2004 Competition.
Proceedings of the Theory and Applications of Satisfiability Testing, 2004

The Second QBF Solvers Comparative Evaluation.
Proceedings of the Theory and Applications of Satisfiability Testing, 2004

Distributed Reasoning in a Peer-to-Peer Setting.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing, 2003

The Essentials of the SAT 2003 Competition.
Proceedings of the Theory and Applications of Satisfiability Testing, 2003

2001
Multiresolution for SAT Checking.
Int. J. Artif. Intell. Tools, 2001

SatEx: A Web-based Framework for SAT Experimentation.
Electron. Notes Discret. Math., 2001

Efficient Consequence Finding.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
Multi-resolution on compressed sets of clauses.
Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

ZRES: The Old Davis-Putman Procedure Meets ZBDD.
Proceedings of the Automated Deduction, 2000

1998
Spectrum estimation from randomly sampled velocity data [LDV].
IEEE Trans. Instrum. Meas., 1998

1996
Spectral analysis of randomly sampled processes.
Proceedings of the 8th European Signal Processing Conference, 1996


  Loading...