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.

Simone Tini
SearchCollections
Map detail
Simone Tini6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSimone TiniASimone TiniResearcherCompositionality of Approximate Bisimulation for Probabilistic SystemsWCompositionality of App...preprint / 2013Fixed-point Characterization of Compositionality Properties of Probabilistic Processes CombinatorsWFixed-point Characteriz...preprint / 2014EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical SystemsWEvTL: A Temporal Logic ...preprint / 2022Logical Characterization of Bisimulation MetricsWLogical Characterizatio...preprint / 2016Aspects of multiscale modelling in a process algebra for biological systemsWAspects of multiscale m...preprint / 2010
Person5 links

Simone Tini

Researcher

PaperCompositionality of Approximate Bisimulation for Probabilistic SystemsAuthorship / preprint / 2013PaperFixed-point Characterization of Compositionality Properties of Probabilistic Processes CombinatorsAuthorship / preprint / 2014PaperEvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical SystemsAuthorship / preprint / 2022PaperLogical Characterization of Bisimulation MetricsAuthorship / preprint / 2016PaperAspects of multiscale modelling in a process algebra for biological systemsAuthorship / preprint / 2010

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)