◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

G. Norman

21 papers hereh-index 4812.5k citations167 works total

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

author position
  • first author1
  • middle author18
  • last author2

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

fields
  • cs.LO9
  • cs.GT5
  • cs.PL2
  • eess.SY2
  • cs.AI1
  • cs.FL1
same name
  • G. Norman — 3 papers, h 7
  • G. Norman — 2 papers, h 20
  • G. Norman — 1 paper, h 4

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20102025
most citedA Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods

4 citations · 16 across the 15 of their papers we have counts for

collaborators
Showing cs.PLShow all

2 papers · 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…

cs.PL2010

Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages

Alessandra Di Pierro, Gethin Norman

This volume contains the proceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), held in Paphos, Cyprus, on March 27-28, 2010. QAPL 2010 is…

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