Laurent Simon
Orcid: 0000-0003-0544-5503
According to our database1,
Laurent Simon
authored at least 88 papers
between 1996 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Preventing Supply Chain Vulnerabilities in Java with a Fine-Grained Permission Manager.
CoRR, 2023
SCORED '23: Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023
2022
Proceedings of the 34th IEEE International Conference on Tools with Artificial Intelligence, 2022
SCORED '22: ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022
2021
Estimation of Heart Rate From Tracheal Sounds Recorded for the Sleep Apnea Syndrome Diagnosis.
IEEE Trans. Biomed. Eng., 2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
2020
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
Proceedings of the IEEE European Symposium on Security and Privacy, 2020
2019
2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018
Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018
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
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017
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
Proc. Priv. Enhancing Technol., 2016
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016
Proceedings of the 24th European Signal Processing Conference, 2016
2015
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
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
IEEE Trans. Instrum. Meas., 2014
Molecular Transport in Viscoelastic Materials: Mechanistic Properties and Chemical Affinities.
SIAM J. Appl. Math., 2014
Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 2014
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
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
Proceedings of the IEEE International Conference on Acoustics, 2013
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
Comput. Methods Programs Biomed., 2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the Principles and Practice of Constraint Programming, 2012
Proceedings of the Principles and Practice of Constraint Programming, 2012
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
2010
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
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
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
Proceedings of the Logic for Programming, 2008
Proceedings of the 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), 2008
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
Proceedings of the IJCAI 2007, 2007
2006
J. Satisf. Boolean Model. Comput., 2006
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
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005
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
Proceedings of the Theory and Applications of Satisfiability Testing, 2004
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
Proceedings of the Theory and Applications of Satisfiability Testing, 2003
Proceedings of the Theory and Applications of Satisfiability Testing, 2003
Data driven approaches to modeling and analysis of bioprocesses: some industrial examples.
Proceedings of the American Control Conference, 2003
2002
Modeling and control of amino acid starvation-induced apoptosis in CHO cell cultures.
Proceedings of the American Control Conference, 2002
2001
Electron. Notes Discret. Math., 2001
Efficient Consequence Finding.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
2000
Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000
Proceedings of the Automated Deduction, 2000
1998
IEEE Trans. Instrum. Meas., 1998
1996
Proceedings of the 8th European Signal Processing Conference, 1996