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.

Marie Fortin
SearchCollections
Map detail
Marie Fortin4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipAuthorshipMarie FortinAMarie FortinResearcherInterpolants and Explicit Definitions in Extensions of the Description Logic ELWInterpolants and Explic...preprint / 2022Unique Characterisability and Learnability of Temporal Instance QueriesWUnique Characterisabili...preprint / 2022On parametrized verification of asynchronous, shared-memory pushdown systemsWOn parametrized verific...preprint / 2016
Person3 links

Marie Fortin

Researcher

PaperInterpolants and Explicit Definitions in Extensions of the Description Logic ELAuthorship / preprint / 2022PaperUnique Characterisability and Learnability of Temporal Instance QueriesAuthorship / preprint / 2022PaperOn parametrized verification of asynchronous, shared-memory pushdown systemsAuthorship / 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)