| Publication | Date of Publication | Type |
|---|
Inverse geometry for Kirchhoff elastic rods Proceedings of the IMA Conference on Mathematics of Robotics | 2022-07-22 | Paper |
Exact knowledge compilation in predicate calculus: the partial achievement case Automated Deduction—CADE-14 | 2019-10-01 | Paper |
A new method for knowledge compilation: The achievement by cycle search Automated Deduction — Cade-13 | 2019-01-15 | Paper |
A comparative study of Brinkman penalization and direct-forcing immersed boundary methods for compressible viscous flows Computers and Fluids | 2018-06-26 | Paper |
Unsteady compressible flow computations using an adaptive multiresolution technique coupled with a high-order one-step shock-capturing scheme Computers and Fluids | 2018-06-22 | Paper |
Controlling a solver execution with the runsolver Tool Journal of Satisfiability, Boolean Modeling and Computation | 2016-02-23 | Paper |
Biased Boltzmann samplers and generation of extended linear languages with shuffle | 2014-09-29 | Paper |
Sliced Table Constraints: Combining Compression and Tabular Reduction Integration of AI and OR Techniques in Constraint Programming | 2014-05-27 | Paper |
Space-time adaptive multiresolution techniques for compressible Euler equations The Courant–Friedrichs–Lewy (CFL) Condition | 2013-07-25 | Paper |
Boltzmann sampling of ordered structures Electronic Notes in Discrete Mathematics | 2013-07-19 | Paper |
Boltzmann samplers for first-order differential specifications Discrete Applied Mathematics | 2012-11-22 | Paper |
Boys-and-girls birthdays and Hadamard products Fundamenta Informaticae | 2012-07-11 | Paper |
Adaptive multiresolution methods European Series in Applied and Industrial Mathematics (ESAIM): Proceedings | 2012-04-12 | Paper |
Promoting robust black-box solvers through competitions Constraints | 2010-11-19 | Paper |
An adaptive multiresolution method for parabolic PDEs with time-step control International Journal for Numerical Methods in Engineering | 2010-03-29 | Paper |
Coherent vortex simulation of weakly compressible turbulent mixing layers using adaptive multiresolution methods Journal of Computational Physics | 2010-03-12 | Paper |
Adaptive multiresolution or adaptive mesh refinement? A case study for 2D Euler equations ESAIM: Proceedings | 2010-01-12 | Paper |
New Encodings of Pseudo-Boolean Constraints into CNF Lecture Notes in Computer Science | 2009-07-07 | Paper |
Space-time adaptive multiresolution methods for hyperbolic conservation laws: Applications to compressible Euler equations Applied Numerical Mathematics | 2009-07-02 | Paper |
An adaptive multiresolution scheme with local time stepping for evolutionary PDEs Journal of Computational Physics | 2008-05-09 | Paper |
On space–time adaptive schemes for the numerical solution of PDEs ESAIM: Proceedings | 2007-11-20 | Paper |
Adaptive Multiresolution Methods for the Simulation of Shocks/Shear Layer Interaction in Confined Flows Numerical Mathematics and Advanced Applications | 2007-06-19 | Paper |
scientific article; zbMATH DE number 5139168 (Why is no real title available?) | 2007-03-30 | Paper |
scientific article; zbMATH DE number 5139165 (Why is no real title available?) | 2007-03-30 | Paper |
Numerical study of thermodiffusive flame structures interacting with adiabatic walls using an adaptive multiresolution scheme Combustion Theory and Modelling | 2007-03-08 | Paper |
Numerical study of thermodiffusive flame structures interacting with adiabatic walls using an adaptive multiresolution scheme Combustion Theory and Modelling | 2007-03-08 | Paper |
An adaptive multiresolution method for combustion problems: application to flame ball-vortex interaction Computers and Fluids | 2006-10-31 | Paper |
Coherent vortex extraction in 3D homogeneous turbulence: comparison between orthogonal and biorthogonal wavelet decompositions Journal of Turbulence | 2006-03-10 | Paper |
Adaptive numerical simulation of pulsating planar flames for large Lewis and Zeldovich ranges Communications in Nonlinear Science and Numerical Simulation | 2005-11-14 | Paper |
scientific article; zbMATH DE number 2127710 (Why is no real title available?) | 2005-01-14 | Paper |
A conservative fully adaptive multiresolution algorithm for parabolic PDEs Journal of Computational Physics | 2003-07-30 | Paper |
The achievement of knowledge bases by cycle search. Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 1059316 (Why is no real title available?) | 1998-02-26 | Paper |