Concepedia

M. Hack

MH

4

Publications

718

Citations

4

H-Index

1972

Active since

Affiliations

Massachusetts Institute of Technology(Current)

M. Hack is an author at Massachusetts Institute of Technology specializing in automated reasoning, engineering, and computational complexity.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationComputational ComplexityLanguageSemanticsLinguisticsSoftware Design

Publications per year

1972–1976

4

Publications

4

ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS

M. Hack · 1972 · 326 citations · Full text

PETRI NET LANGUAGE

M. Hack · 1976 · 213 citations

Petri Net, Engineering, Pushdown Automaton +18

The equality problem for vector addition systems is undecidable

M. Hack · Theoretical Computer Science · 1976 · 117 citations

Mathematical Programming, Engineering, Boolean Function +5

The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systems

M. Hack · 1974 · 62 citations

Petri Net, Reachability Analysis, Recursive Equivalence +11

Rows per page

1–4 of 4