Alwen Tiu
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Security and Verification in Computing, Semantic Web and Ontologies
Most-Cited Works
- → Steelix: program-state based binary fuzzing(2017)275 cited
- → A proof theory for generic judgments(2005)155 cited
- → A Local System for Classical Logic(2001)107 cited
- → Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants(2006)86 cited
- → The Bedwyr System for Model Checking over Syntactic Expressions(2007)72 cited
- → Automating Open Bisimulation Checking for the Spi Calculus(2010)70 cited
- → Abella: A System for Reasoning about Relational Specifications(2015)65 cited
- → A proof theory for generic judgments: an extended abstract(2003)60 cited
- → A System of Interaction and Structure II: The Need for Deep Inference(2006)51 cited
- A logical framework for reasoning about logical specifications(2004)