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.

Gerardo Schneider
SearchCollections
Map detail
Gerardo Schneider10 visible / 10 total nodes / 9 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipGerardo SchneiderAGerardo SchneiderResearcherAfter You, Please: Browser Extensions Order Attacks and CountermeasuresWAfter You, Please: Brow...preprint / 2019Security Wrappers for Information-Flow Control in Active Object Languages with FuturesWSecurity Wrappers for I...preprint / 2020From Contracts in Structured English to CL SpecificationsWFrom Contracts in Struc...preprint / 2011A CNL for Contract-Oriented DiagramsWA CNL for Contract-Orie...preprint / 2014Extracting Formal Models from Normative TextsWExtracting Formal Model...preprint / 2016Data Minimisation: a Language-Based Approach (Long Version)WData Minimisation: a La...preprint / 2016Correct-by-Construction Design of Contextual Robotic Missions Using ContractsWCorrect-by-Construction...preprint / 2023Timed Automata Semantics for Visual e-ContractsWTimed Automata Semantic...preprint / 2011A Multidisciplinary Definition of Privacy Labels: The Story of Princess Privacy and the Seven HelpersWA Multidisciplinary Def...preprint / 2021
Person9 links

Gerardo Schneider

Researcher

PaperAfter You, Please: Browser Extensions Order Attacks and CountermeasuresAuthorship / preprint / 2019PaperSecurity Wrappers for Information-Flow Control in Active Object Languages with FuturesAuthorship / preprint / 2020PaperFrom Contracts in Structured English to CL SpecificationsAuthorship / preprint / 2011PaperA CNL for Contract-Oriented DiagramsAuthorship / preprint / 2014PaperExtracting Formal Models from Normative TextsAuthorship / preprint / 2016PaperData Minimisation: a Language-Based Approach (Long Version)Authorship / preprint / 2016PaperCorrect-by-Construction Design of Contextual Robotic Missions Using ContractsAuthorship / preprint / 2023PaperTimed Automata Semantics for Visual e-ContractsAuthorship / preprint / 2011

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)