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.

Ahmed Rezine
SearchCollections
Map detail
Ahmed Rezine5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAhmed RezineAAhmed RezineResearcherOrdered Counter-AbstractionWOrdered Counter-Abstrac...preprint / 2012Proceedings 12th International Workshop on Verification of Infinite-State SystemsWProceedings 12th Intern...preprint / 2010Proceedings 14th International Workshop on Verification of Infinite-State SystemsWProceedings 14th Intern...preprint / 2013Quantifying the Information Leak in Cache Attacks through Symbolic ExecutionWQuantifying the Informa...preprint / 2016
Person4 links

Ahmed Rezine

Researcher

PaperOrdered Counter-AbstractionAuthorship / preprint / 2012PaperProceedings 12th International Workshop on Verification of Infinite-State SystemsAuthorship / preprint / 2010PaperProceedings 14th International Workshop on Verification of Infinite-State SystemsAuthorship / preprint / 2013PaperQuantifying the Information Leak in Cache Attacks through Symbolic ExecutionAuthorship / 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)