◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Wytse Oortwijn

5 papers hereh-index 8246 citations26 works total

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

author position
  • first author1
  • middle author1
  • last author3

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

fields
  • cs.SE2
  • cs.LO1
  • cs.PL1
  • eess.SY1

identity via Semantic Scholar / OpenAlex

activity
20162025
most citedFuture-based Static Analysis of Message Passing Programs

13 citations · 14 across the 5 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2016★ 13 cited

Future-based Static Analysis of Message Passing Programs

Wytse Oortwijn, Stefan Blom, Marieke Huisman

Message passing is widely used in industry to develop programs consisting of several distributed communicating components. Developing functionally correct message passing software…

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