Concepedia

P. Dietrich

PD

2

Publications

126

Citations

2

H-Index

1998

Active since

Affiliations

Metrica (United States)(Current)

P. Dietrich is an author at Metrica (United States) specializing in computer engineering, engineering, and electrical engineering.

Top concepts

EngineeringComputer EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystem Verification

Publications per year

1998–2000

2

Publications

2

Performance of closed-loop power control in DS-CDMA cellular systems

A. Chockalingam, P. Dietrich, L.B. Milstein et al. · IEEE Transactions on Vehicular Technology · 1998 · 111 citations

Electrical Engineering, Multiple Access Technique, Engineering +11

Incremental system verification and synthesis of minimally restrictive behaviours

B.A. Brandin, R. Malik, P. Dietrich · 2000 · 15 citations · Full text

Engineering, Verification, Computer-aided Verification +16

Rows per page

1–2 of 2