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.

Umair Siddique
SearchCollections
Map detail
Umair Siddique5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipAuthorshipUmair SiddiqueAUmair SiddiqueResearcherSafetyOpsWSafetyOpspreprint / 2020Towards the Formalization of Fractional Calculus in Higher-Order LogicWTowards the Formalizati...preprint / 2015Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)WFormal Verification of ...preprint / 2020Formal Analysis of Optical SystemsWFormal Analysis of Opti...preprint / 2014
Person4 links

Umair Siddique

Researcher

PaperSafetyOpsAuthorship / preprint / 2020PaperTowards the Formalization of Fractional Calculus in Higher-Order LogicAuthorship / preprint / 2015PaperFormal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)Authorship / preprint / 2020PaperFormal Analysis of Optical SystemsAuthorship / preprint / 2014

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)