3
Publications
118
Citations
3
H-Index
2003
Active since
Affiliations
Chalmers University of Technology(Current)
Marcin Benke is an author at Chalmers University of Technology specializing in engineering, systems biology, and blockchain.
Top concepts
EngineeringBlockchainVerificationFormal MethodsSystems BiologyComputer ScienceNetwork AnalysisProgram AnalysisSoftware AnalysisAutomated Reasoning
Publications per year
2003–2024
3
3
Universes for generic programs and proofs in dependent type theory
Marcin Benke, Peter Dybjer, Patrik Jansson · 2003 · 71 citations
Verifying haskell programs using constructive type theory
Andreas Abel, Marcin Benke, Ana Bove et al. · 2005 · 34 citations
Rows per page
1–3 of 3