35
Publications
1.7K
Citations
21
H-Index
1958
Active since
Patrick C. Fischer is an author at Vanderbilt University specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningComputational ComplexityFormal VerificationData ScienceComputer EngineeringLinguisticsTheory Of Computing
Publications per year
1958–1988
35
35
Rows per page
1–5 of 35