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.

Shaull Almagor
SearchCollections
Map detail
Shaull Almagor11 visible / 11 total nodes / 10 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipShaull AlmagorAShaull AlmagorResearcherCoverability in 1-VASS with Disequality TestsWCoverability in 1-VASS ...preprint / 2020Process Symmetry in Probabilistic TransducersWProcess Symmetry in Pro...preprint / 2020Parametrized Universality Problems for One-Counter NetsWParametrized Universali...preprint / 2020O-Minimal Invariants for Discrete-Time Dynamical SystemsWO-Minimal Invariants fo...preprint / 2020Invariants for Continuous Linear Dynamical SystemsWInvariants for Continuo...preprint / 2020Quantitative Semantics for Jumping AutomataWQuantitative Semantics ...preprint / 2025Discounting in LTLWDiscounting in LTLpreprint / 2014Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative SynthesisWMinimizing Expected Cos...preprint / 2016High-Quality Synthesis Against Stochastic EnvironmentsWHigh-Quality Synthesis ...preprint / 2016The Polytope-Collision ProblemWThe Polytope-Collision ...preprint / 2016
Person10 links

Shaull Almagor

Researcher

PaperCoverability in 1-VASS with Disequality TestsAuthorship / preprint / 2020PaperProcess Symmetry in Probabilistic TransducersAuthorship / preprint / 2020PaperParametrized Universality Problems for One-Counter NetsAuthorship / preprint / 2020PaperO-Minimal Invariants for Discrete-Time Dynamical SystemsAuthorship / preprint / 2020PaperInvariants for Continuous Linear Dynamical SystemsAuthorship / preprint / 2020PaperQuantitative Semantics for Jumping AutomataAuthorship / preprint / 2025PaperDiscounting in LTLAuthorship / preprint / 2014PaperMinimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative SynthesisAuthorship / 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)