Concepedia

Dean Rosenzweig

DR

6

Publications

249

Citations

6

H-Index

1992

Active since

Affiliations

University of Zagreb(Current)

University of Pisa

Dean Rosenzweig is an author at University of Zagreb specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningLanguageSemanticsLinguisticsVerificationComputer ScienceProof ComplexityFormal Verification

Publications per year

1992–2007

6

Publications

6

Rows per page

1–5 of 6