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.

Dusko Pavlovic
SearchCollections
Map detail
Dusko Pavlovic13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDusko PavlovicADusko PavlovicResearcherTight limits and completions from Dedekind-MacNeille to Lambek-IsbellWTight limits and comple...preprint / 2022Quantifying pervasive authentication: the case of the Hancke-Kuhn protocolWQuantifying pervasive a...preprint / 2010Formal Derivation of Concurrent Garbage CollectorsWFormal Derivation of Co...preprint / 2010Tracing the Man in the Middle in Monoidal CategoriesWTracing the Man in the ...preprint / 2012Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactionsWActor-network procedure...preprint / 2011Monoidal computer II: Normal complexity by string diagramsWMonoidal computer II: N...preprint / 2014Gaming security by obscurityWGaming security by obsc...preprint / 2012Monoidal computer I: Basic computability by string diagramsWMonoidal computer I: Ba...preprint / 2012Towards a Science of TrustWTowards a Science of Trustpreprint / 2015A semantical approach to equilibria and rationalityWA semantical approach t...preprint / 2009Quantifying and qualifying trust: Spectral decomposition of trust networksWQuantifying and qualify...preprint / 2010Smooth coalgebra: testing vector analysisWSmooth coalgebra: testi...preprint / 2014
Person12 links

Dusko Pavlovic

Researcher

PaperTight limits and completions from Dedekind-MacNeille to Lambek-IsbellAuthorship / preprint / 2022PaperQuantifying pervasive authentication: the case of the Hancke-Kuhn protocolAuthorship / preprint / 2010PaperFormal Derivation of Concurrent Garbage CollectorsAuthorship / preprint / 2010PaperTracing the Man in the Middle in Monoidal CategoriesAuthorship / preprint / 2012PaperActor-network procedures: Modeling multi-factor authentication, device pairing, social interactionsAuthorship / preprint / 2011PaperMonoidal computer II: Normal complexity by string diagramsAuthorship / preprint / 2014PaperGaming security by obscurityAuthorship / preprint / 2012PaperMonoidal computer I: Basic computability by string diagramsAuthorship / 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)