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.

Serge Haddad
SearchCollections
Map detail
Serge Haddad6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSerge HaddadASerge HaddadResearcherSynthesis and Analysis of Product-form Petri NetsWSynthesis and Analysis ...preprint / 2012Interrupt Timed Automata: verification and expressivenessWInterrupt Timed Automat...preprint / 2012Interrupt Timed Automata with Auxiliary Clocks and ParametersWInterrupt Timed Automat...preprint / 2014Polynomial Interrupt Timed AutomataWPolynomial Interrupt Ti...preprint / 2015Property-Directed Verification of Recurrent Neural NetworksWProperty-Directed Verif...preprint / 2020
Person5 links

Serge Haddad

Researcher

PaperSynthesis and Analysis of Product-form Petri NetsAuthorship / preprint / 2012PaperInterrupt Timed Automata: verification and expressivenessAuthorship / preprint / 2012PaperInterrupt Timed Automata with Auxiliary Clocks and ParametersAuthorship / preprint / 2014PaperPolynomial Interrupt Timed AutomataAuthorship / preprint / 2015PaperProperty-Directed Verification of Recurrent Neural NetworksAuthorship / preprint / 2020

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)