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.

Helen Treharne
SearchCollections
Map detail
Helen Treharne5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipAuthorshipHelen TreharneAHelen TreharneResearcherTANDEM: Temporal-Aware Neural Detection for Multimodal Hate SpeechWTANDEM: Temporal-Aware ...preprint / 2026A CSP Account of Event-B RefinementWA CSP Account of Event-...preprint / 2011Managing LTL properties in Event-B refinementWManaging LTL properties...preprint / 2014Symbolic Reachability Analysis of B through ProB and LTSminWSymbolic Reachability A...preprint / 2016
Person4 links

Helen Treharne

Researcher

PaperTANDEM: Temporal-Aware Neural Detection for Multimodal Hate SpeechAuthorship / preprint / 2026PaperA CSP Account of Event-B RefinementAuthorship / preprint / 2011PaperManaging LTL properties in Event-B refinementAuthorship / preprint / 2014PaperSymbolic Reachability Analysis of B through ProB and LTSminAuthorship / preprint / 2016

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)