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.

Matteo Mio
SearchCollections
Map detail
Matteo Mio11 visible / 11 total nodes / 10 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMatteo MioAMatteo MioResearcherBeyond Nonexpansive Operations in Quantitative Algebraic ReasoningWBeyond Nonexpansive Ope...preprint / 2022Monads and Quantitative Equational Theories for Nondeterminism and ProbabilityWMonads and Quantitative...preprint / 2020Upper-Expectation Bisimilarity and Real-valued Modal LogicsWUpper-Expectation Bisim...preprint / 2013Łukasiewicz mu-CalculusWŁukasiewicz mu-Calculuspreprint / 2013Probabilistic modal μ-calculus with independent productWProbabilistic modal μ-c...preprint / 2012On the equivalence of game and denotational semantics for the probabilistic mu-calculusWOn the equivalence of g...preprint / 2012Łukasiewicz μ-calculusWŁukasiewicz μ-calculuspreprint / 2015Proceedings Tenth International Workshop on Fixed Points in Computer ScienceWProceedings Tenth Inter...preprint / 2015On the Problem of Computing the Probability of Regular Sets of TreesWOn the Problem of Compu...preprint / 2015On the Regular Emptiness Problem of Subzero AutomataWOn the Regular Emptines...preprint / 2016
Person10 links

Matteo Mio

Researcher

PaperBeyond Nonexpansive Operations in Quantitative Algebraic ReasoningAuthorship / preprint / 2022PaperMonads and Quantitative Equational Theories for Nondeterminism and ProbabilityAuthorship / preprint / 2020PaperUpper-Expectation Bisimilarity and Real-valued Modal LogicsAuthorship / preprint / 2013PaperŁukasiewicz mu-CalculusAuthorship / preprint / 2013PaperProbabilistic modal μ-calculus with independent productAuthorship / preprint / 2012PaperOn the equivalence of game and denotational semantics for the probabilistic mu-calculusAuthorship / preprint / 2012PaperŁukasiewicz μ-calculusAuthorship / preprint / 2015PaperProceedings Tenth International Workshop on Fixed Points in Computer ScienceAuthorship / 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)