◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Michael Pradel

10 papers hereh-index 695 citations12 works total

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

author position
  • last author10

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

fields
  • cs.SE8
  • cs.PL2
same name
  • Michael Pradel — 27 papers, h 45
  • Michael Pradel — 11 papers, h 7
  • Michael Pradel — 10 papers, h 4
  • Michael Pradel — 6 papers, h 6

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
20232026
most citedAnalyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit

23 citations · 41 across the 10 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.SE2023★ 23 cited

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit

Matteo Paltenghi, Michael Pradel

As quantum computing is rising in popularity, the amount of quantum programs and the number of developers writing them are increasing rapidly. Unfortunately, writing correct quantu…

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