Ian Zerny is an author at Aarhus University specializing in formal verification, formal methods, and automated reasoning.
Top concepts
LanguageSemanticsEngineeringLinguisticsSemantic WebFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated Reasoning
Publications per year
2011–2013
3
3
A synthetic operational account of call-by-need evaluation
Olivier Danvy, Ian Zerny · 2013 · 30 citations
Olivier Danvy, Jacob Johannsen, Ian Zerny · 2011 · 24 citations
Rows per page
1–3 of 3