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.

Santiago Escobar
SearchCollections
Map detail
Santiago Escobar8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSantiago EscobarASantiago EscobarResearcherState Space Reduction in the Maude-NRL Protocol AnalyzerWState Space Reduction i...preprint / 2011Proceedings 10th International Workshop on Reduction Strategies in Rewriting and ProgrammingWProceedings 10th Intern...preprint / 2012Proceedings XIV Jornadas sobre Programación y LenguajesWProceedings XIV Jornada...preprint / 2015Effective Sequential Protocol Composition in Maude-NPAWEffective Sequential Pr...preprint / 2016Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and EvaluationWProceedings Third Inter...preprint / 2017Abstract Certification of Global Non-Interference in Rewriting LogicWAbstract Certification ...preprint / 2010Partial Evaluation of Order-sorted Equational Programs modulo AxiomsWPartial Evaluation of O...preprint / 2016
Person7 links

Santiago Escobar

Researcher

PaperState Space Reduction in the Maude-NRL Protocol AnalyzerAuthorship / preprint / 2011PaperProceedings 10th International Workshop on Reduction Strategies in Rewriting and ProgrammingAuthorship / preprint / 2012PaperProceedings XIV Jornadas sobre Programación y LenguajesAuthorship / preprint / 2015PaperEffective Sequential Protocol Composition in Maude-NPAAuthorship / preprint / 2016PaperProceedings Third International Workshop on Rewriting Techniques for Program Transformations and EvaluationAuthorship / preprint / 2017PaperAbstract Certification of Global Non-Interference in Rewriting LogicAuthorship / preprint / 2010PaperPartial Evaluation of Order-sorted Equational Programs modulo AxiomsAuthorship / 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)