◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

J. F. Groote

34 papers hereh-index 456.6k citations309 works total

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

author position
  • sole author1
  • first author11
  • middle author14
  • last author7

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

fields
  • cs.LO20
  • cs.DC4
  • cs.FL2
  • cs.NI1
  • cs.PF1
  • cs.PL1

identity via Semantic Scholar / OpenAlex

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

23 citations · 58 across the 29 of their papers we have counts for

collaborators
Showing cs.FLShow all

2 papers · 1 filter

cs.FL2021

A Set Automaton to Locate All Pattern Matches in a Term

Rick Erkens, Jan Friso Groote

Term pattern matching is the problem of finding all pattern matches in a subject term, given a set of patterns. Finding efficient algorithms for this problem is an important direct…

cs.FL2019★ 1 cited

Distribution of Behaviour into Parallel Communicating Subsystems

Omar al Duhaiby, Jan Friso Groote

The process of decomposing a complex system into simpler subsystems has been of interest to computer scientists over many decades, for instance, for the field of distributed comput…

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