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.

Marius Mikučionis
SearchCollections
Map detail
Marius Mikučionis6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMarius MikučionisAMarius MikučionisResearcherDistributed Parametric and Statistical Model CheckingWDistributed Parametric ...preprint / 2011UPPAAL-SMC: Statistical Model Checking for Priced Timed AutomataWUPPAAL-SMC: Statistical...preprint / 2012Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed AutomataWStochastic Semantics an...preprint / 2014Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based ApproachWComputing Nash Equilibr...preprint / 2012Statistical Model Checking for Stochastic Hybrid SystemsWStatistical Model Check...preprint / 2012
Person5 links

Marius Mikučionis

Researcher

PaperDistributed Parametric and Statistical Model CheckingAuthorship / preprint / 2011PaperUPPAAL-SMC: Statistical Model Checking for Priced Timed AutomataAuthorship / preprint / 2012PaperStochastic Semantics and Statistical Model Checking for Networks of Priced Timed AutomataAuthorship / preprint / 2014PaperComputing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based ApproachAuthorship / preprint / 2012PaperStatistical Model Checking for Stochastic Hybrid SystemsAuthorship / preprint / 2012

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)