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.

Assalé Adjé
SearchCollections
Map detail
Assalé Adjé11 visible / 11 total nodes / 10 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAssalé AdjéAAssalé AdjéResearcherFast and Efficient Bit-Level Precision TuningWFast and Efficient Bit-...preprint / 2021Quadratic Maximization over the Reachable Values Set of a Convergent Discrete-time Affine System : The diagonalizable caseWQuadratic Maximization ...preprint / 2020Concrete Semantics of Programs with Non-Deterministic and Random InputsWConcrete Semantics of P...preprint / 2012Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programsWComputing the smallest ...preprint / 2013Polynomial Template Generation using Sum-of-Squares ProgrammingWPolynomial Template Gen...preprint / 2014Property-based Polynomial Invariant Generation using Sums-of-Squares OptimizationWProperty-based Polynomi...preprint / 2015Quadratic Zonotopes:An extension of Zonotopes to Quadratic ArithmeticsWQuadratic Zonotopes:An ...preprint / 2015Overapproximating the Reachable Values Set of Piecewise Affine Systems Coupling Policy Iterations with Piecewise Quadratic Lyapunov FunctionsWOverapproximating the R...preprint / 2016A Sums-of-Squares Extension of Policy IterationsWA Sums-of-Squares Exten...preprint / 2016Fixed Points of the Set-Based Bellman OperatorWFixed Points of the Set...preprint / 2020
Person10 links

Assalé Adjé

Researcher

PaperFast and Efficient Bit-Level Precision TuningAuthorship / preprint / 2021PaperQuadratic Maximization over the Reachable Values Set of a Convergent Discrete-time Affine System : The diagonalizable caseAuthorship / preprint / 2020PaperConcrete Semantics of Programs with Non-Deterministic and Random InputsAuthorship / preprint / 2012PaperComputing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programsAuthorship / preprint / 2013PaperPolynomial Template Generation using Sum-of-Squares ProgrammingAuthorship / preprint / 2014PaperProperty-based Polynomial Invariant Generation using Sums-of-Squares OptimizationAuthorship / preprint / 2015PaperQuadratic Zonotopes:An extension of Zonotopes to Quadratic ArithmeticsAuthorship / preprint / 2015PaperOverapproximating the Reachable Values Set of Piecewise Affine Systems Coupling Policy Iterations with Piecewise Quadratic Lyapunov FunctionsAuthorship / preprint / 2016

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)