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.

Andrzej Wąsowski
SearchCollections
Map detail
Andrzej Wąsowski6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAndrzej WąsowskiAAndrzej WąsowskiResearcherA Few Considerations on Structural and Logical Composition in Specification TheoriesWA Few Considerations on...preprint / 2011Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)WVariability Abstraction...preprint / 2015A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version)WA Specification Logic f...preprint / 2022Refinement for Transition Systems with ResponsesWRefinement for Transiti...preprint / 2012Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic ScoresWPrivacy with Good Taste...preprint / 2022
Person5 links

Andrzej Wąsowski

Researcher

PaperA Few Considerations on Structural and Logical Composition in Specification TheoriesAuthorship / preprint / 2011PaperVariability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)Authorship / preprint / 2015PaperA Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version)Authorship / preprint / 2022PaperRefinement for Transition Systems with ResponsesAuthorship / preprint / 2012PaperPrivacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic ScoresAuthorship / preprint / 2022

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)