◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Adenilso Simão

1 paper here

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.SE1
ORCID 0000-0002-1454-2607

identity via Semantic Scholar / OpenAlex

most citedGenerating Complete and Finite Test Suite for ioco: Is It Possible?

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

collaborators

2 papers

q-bio.MN2023

Human Protein Protein Interaction Networks: A Topological Comparison Review

Rodrigo Henrique Ramos, Cynthia de Oliveira Lage Ferreira, Adenilso Simao

Protein-Protein Interaction Networks aim to model the interactome, providing a powerful tool for understanding the complex relationships governing cellular processes. These network…

cs.SE2014★ 18 cited

Generating Complete and Finite Test Suite for ioco: Is It Possible?

Adenilso Simao, Alexandre Petrenko

Testing from Input/Output Transition Systems has been intensely investigated. The conformance between the implementation and the specification is often determined by the so-called…

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