4
Publications
173
Citations
4
H-Index
2001
Active since
Affiliations
Lucian Wischik is an author at Microsoft (United States) specializing in program analysis, automated reasoning, and system software.
Top concepts
BusinessEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2001–2007
4
4
Lucian Wischik, Philippa Gardner · Theoretical Computer Science · 2005 · 96 citations
Philippa Gardner, Cosimo Laneve, Lucian Wischik · Information and Computation · 2007 · 13 citations
Explicit Fusions: Theory and Implementation
Lucian Wischik · 2001 · 12 citations
Rows per page
1–4 of 4