◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

M. Massink

28 papers hereh-index 303.3k citations189 works total

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

author position
  • first author1
  • middle author10
  • last author16

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

fields
  • cs.LO21
  • cs.PL4
  • cs.PF2
  • cs.LG1

identity via Semantic Scholar / OpenAlex

activity
20112026
most citedModel Checking Spatial Logics for Closure Spaces

57 citations · 278 across the 28 of their papers we have counts for

collaborators
Showing 2011Show all

1 paper · 1 filter

cs.PL2011★ 3 cited

Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages

Mieke Massink, Gethin Norman

This volume contains the proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), held in Saarbrucken, Germany, April 1--3, 2011. QAPL 2011 i…

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