◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Manuel Vargas Guzmán

2 papers hereh-index 234 citations3 works total

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

author position
  • last author1

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

fields
  • cs.LO1
  • eess.SP1

identity via Semantic Scholar / OpenAlex

most citedModel-Checking Process Equivalences

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

collaborators

2 papers

eess.SP2021

A Simplified Multifractal Model for Self-Similar Traffic Flows in High-Speed Computer Networks Revisited

G. Millán, G. Lefranc

In the context of the simulations carried out using a simplified multifractal model that is proposed to give an explanation to the locality phenomenon that appears in the estimatio…

cs.LO2012★ 1 cited

Model-Checking Process Equivalences

Martin Lange, Etienne Lozes, Manuel Vargas Guzmán

Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic…

◍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.