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.

Georgiana Caltais
SearchCollections
Map detail
Georgiana Caltais9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipGeorgiana CaltaisAGeorgiana CaltaisResearcherExplaining Safety Failures in NetKATWExplaining Safety Failu...preprint / 2021Coffman deadlocks in SCOOPWCoffman deadlocks in SCOOPpreprint / 2014Expression-based aliasing for OO-languagesWExpression-based aliasi...preprint / 2014Coalgebraic Tools for Bisimilarity and Decorated Trace SemanticsWCoalgebraic Tools for B...preprint / 2015On the Verification of SCOOP ProgramsWOn the Verification of ...preprint / 2015(De-)Composing Causality in Labeled Transition SystemsW(De-)Composing Causalit...preprint / 2016Axiomatizing GSOS with PredicatesWAxiomatizing GSOS with ...preprint / 2011Automatic Equivalence Proofs for Non-deterministic CoalgebrasWAutomatic Equivalence P...preprint / 2013
Person8 links

Georgiana Caltais

Researcher

PaperExplaining Safety Failures in NetKATAuthorship / preprint / 2021PaperCoffman deadlocks in SCOOPAuthorship / preprint / 2014PaperExpression-based aliasing for OO-languagesAuthorship / preprint / 2014PaperCoalgebraic Tools for Bisimilarity and Decorated Trace SemanticsAuthorship / preprint / 2015PaperOn the Verification of SCOOP ProgramsAuthorship / preprint / 2015Paper(De-)Composing Causality in Labeled Transition SystemsAuthorship / preprint / 2016PaperAxiomatizing GSOS with PredicatesAuthorship / preprint / 2011PaperAutomatic Equivalence Proofs for Non-deterministic CoalgebrasAuthorship / preprint / 2013

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)