BZPEERReading, trust and collaboration for research
Menu

Discover

SearchFind papers, people, topics and opportunities from one place.GraphOpen maps around papers, topics and saved views.

Workspaces

HomeOpen the ranked research feed.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Graph explorer

Nathalie Bertrand

Nathalie Bertrand contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapNathalie Bertrand
SearchCollections
13 nodes12 links
Nathalie Bertrand13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipANathalie BertrandResearcherWParameterized safety ve...preprint / 2022WHolistic Verification o...preprint / 2022WProbabilistic regular g...preprint / 2010WEmptiness and Universal...preprint / 2013WSolving Stochastic Büch...preprint / 2013WProceedings Twelfth Int...preprint / 2014WBounded Satisfiability ...preprint / 2012WStochastic Timed Automatapreprint / 2014WProceedings Thirteenth ...preprint / 2015WOff-line test selection...preprint / 2012WVerifying nondeterminis...preprint / 2006WUse of 3D classified to...preprint / 2016
PersonSignal 1012 links

Nathalie Bertrand

Researcher

Open

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached to this map.

Sign in

Public snapshots

1 shared view(s)