Alwen Tiu

Cited by

	All	Since 2020
Citations	2825	948
h-index	29	15
i10-index	50	25

240

120

180

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202510 24 41 52 103 91 101 108 100 79 131 109 114 124 91 157 162 239 165 204 211 183 166 19

Public access

View all

20 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.fr
Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
Zhe HouGriffith UniversityVerified email at griffith.edu.au
Ross HorneUniversity of StrathclydeVerified email at strath.ac.uk
Gopalan NadathurProfessor of Computer Science and Engineering, University of MinnesotaVerified email at cs.umn.edu
Andrew GacekAmazon Web ServiceVerified email at amazon.com
Shang-Wei LINAssociate Professor, Singapore Institute of Technology (SIT)Verified email at singaporetech.edu.sg
David SanánSingapore Institute of TechnologieVerified email at singaporetech.edu.sg
Ranald CloustonLecturer, Australian National UniversityVerified email at anu.edu.au
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerified email at loria.fr
Stephan MerzSenior Researcher, INRIAVerified email at inria.fr
Hendra GunadiThe Australian National UniversityVerified email at anu.edu.au
Alberto MomiglianoDI, University of MilanVerified email at di.unimi.it
Bihuan ChenAssociate Professor, Fudan UniversityVerified email at fudan.edu.cn
Mahin ChandramohanNTU SingaporeVerified email at e.ntu.edu.sg
Yuekang LiLecturer (Assistant Professor), University of New South WalesVerified email at unsw.edu.au
Tim LyonPostDoc Researcher, TU DresdenVerified email at tu-dresden.de
Ki Yung AhnAssistant Professor of Computer Engineering at Hannam University, Daejeon, KoreaVerified email at hnu.kr
Kai BrünnlerProfessor of Computer Science, Bern University of Applied SciencesVerified email at bfh.ch
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgVerified email at uni.lu

Alwen Tiu

School of Computing, The Australian National University

Verified email at anu.edu.au - Homepage

Logic proof theory process calculus theorem proving computer security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	380	2017
A proof theory for generic judgments D Miller, A Tiu ACM Transactions on Computational Logic (TOCL) 6 (4), 749-783, 2005	243*	2005
A local system for classical logic K Brünnler, AF Tiu International Conference on Logic for Programming Artificial Intelligence …, 2001	189	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	124	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	120	2014
Automating open bisimulation checking for the spi calculus A Tiu, J Dawson 2010 23rd IEEE Computer Security Foundations Symposium, 307-321, 2010	104	2010
The Bedwyr system for model checking over syntactic expressions D Baelde, A Gacek, D Miller, G Nadathur, A Tiu Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007	93	2007
A system of interaction and structure II: The need for deep inference A Tiu Logical Methods in Computer Science 2, 2006	83	2006
A logical framework for reasoning about logical specifications AF Tiu The Pennsylvania State University, 2004	82	2004
Induction and co-induction in sequent calculus A Momigliano, A Tiu International Workshop on Types for Proofs and Programs, 293-308, 2003	66	2003
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	65	2008
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	61	2011
A local system for intuitionistic logic A Tiu Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006	56*	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	53	2010
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	43	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	39	2017
Cut Elimination for a Logic with Induction and Co-induction A Tiu, A Momigliano Journal of Applied Logic 10 (4), 330 - 367, 2012	37	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors