BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Mnacho Echenim
SearchCollections
Map detail
Mnacho Echenim12 visible / 12 total nodes / 11 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMnacho EchenimAMnacho EchenimResearcherUnbiasing and robustifying implied volatility calibration in a cryptocurrency market with large bid-ask spreads and missing quotesWUnbiasing and robustify...preprint / 2022A Proof Procedure For Separation Logic With Inductive Definitions and Theory ReasoningWA Proof Procedure For S...preprint / 2022Two Results on Separation Logic With Theory ReasoningWTwo Results on Separati...preprint / 2022Unifying Decidable Entailments in Separation Logic with Inductive DefinitionsWUnifying Decidable Enta...preprint / 2021Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hardWEntailment Checking in ...preprint / 2020Instantiation of SMT problems modulo IntegersWInstantiation of SMT pr...preprint / 2010Reasoning on Schemata of FormulaeWReasoning on Schemata o...preprint / 2012Instantiation Schemes for Nested TheoriesWInstantiation Schemes f...preprint / 2011A Superposition Calculus for Abductive ReasoningWA Superposition Calculu...preprint / 2014A Calculus for Generating Ground Explanations (Technical Report)WA Calculus for Generati...preprint / 2012Solving Linear Constraints in Elementary Abelian p-Groups of SymmetriesWSolving Linear Constrai...preprint / 2011
Person11 links

Mnacho Echenim

Researcher

PaperUnbiasing and robustifying implied volatility calibration in a cryptocurrency market with large bid-ask spreads and missing quotesAuthorship / preprint / 2022PaperA Proof Procedure For Separation Logic With Inductive Definitions and Theory ReasoningAuthorship / preprint / 2022PaperTwo Results on Separation Logic With Theory ReasoningAuthorship / preprint / 2022PaperUnifying Decidable Entailments in Separation Logic with Inductive DefinitionsAuthorship / preprint / 2021PaperEntailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hardAuthorship / preprint / 2020PaperInstantiation of SMT problems modulo IntegersAuthorship / preprint / 2010PaperReasoning on Schemata of FormulaeAuthorship / preprint / 2012PaperInstantiation Schemes for Nested TheoriesAuthorship / preprint / 2011

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)