◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Anton Wijs

13 papers hereh-index 221.5k citations105 works total

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

author position
  • sole author2
  • first author2
  • middle author1
  • last author8

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

fields
  • cs.LO5
  • cs.DC4
  • cs.DS3
  • cs.SE1
same name
  • Anton Wijs — 3 papers, h 2
  • Anton Wijs — 2 papers, h 1

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20112024
most citedA simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems

23 citations · 54 across the 12 of their papers we have counts for

collaborators
Showing 2015Show all

1 paper · 1 filter

cs.LO2015★ 5 cited

Confluence Detection for Transformations of Labelled Transition Systems

Anton Wijs

The development of complex component software systems can be made more manageable by first creating an abstract model and then incrementally adding details. Model transformation is…

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