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.

Paolo Zuliani
SearchCollections
Map detail
Paolo Zuliani9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPaolo ZulianiAPaolo ZulianiResearcherStatistical Model Checking for Biological ApplicationsWStatistical Model Check...preprint / 2014SReach: A Bounded Model Checker for Stochastic Hybrid SystemsWSReach: A Bounded Model...preprint / 2014ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid SystemsWProbReach: Verified Pro...preprint / 2015Probabilistic bounded reachability for hybrid systems with continuous nondeterministic and probabilistic parametersWProbabilistic bounded r...preprint / 2015Matrix Representation of Arbitrarily Controlled Quantum GatesWMatrix Representation o...preprint / 2022A Comparison of Quantum Walk Implementations on NISQ ComputersWA Comparison of Quantum...preprint / 2021Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-DecisionsWParameter Synthesis for...preprint / 2014Towards Personalized Prostate Cancer Therapy Using Delta-Reachability AnalysisWTowards Personalized Pr...preprint / 2015
Person8 links

Paolo Zuliani

Researcher

PaperStatistical Model Checking for Biological ApplicationsAuthorship / preprint / 2014PaperSReach: A Bounded Model Checker for Stochastic Hybrid SystemsAuthorship / preprint / 2014PaperProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid SystemsAuthorship / preprint / 2015PaperProbabilistic bounded reachability for hybrid systems with continuous nondeterministic and probabilistic parametersAuthorship / preprint / 2015PaperMatrix Representation of Arbitrarily Controlled Quantum GatesAuthorship / preprint / 2022PaperA Comparison of Quantum Walk Implementations on NISQ ComputersAuthorship / preprint / 2021PaperParameter Synthesis for Cardiac Cell Hybrid Models Using Delta-DecisionsAuthorship / preprint / 2014PaperTowards Personalized Prostate Cancer Therapy Using Delta-Reachability AnalysisAuthorship / preprint / 2015

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)