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.

Elvira Albert
SearchCollections
Map detail
Elvira Albert8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipElvira AlbertAElvira AlbertResearcherInferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version)WInferring Needless Writ...preprint / 2023Actor-Based Model Checking for SDN NetworksWActor-Based Model Check...preprint / 2020Resource Analysis driven by (Conditional) Termination ProofsWResource Analysis drive...preprint / 2019Certificate size reduction in Abstraction-Carrying CodeWCertificate size reduct...preprint / 2010Verification of Java Bytecode using Analysis and Transformation of Logic ProgramsWVerification of Java By...preprint / 2010A Formal, Resource Consumption-Preserving Translation of Actors to HaskellWA Formal, Resource Cons...preprint / 2016Test Case Generation for Object-Oriented Imperative Languages in CLPWTest Case Generation fo...preprint / 2010
Person7 links

Elvira Albert

Researcher

PaperInferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version)Authorship / preprint / 2023PaperActor-Based Model Checking for SDN NetworksAuthorship / preprint / 2020PaperResource Analysis driven by (Conditional) Termination ProofsAuthorship / preprint / 2019PaperCertificate size reduction in Abstraction-Carrying CodeAuthorship / preprint / 2010PaperVerification of Java Bytecode using Analysis and Transformation of Logic ProgramsAuthorship / preprint / 2010PaperA Formal, Resource Consumption-Preserving Translation of Actors to HaskellAuthorship / preprint / 2016PaperTest Case Generation for Object-Oriented Imperative Languages in CLPAuthorship / preprint / 2010

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)