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.

Nikos Tzevelekos
SearchCollections
Map detail
Nikos Tzevelekos8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipNikos TzevelekosANikos TzevelekosResearcherFull abstraction for nominal general referencesWFull abstraction for no...preprint / 2009Symbolic Execution Game SemanticsWSymbolic Execution Game...preprint / 2020A System-Level SemanticsWA System-Level Semanticspreprint / 2012Introduction to Categories and Categorical LogicWIntroduction to Categor...preprint / 2011Trace semantics for polymorphic referencesWTrace semantics for pol...preprint / 2016Higher-Order LinearisabilityWHigher-Order Linearisab...preprint / 2016Runtime Verification Based on Register AutomataWRuntime Verification Ba...preprint / 2015
Person7 links

Nikos Tzevelekos

Researcher

PaperFull abstraction for nominal general referencesAuthorship / preprint / 2009PaperSymbolic Execution Game SemanticsAuthorship / preprint / 2020PaperA System-Level SemanticsAuthorship / preprint / 2012PaperIntroduction to Categories and Categorical LogicAuthorship / preprint / 2011PaperTrace semantics for polymorphic referencesAuthorship / preprint / 2016PaperHigher-Order LinearisabilityAuthorship / preprint / 2016PaperRuntime Verification Based on Register AutomataAuthorship / preprint / 2015

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)