| Steelix: program-state based binary fuzzing Y Li, B Chen, M Chandramohan, SW Lin, Y Liu, A Tiu Proceedings of the 2017 11th joint meeting on foundations of software …, 2017 | 403 | 2017 |
| A proof theory for generic judgments D Miller, A Tiu ACM Transactions on Computational Logic (TOCL) 6 (4), 749-783, 2005 | 255* | 2005 |
| A local system for classical logic K Brünnler, AF Tiu International Conference on Logic for Programming Artificial Intelligence …, 2001 | 197 | 2001 |
| Expressiveness+ automation+ soundness: Towards combining SMT solvers and interactive proof assistants P Fontaine, JY Marion, S Merz, L Nieto, A Tiu Tools and Algorithms for the Construction and Analysis of Systems, 167-181, 2006 | 133 | 2006 |
| Abella: A system for reasoning about relational specifications D Baelde, K Chaudhuri, A Gacek, D Miller, G Nadathur, A Tiu, Y Wang Journal of formalized reasoning 7 (2), 1-89, 2014 | 129 | 2014 |
| Automating open bisimulation checking for the spi calculus A Tiu, J Dawson 2010 23rd IEEE Computer Security Foundations Symposium, 307-321, 2010 | 110 | 2010 |
| The Bedwyr system for model checking over syntactic expressions D Baelde, A Gacek, D Miller, G Nadathur, A Tiu International Conference on Automated Deduction, 391-397, 2007 | 95 | 2007 |
| A system of interaction and structure II: The need for deep inference A Tiu Logical Methods in Computer Science 2, 2006 | 90 | 2006 |
| A logical framework for reasoning about logical specifications AF Tiu The Pennsylvania State University, 2004 | 84 | 2004 |
| Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. R Goré, L Postniece, A Tiu Advances in Modal Logic 7, 43-66, 2008 | 69 | 2008 |
| Induction and co-induction in sequent calculus A Momigliano, A Tiu International Workshop on Types for Proofs and Programs, 293-308, 2003 | 67 | 2003 |
| On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics R Goré, L Postniece, AF Tiu Logical Methods in Computer Science 7, 2011 | 66 | 2011 |
| A local system for intuitionistic logic A Tiu International Conference on Logic for Programming Artificial Intelligence …, 2006 | 58* | 2006 |
| Proof search specifications of bisimulation and modal logics for the π-calculus A Tiu, D Miller ACM Transactions on Computational Logic (TOCL) 11 (2), 1-35, 2010 | 57 | 2010 |
| A labelled sequent calculus for BBI: proof theory and proof search Z Hóu, R Goré, A Tiu Journal of Logic and Computation 28 (4), 809-872, 2018 | 55 | 2018 |
| A Proof Search Specification of the [pi]-Calculus A Tiu, D Miller Electronic Notes in Theoretical Computer Science 138 (1), 79-101, 2005 | 51 | 2005 |
| Model checking for π-calculus using proof search A Tiu CONCUR 2005–Concurrency Theory, 36-50, 2005 | 49 | 2005 |
| A logic for reasoning about generic judgments A Tiu Electronic Notes in Theoretical Computer Science 174 (5), 3-18, 2007 | 45 | 2007 |
| Efficient runtime monitoring with metric temporal logic: A case study in the android operating system H Gunadi, A Tiu International Symposium on Formal Methods, 296-311, 2014 | 41 | 2014 |
| Semantics for specialising attack trees based on linear logic R Horne, S Mauw, A Tiu Fundamenta Informaticae 153 (1-2), 57-86, 2017 | 40 | 2017 |
Rajeev GoreFaculty of Information Technology, Monash University, AustraliaVerified email at monash.edu
