Laurent Simon

Available identifiers

zbMath Open simon.laurent-s-rMaRDI QIDQ630953

List of research outcomes

Publication	Date of Publication	Type
Analysis of the absorption kinetics following dermal exposure to large doses of volatile organic compounds	2022-10-14	Paper
Controlled drug release from a spheroidal matrix	2022-07-18	Paper
SAT heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers	2021-04-07	Paper
Community Structure in Industrial SAT Instances	2019-10-11	Paper
On the effusion time of drugs from the open pore of a spherical vesicle	2018-11-13	Paper
Convex Regularizations for the Simultaneous Recording of Room Impulse Responses	2018-08-22	Paper
On the community structure of bounded model checking SAT problems	2017-11-15	Paper
Extreme Cases in SAT Problems	2016-09-05	Paper
Prediction of \textit{in-vivo} iontophoretic drug release data from \textit{in-vitro} experiments-insights from modeling	2015-12-28	Paper
Using Community Structure to Detect Relevant Learnt Clauses	2015-11-20	Paper
Lazy Clause Exchange Policy for Parallel SAT Solvers	2014-09-26	Paper
Impact of Community Structure on SAT Solver Performance	2014-09-26	Paper
Two-dimensional transport analysis of transdermal drug absorption with a non-perfect sink boundary condition at the skin-capillary interface	2014-02-12	Paper
Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction	2013-08-05	Paper
Optimizing with minimum satisfiability	2012-11-15	Paper
Flux tracking in drug delivery	2011-12-18	Paper
Effects of epidermal turnover on the dynamics of percutaneous drug absorption	2011-03-22	Paper
Transport mechanisms in oral transmucosal drug delivery: implications for pain management	2011-03-22	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q3624002	2009-04-28	Paper
Timely drug delivery from controlled-release devices: dynamic analysis and novel design con\-cepts	2009-04-03	Paper
Distributed Consistency-Based Diagnosis	2009-01-27	Paper
Analysis of heat-aided membrane-controlled drug release from a process control perspective	2007-05-23	Paper
SOFSEM 2006: Theory and Practice of Computer Science	2006-11-14	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q2741519	2001-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q2723442	2001-07-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Laurent Simon