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

1 paper · 1 filter

cs.PL2021

Gobra: Modular Specification and Verification of Go Programs (extended version)

Felix A. Wolf, Linard Arquint, Martin Clochard +3

Go is an increasingly-popular systems programming language targeting, especially, concurrent and distributed systems. Go differentiates itself from other imperative languages by of…

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