Mnacho Echenim
47
Documents
Présentation
I am a professor in Grenoble INP-Ensimag. I am a member of the CAPP group of the Grenoble Informatics Laboratory (LIG).
Publications
Quantitative modelling and analysis of the Automated Market Maker UniswapInternational Conference on Computational Finance, CWI, Apr 2024, Amsterdam, Netherlands
Communication dans un congrès
hal-04507022v1
|
|
Mathematical modelling and analysis of Impermanent Loss and Fees in Uniswap v3Financial Risks International Forum, Mar 2024, Paris, France
Communication dans un congrès
hal-04511393v1
|
|
Statistical Error Bounds for Weighted Mean and Median, with Application to Robust Aggregation of Cryptocurrency DataWorkshop "Stochastics around Finance", Aug 2023, Kanazawa, Japan
Communication dans un congrès
hal-04506997v1
|
|
Mathematical modelling and analysis of Impermanent Loss and Fees in Uniswap v3Blockchain@X-OMI Workshop on Blockchain and Decentralized Finance, Sep 2023, Paris, France
Communication dans un congrès
hal-04506995v1
|
|
|
A Strict Constrained Superposition Calculus for GraphsFOSSACS 2023: 26th International Conference on Foundations of Software Science and Computation Structures, Apr 2023, Paris, France
Communication dans un congrès
hal-03978913v2
|
Unbiasing and robustifying implied volatility calibration in a cryptocurrency market with large bid-ask spreads and missing quotesResearch in Options, FGV-IMPA, Aug 2022, Rio de Jaineiro, Brazil
Communication dans un congrès
hal-04506993v1
|
|
|
Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment29th EACSL Annual Conference on Computer Science Logic, Jan 2021, Ljubljana, Slovenia. ⟨10.4230/LIPIcs.CSL.2021.12⟩
Communication dans un congrès
hal-03052687v1
|
|
The Lower Bound of Decidable Entailments in Separation Logic with Inductive DefinitionsADSL 2020 - Workshop on Automated Deduction in Separation Logic, 2020, New Orleans, United States
Communication dans un congrès
hal-02388028v1
|
|
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hardLPAR 2020, 2020, Alicante, Spain. ⟨10.1145/3380809⟩
Communication dans un congrès
hal-02990396v1
|
|
Prenex Separation Logic with One Selector FieldAutomated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, 2019, London, United Kingdom. pp.409-427, ⟨10.1007/978-3-030-29026-9_23⟩
Communication dans un congrès
hal-02323468v1
|
|
Ilinva: Using Abduction to Generate Loop InvariantsFrontiers of Combining Systems - 12th International Symposium, 2019, London, United Kingdom. pp.77-93, ⟨10.1007/978-3-030-29007-8_5⟩
Communication dans un congrès
hal-02323446v1
|
|
The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary DomainsFoundations of Software Science and Computation Structures (FOSSACS) - 22nd International Conference, 2019, Prague, Czech Republic. pp.242-259, ⟨10.1007/978-3-030-17127-8_14⟩
Communication dans un congrès
hal-02094154v1
|
|
A Generic Framework for Implicate Generation Modulo TheoriesIJCAR, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-01833514v1
|
|
Prime Implicate Generation in Equational LogicProceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, 2018, Stockholm, Sweden
Communication dans un congrès
hal-01946497v1
|
The Binomial Pricing Model in Finance: A Formalization in IsabelleCADE 26, 2017, Gothenburg, Sweden. pp.546-562
Communication dans un congrès
hal-01562944v1
|
|
Quantifier-Free Equational Logic and Prime Implicate GenerationCADE-25, Jul 2015, Berlin, Germany. pp.311-325, ⟨10.1007/978-3-319-21401-6_21⟩
Communication dans un congrès
hal-01363987v1
|
|
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational ClausesPAAR 2014, Jul 2014, Vienna, Austria
Communication dans un congrès
hal-01132801v1
|
|
A Superposition-Based Approach to Abductive Reasoning in Equational Clausal LogicADDTC 2014, Jul 2014, Vienna, Austria
Communication dans un congrès
hal-01132800v1
|
|
A Rewriting Strategy to Generate Prime Implicates in Equational LogicIJCAR 2014, Jul 2014, Vienna, Austria. pp.137-151
Communication dans un congrès
hal-01018692v1
|
|
|
An Approach to Abductive Reasoning in Equational LogicIJCAI 2013 - International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.531-537
Communication dans un congrès
hal-00934278v1
|
|
Reasoning on Schemata of FormulæAISC 2012 - Artificial Intelligence and Symbolic Computation (Part of CICM 2012), Jul 2012, Bremen, Germany. pp.310-325, ⟨10.1007/978-3-642-31374-5_21⟩
Communication dans un congrès
hal-00933516v1
|
|
A Calculus for Generating Ground ExplanationsIJCAR 2012 - International Joint Conference on Automated Reasoning, Jun 2012, Manchester, United Kingdom. pp.194-209, ⟨10.1007/978-3-642-31365-3_17⟩
Communication dans un congrès
hal-00933272v1
|
|
A Superposition Strategy for Abductive Reasoning in Ground Equational LogicIWS 2012 - International Workshop on Strategies in Rewriting, Proving and Programming (IJCAR 2012 workshop ), Jul 2012, Manchester, United Kingdom. pp.4-11
Communication dans un congrès
hal-00933582v1
|
Instantiation of SMT Problems Modulo IntegersInternational Conference on Artificial Intelligence and Symbolic Computation, 2010, Paris, France. pp.49-63, ⟨10.1007/978-3-642-14128-7_6⟩
Communication dans un congrès
hal-00940668v1
|
Pricing in discrete financial models2018
Autre publication scientifique
hal-01959544v1
|
|
Statistical error bounds for weighted mean and median, with application to robust aggregation of cryptocurrency data2023
Pré-publication, Document de travail
hal-04017151v1
|
|
Thorough mathematical modelling and analysis of Uniswap v32023
Pré-publication, Document de travail
hal-04214315v2
|
On the Expressive Completeness of Bernays-Sch\"onfinkel-Ramsey Separation Logic2018
Pré-publication, Document de travail
hal-01699151v1
|
|
The Complexity of Prenex Separation Logic with One Selector2018
Pré-publication, Document de travail
hal-01946528v1
|
|
Solving Linear Constraints in Elementary Abelian p-Groups of Symmetries2011
Pré-publication, Document de travail
hal-00940852v1
|
|
Instantiation of SMT problems modulo Integers2010
Pré-publication, Document de travail
hal-00940677v1
|
|
Checking Entailment Between Separation Logic Symbolic Heaps: Beyond Connected and Established Systems[Research Report] VERIMAG/LIG/CNRS. 2020
Rapport
hal-03088890v1
|
A Calculus for Generating Ground Explanations (Technical Report)2012
Rapport
hal-00933750v1
|
|
A Resolution Calculus for First-Order Schemata2011
Rapport
hal-00932856v1
|
|
|
A Resolution Calculus for Propositional Schemata2011
Rapport
hal-00932855v1
|
|
Déduction et Unification dans les Théories PermutativesAutre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2005. Français. ⟨NNT : ⟩
Thèse
tel-00011236v1
|