Остановите войну!
for scientists:
default search action
Laurent Simon
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c57]Maxime Fuccellaro, Laurent Simon, Akka Zemmari:
A Robust Drift Detection Algorithm with High Accuracy and Low False Positives Rate. SafeAI@AAAI 2023 - [c56]Marcela S. Melara, Santiago Torres-Arias, Laurent Simon:
SCORED '23: Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses. CCS 2023: 3671-3672 - [e4]Santiago Torres-Arias, Marcela S. Melara, Laurent Simon, Nikos Vasilakis, Kathleen Moriarty:
Proceedings of the 2023 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses, SCORED 2023, Copenhagen, Denmark, 30 November 2023. ACM 2023 [contents] - [i5]Paschal C. Amusuo, Kyle A. Robinson, Santiago Torres-Arias, Laurent Simon, James C. Davis:
Preventing Supply Chain Vulnerabilities in Java with a Fine-Grained Permission Manager. CoRR abs/2310.14117 (2023) - 2022
- [c55]Santiago Torres-Arias, Marcela S. Melara, Laurent Simon:
SCORED '22: ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses. CCS 2022: 3555-3556 - [c54]Maxime Fuccellaro, Laurent Simon, Akka Zemmari:
Partially Supervised Classification for Early Concept Drift Detection. ICTAI 2022: 190-196 - [e3]Santiago Torres-Arias, Marcela S. Melara, Laurent Simon:
Proceedings of the 2022 ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses, SCORED2022, Los Angeles, CA, USA, 7 November 2022. ACM 2022, ISBN 978-1-4503-9885-5 [contents] - 2021
- [j29]Nathalie Freycenon, Roberto Longo, Laurent Simon:
Estimation of Heart Rate From Tracheal Sounds Recorded for the Sleep Apnea Syndrome Diagnosis. IEEE Trans. Biomed. Eng. 68(10): 3039-3047 (2021) - [c53]Gaël Glorian, Adrien Debesson, Sylvain Yvon-Paliot, Laurent Simon:
The Dungeon Variations Problem Using Constraint Programming. CP 2021: 27:1-27:16 - [c52]Théo Matricon, Marie Anastacio, Nathanaël Fijalkow, Laurent Simon, Holger H. Hoos:
Statistical Comparison of Algorithm Performance Through Instance Selection. CP 2021: 43:1-43:21 - [c51]Jonathan Metzman, László Szekeres, Laurent Simon, Read Sprabery, Abhishek Arya:
FuzzBench: an open fuzzer benchmarking platform and service. ESEC/SIGSOFT FSE 2021: 1393-1403 - 2020
- [j28]Pierre Lecomte, Manuel Melon, Laurent Simon:
Spherical Fraction Beamforming. IEEE ACM Trans. Audio Speech Lang. Process. 28: 2996-3009 (2020) - [c50]Laurent Simon, Akash Verma:
Improving Fuzzing through Controlled Compilation. EuroS&P 2020: 34-52 - [c49]Gilles Audemard, Loïc Paulevé, Laurent Simon:
SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers. SAT 2020: 107-113 - [c48]Darius Suciu, Stephen E. McLaughlin, Laurent Simon, Radu Sion:
Horizontal Privilege Escalation in Trusted Applications. USENIX Security Symposium 2020 - [i4]Gilles Audemard, Loïc Paulevé, Laurent Simon:
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers. CoRR abs/2006.01503 (2020)
2010 – 2019
- 2019
- [j27]Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon:
Community Structure in Industrial SAT Instances. J. Artif. Intell. Res. 66: 443-472 (2019) - [j26]Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, Hayawardh Vijayakumar:
FuzzFactory: domain-specific fuzzing with waypoints. Proc. ACM Program. Lang. 3(OOPSLA): 174:1-174:29 (2019) - [i3]Ilia Shumailov, Laurent Simon, Jeff Yan, Ross Anderson:
Hearing your touch: A new acoustic side channel on smartphones. CoRR abs/1903.11137 (2019) - 2018
- [j25]Gilles Audemard, Laurent Simon:
On the Glucose SAT Solver. Int. J. Artif. Intell. Tools 27(1): 1840001:1-1840001:25 (2018) - [c47]Rohan Fossé, Laurent Simon:
On the Non-degeneracy of Unsatisfiability Proof Graphs Produced by SAT Solvers. CP 2018: 128-143 - [c46]Laurent Simon, David Chisnall, Ross J. Anderson:
What You Get is What You C: Controlling Side Effects in Mainstream C Compilers. EuroS&P 2018: 1-15 - [c45]Guillaume Baud-Berthier, Laurent Simon:
Zigzagging Strategies for Temporal Induction. ICTAI 2018: 744-748 - [c44]Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon:
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks. IJCAI 2018: 1300-1308 - 2017
- [j24]Laurent Simon:
A laplace transform-based technique for solving multiscale and multidomain problems: Application to a countercurrent hemodialyzer model. Comput. Biol. Medicine 87: 230-235 (2017) - [j23]Laurent Simon:
An effective time-constant algorithm for drug transport to capillaries and surrounding tissues. Comput. Biol. Medicine 89: 24-30 (2017) - [c43]Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon:
Diagnosability Planning for Controllable Discrete Event Systems. AAAI 2017: 1149-1155 - [c42]Guillaume Baud-Berthier, Laurent Simon:
On Selecting Constraints for Replication in Model Checking. ICTAI 2017: 876-883 - [c41]Guillaume Baud-Berthier, Jesús Giráldez-Cru, Laurent Simon:
On the Community Structure of Bounded Model Checking SAT Problems. SAT 2017: 65-82 - 2016
- [j22]Laurent Simon, Wenduan Xu, Ross J. Anderson:
Don't Interrupt Me While I Type: Inferring Text Entered Through Gesture Typing on Android Keyboards. Proc. Priv. Enhancing Technol. 2016(3): 136-154 (2016) - [j21]Sheharbano Khattak, Tariq Elahi, Laurent Simon, Colleen M. Swanson, Steven J. Murdoch, Ian Goldberg:
SoK: Making Sense of Censorship Resistance Systems. Proc. Priv. Enhancing Technol. 2016(4): 37-61 (2016) - [c40]Antonin Novak, Laurent Simon, Pierrick Lotton:
Extension of Generalized Hammerstein model to non-polynomial inputs. EUSIPCO 2016: 21-25 - [c39]Gilles Audemard, Laurent Simon:
Extreme Cases in SAT Problems. SAT 2016: 87-103 - [e2]Boris Konev, Stephan Schulz, Laurent Simon:
IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015. EPiC Series in Computing 40, EasyChair 2016 [contents] - 2015
- [c38]Hassan Ibrahim, Philippe Dague, Laurent Simon:
Using Incremental SAT for Testing Diagnosability of Distributed DES. DX 2015: 51-58 - [c37]Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon:
Using Community Structure to Detect Relevant Learnt Clauses. SAT 2015: 238-254 - 2014
- [j20]Gilles Audemard, Armin Biere, Jean-Marie Lagniez, Laurent Simon:
Améliorer SAT dans le cadre incrémental. Rev. d'Intelligence Artif. 28(5): 593-614 (2014) - [j19]José Augusto Ferreira, Paula de Oliveira, Pascoal M. da Silva, Laurent Simon:
Molecular Transport in Viscoelastic Materials: Mechanistic Properties and Chemical Affinities. SIAM J. Appl. Math. 74(5): 1598-1614 (2014) - [j18]Antonin Novak, Balbine Maillou, Pierrick Lotton, Laurent Simon:
Nonparametric Identification of Nonlinear Systems in Series. IEEE Trans. Instrum. Meas. 63(8): 2044-2051 (2014) - [c36]Sabine Pérès, Martin Morterol, Laurent Simon:
SAT-Based Metabolics Pathways Analysis without Compilation. CMSB 2014: 20-31 - [c35]Laurent Simon:
Post Mortem Analysis of SAT Solver Proofs. POS@SAT 2014: 26-40 - [c34]Gilles Audemard, Laurent Simon:
Lazy Clause Exchange Policy for Parallel SAT Solvers. SAT 2014: 197-205 - [c33]Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon:
Impact of Community Structure on SAT Solver Performance. SAT 2014: 252-268 - [i2]Sheharbano Khattak, Laurent Simon, Steven J. Murdoch:
Systemization of Pluggable Transports for Censorship Resistance. CoRR abs/1412.7448 (2014) - 2013
- [c32]George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon:
Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers. AAAI 2013: 481-488 - [c31]Laurent Simon, Ross J. Anderson:
PIN skimmer: inferring PINs through the camera and microphone. SPSM@CCS 2013: 67-78 - [c30]Ewen Carcreff, Sébastien Bourguignon, Jérôme Idier, Laurent Simon:
Resolution enhancement of ultrasonic signals by up-sampled sparse deconvolution. ICASSP 2013: 6511-6515 - [c29]Gilles Audemard, Jean-Marie Lagniez, Laurent Simon:
Just-In-Time Compilation of Knowledge Bases. IJCAI 2013: 447-453 - [c28]Gilles Audemard, Jean-Marie Lagniez, Laurent Simon:
Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction. SAT 2013: 309-317 - 2012
- [j17]Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon:
Optimizing with minimum satisfiability. Artif. Intell. 190: 32-44 (2012) - [j16]Matti Järvisalo, Daniel Le Berre, Olivier Roussel, Laurent Simon:
The International SAT Solver Competitions. AI Mag. 33(1): 89-92 (2012) - [j15]Laurent Simon:
Graphical process design tools for iontophoretic transdermal drug-delivery devices. Comput. Methods Programs Biomed. 107(3): 447-455 (2012) - [c27]Vincent Armant, Laurent Simon, Philippe Dague:
Distributed Tree Decomposition with Privacy. CP 2012: 102-117 - [c26]Gilles Audemard, Laurent Simon:
Refining Restarts Strategies for SAT and UNSAT. CP 2012: 118-126 - [c25]George Katsirelos, Laurent Simon:
Eigenvector Centrality in Industrial SAT Instances. CP 2012: 348-356 - [c24]George Katsirelos, Laurent Simon:
Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation). SAT 2012: 496-497 - 2011
- [j14]Kwang Seok Kim, Laurent Simon:
Modeling and design of transdermal drug delivery patches containing an external heating device. Comput. Chem. Eng. 35(6): 1152-1163 (2011) - [c23]Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon:
Minimum Satisfiability and Its Applications. IJCAI 2011: 605-610 - [e1]Karem A. Sakallah, Laurent Simon:
Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings. Lecture Notes in Computer Science 6695, Springer 2011, ISBN 978-3-642-21580-3 [contents] - [i1]Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon:
Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web. CoRR abs/1109.5716 (2011) - 2010
- [j13]Antonin Novak, Laurent Simon, Pierrick Lotton:
Analysis, Synthesis, and Classification of Nonlinear Systems Using Synchronized Swept-Sine Method for Audio Effects. EURASIP J. Adv. Signal Process. 2010 (2010) - [j12]Antonin Novak, Laurent Simon, F. Kadlec, Pierrick Lotton:
Nonlinear System Identification Using Exponential Swept-Sine Signal. IEEE Trans. Instrum. Meas. 59(8): 2220-2229 (2010) - [c22]Gilles Audemard, George Katsirelos, Laurent Simon:
A Restriction of Extended Resolution for Clause Learning SAT Solvers. AAAI 2010: 15-20
2000 – 2009
- 2009
- [j11]Kwang Seok Kim, Laurent Simon:
Optimal intravenous bolus-infusion drug-dosage regimen based on two-compartment pharmacokinetic models. Comput. Chem. Eng. 33(6): 1212-1219 (2009) - [c21]Gilles Audemard, Laurent Simon:
Predicting Learnt Clauses Quality in Modern SAT Solvers. IJCAI 2009: 399-404 - 2008
- [j10]Laurent Simon, Olivier Richoux, Anne Degroot, Louis Lionet:
Laser Doppler Velocimetry for Joint Measurements of Acoustic and Mean Flow Velocities: LMS-Based Algorithm and CRB Calculation. IEEE Trans. Instrum. Meas. 57(7): 1455-1464 (2008) - [c20]Gilles Audemard, Laurent Simon:
Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms. CP 2008: 630-634 - [c19]W. David Holford, Mehran Ebrahimi, Omar Aktouf, Laurent Simon:
Viewing Boundary "Objects" as Boundary Constructions. HICSS 2008: 339 - [c18]Vincent Armant, Philippe Dague, Laurent Simon:
Distributed Consistency-Based Diagnosis. LPAR 2008: 113-127 - 2007
- [j9]Amit Goyal, Shailaja Mandapuram, Bozena Michniak, Laurent Simon:
Application of orthogonal collocation and regression techniques for recovering parameters of a two-pathway transdermal drug-delivery model. Comput. Chem. Eng. 31(3): 107-120 (2007) - [c17]Gilles Audemard, Laurent Simon:
GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability. IJCAI 2007: 2256-2261 - 2006
- [j8]Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon:
Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web. J. Artif. Intell. Res. 25: 269-314 (2006) - [j7]Daniel Le Berre, Laurent Simon:
Preface to the Special Volume on the SAT 2005 Competitions and Evaluations. J. Satisf. Boolean Model. Comput. 2(1-4) (2006) - [c16]Anne Degroot, Silvio Montrésor, Bruno Gazengel, Olivier Richoux, Laurent Simon:
Doppler Signal Detection And Particle Time Of Flight Estimation Using Wavelet Transform For Acoustic Velocity Measurement. ICASSP (3) 2006: 145-148 - [c15]Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon:
SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies. OTM Conferences (1) 2006: 698-703 - [c14]Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon:
SomeWhere in the Semantic Web. SOFSEM 2006: 84-99 - 2005
- [j6]Laurent Simon, Daniel Le Berre, Edward A. Hirsch:
The SAT2002 competition. Ann. Math. Artif. Intell. 43(1): 307-342 (2005) - [j5]Paul W. Purdom, Daniel Le Berre, Laurent Simon:
A parsimony tree for the SAT2002 competition. Ann. Math. Artif. Intell. 43(1): 343-365 (2005) - [c13]Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon:
Scalability Study of Peer-to-Peer Consequence Finding. IJCAI 2005: 351-356 - [c12]Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon:
SomeWhere in the Semantic Web. PPSWR 2005: 1-16 - 2004
- [j4]Laurent Simon, Maria Fernandes:
Neural network-based prediction and optimization of estradiol release from ethylene-vinyl acetate membranes. Comput. Chem. Eng. 28(11): 2407-2419 (2004) - [c11]Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon:
Distributed Reasoning in a Peer-to-Peer Setting. ECAI 2004: 945-946 - [c10]Daniel Le Berre, Laurent Simon:
Fifty-Five Solvers in Vancouver: The SAT 2004 Competition. SAT (Selected Papers 2004: 321-344 - [c9]Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella:
The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers 2004: 376-392 - 2003
- [c8]David Hodge, Laurent Simon, M. Nazmul Karim:
Data driven approaches to modeling and analysis of bioprocesses: some industrial examples. ACC 2003: 2062-2076 - [c7]Daniel Le Berre, Laurent Simon:
The Essentials of the SAT 2003 Competition. SAT 2003: 452-467 - [c6]Daniel Le Berre, Laurent Simon, Armando Tacchella:
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. SAT 2003: 468-485 - 2002
- [c5]Laurent Simon, M. Nazmul Karim:
Modeling and control of amino acid starvation-induced apoptosis in CHO cell cultures. ACC 2002: 1579-1584 - 2001
- [j3]Laurent Simon, Philippe Chatalic:
SatEx: A Web-based Framework for SAT Experimentation. Electron. Notes Discret. Math. 9: 129-149 (2001) - [j2]Philippe Chatalic, Laurent Simon:
Multiresolution for SAT Checking. Int. J. Artif. Intell. Tools 10(4): 451-481 (2001) - [c4]Laurent Simon, Alvaro del Val:
Efficient Consequence Finding. IJCAI 2001: 359-370 - 2000
- [c3]Philippe Chatalic, Laurent Simon:
ZRES: The Old Davis-Putman Procedure Meets ZBDD. CADE 2000: 449-454 - [c2]Philippe Chatalic, Laurent Simon:
Multi-resolution on compressed sets of clauses. ICTAI 2000: 2-10
1990 – 1999
- 1998
- [j1]Abdeldjalil Ouahabi, Claude Depollier, Laurent Simon, Denis Kouame:
Spectrum estimation from randomly sampled velocity data [LDV]. IEEE Trans. Instrum. Meas. 47(4): 1005-1012 (1998) - 1996
- [c1]Abdeldjalil Ouahabi, Claude Deponier, Laurent Simon, Denis Kouame, J. F. Roux, Frédéric Patat:
Spectral analysis of randomly sampled processes. EUSIPCO 1996: 1-4
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-02-07 03:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint