Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Francesco Tiezzi
Map detail
Francesco Tiezzi10 visible / 10 total nodes / 9 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipFrancesco TiezziAFrancesco TiezziResearcherTowards Reversible SessionsWTowards Reversible Sess...preprint / 2014Reversing Single SessionsWReversing Single Sessionspreprint / 2016Proceedings 8th International Workshop on Automated Specification and Verification of Web SystemsWProceedings 8th Interna...preprint / 2012A criterion for separating process calculiWA criterion for separat...preprint / 2010Proceedings 7th International Workshop on Automated Specification and Verification of Web SystemsWProceedings 7th Interna...preprint / 2011Blind-date Conversation JoiningWBlind-date Conversation...preprint / 2013Domain-specific queries and Web search personalization: some investigationsWDomain-specific queries...preprint / 2015On Properties of Policy-Based SpecificationsWOn Properties of Policy...preprint / 2015A Rigorous Framework for Specification, Analysis and Enforcement of Access Control PoliciesWA Rigorous Framework fo...preprint / 2016
Person9 links

Francesco Tiezzi

Researcher