◍wovepaper
SearchResearchersInstitutions
Sign in
institution

GrammaTech (United States)

United States

8 papers here159 citations across 8
fields
  • cs.SE4
  • cs.AI1
  • cs.LO1
  • cs.NE1
  • cs.PL1
ROR 03mwfxd89OpenAlex

affiliations via OpenAlex

output
20142022
most citedOpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse

62 citations

researchers with a paper here
  • D. Cok3 · h 21
  • T. Reps2 · h 71
  • Alexey Loginov1 · h 12
  • B. Liblit1 · h 29
  • C. Timperley1 · h 15
  • Eric M. Schulte1 · h 8
  • Eric Schulte1 · h 7
  • Gabin An1 · h 9
  • Insup Lee1 · h 69
  • Jordan Henkel1 · h 7
  • Kevin Leach1 · h 19
  • Matthew Amodio1 · h 10
collaborating institutions
  • University of Wisconsin–MadisonUS2 papers
  • Carnegie Mellon UniversityUS1 paper
  • Concordia UniversityCA1 paper
  • Korea Advanced Institute of Science and TechnologyKR1 paper
  • Microsoft (United States)US1 paper
  • Rice UniversityUS1 paper
  • Southern University of Science and TechnologyCN1 paper
  • University College LondonGB1 paper
  • University of Applied Sciences Upper AustriaAT1 paper
  • University of MichiganUS1 paper
  • University of PennsylvaniaUS1 paper
  • University of PittsburghUS1 paper
Showing 2019 · cs.LOShow all

Nothing from here under that filter.

Their other years and fields are still on the left.

Show all their papers
◍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.