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.

Flemming Nielson
SearchCollections
Map detail
Flemming Nielson13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipFlemming NielsonAFlemming NielsonResearcherHistory-sensitive versus future-sensitive approaches to security in distributed systemsWHistory-sensitive versu...preprint / 2010A Stochastic Broadcast Pi-CalculusWA Stochastic Broadcast ...preprint / 2011Layered Fixed Point LogicWLayered Fixed Point Logicpreprint / 2012Roadmap Document on Stochastic AnalysisWRoadmap Document on Sto...preprint / 2012Lattice based Least Fixed Point LogicWLattice based Least Fix...preprint / 2012A Framework for Hybrid Systems with Denial-of-Service Security AttackWA Framework for Hybrid ...preprint / 2014A Theory of Available-by-Design Communicating SystemsWA Theory of Available-b...preprint / 2016Modelling Chinese Smart Grid: A Stochastic Model Checking Case StudyWModelling Chinese Smart...preprint / 2012Optimizing ZigBee Security using Stochastic Model CheckingWOptimizing ZigBee Secur...preprint / 2012Secondary use of data in EHR systemsWSecondary use of data i...preprint / 2012The Logic of XACML - ExtendedWThe Logic of XACML - Ex...preprint / 2011Design-Efficiency in SecurityWDesign-Efficiency in Se...preprint / 2013
Person12 links

Flemming Nielson

Researcher

PaperHistory-sensitive versus future-sensitive approaches to security in distributed systemsAuthorship / preprint / 2010PaperA Stochastic Broadcast Pi-CalculusAuthorship / preprint / 2011PaperLayered Fixed Point LogicAuthorship / preprint / 2012PaperRoadmap Document on Stochastic AnalysisAuthorship / preprint / 2012PaperLattice based Least Fixed Point LogicAuthorship / preprint / 2012PaperA Framework for Hybrid Systems with Denial-of-Service Security AttackAuthorship / preprint / 2014PaperA Theory of Available-by-Design Communicating SystemsAuthorship / preprint / 2016PaperModelling Chinese Smart Grid: A Stochastic Model Checking Case StudyAuthorship / 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)