◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

E. Grilo

1 paper hereh-index 29 citations5 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author1

Across the 1 of 1 paper where every author was matched, so the position is known.

fields
  • cs.LO1

identity via Semantic Scholar / OpenAlex

most citedReLo: a Dynamic Logic to Reason About Reo Circuits

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2023★ 1 cited

ReLo: a Dynamic Logic to Reason About Reo Circuits

Erick Grilo, Bruno Lopes

Critical systems require high reliability and are present in many domains. They are systems in which failure may result in financial damage or even loss of lives. Standard techniqu…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.