Alwen Tiu

Citata da

	Tutte	Dal 2019
Citazioni	2763	1128
Indice H	28	18
i10-index	49	32

240

120

180

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 24 41 52 103 91 101 108 100 79 131 109 114 124 91 157 162 239 165 204 212 183 123

Accesso pubblico

Visualizza tutto

19 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Dale MillerInria-Saclay and LIX, Ecole PolytechniqueEmail verificata su inria.fr
Yang LiuNanyang Technological UniversityEmail verificata su ntu.edu.sg
Zhe HouGriffith UniversityEmail verificata su griffith.edu.au
Ross HorneUniversity of StrathclydeEmail verificata su strath.ac.uk
Gopalan NadathurProfessor of Computer Science and Engineering, University of MinnesotaEmail verificata su cs.umn.edu
Andrew GacekAmazon Web ServiceEmail verificata su amazon.com
David SanánSingapore Institute of TechnologieEmail verificata su singaporetech.edu.sg
Shang-Wei LinAssociate Professor, Singapore Institute of Technology (SIT)Email verificata su singaporetech.edu.sg
Ranald CloustonLecturer, Australian National UniversityEmail verificata su anu.edu.au
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceEmail verificata su loria.fr
Stephan MerzSenior Researcher, INRIAEmail verificata su inria.fr
Hendra GunadiThe Australian National UniversityEmail verificata su anu.edu.au
Alberto MomiglianoDI, University of MilanEmail verificata su di.unimi.it
Bihuan ChenAssociate Professor, Fudan UniversityEmail verificata su fudan.edu.cn
Mahin ChandramohanNTU SingaporeEmail verificata su e.ntu.edu.sg
Yuekang LiLecturer (Assistant Professor), University of New South WalesEmail verificata su unsw.edu.au
Tim LyonPostDoc Researcher, TU DresdenEmail verificata su tu-dresden.de
Ki Yung AhnAssistant Professor of Computer Engineering at Hannam University, Daejeon, KoreaEmail verificata su hnu.kr
Kai BrünnlerProfessor of Computer Science, Bern University of Applied SciencesEmail verificata su bfh.ch
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgEmail verificata su uni.lu

Segui

Alwen Tiu

School of Computing, The Australian National University

Email verificata su anu.edu.au - Home page

Logic proof theory process calculus theorem proving computer security


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	360	2017
A proof theory for generic judgments D Miller, A Tiu ACM Transactions on Computational Logic (TOCL) 6 (4), 749-783, 2005	240*	2005
A local system for classical logic K Brünnler, AF Tiu International Conference on Logic for Programming Artificial Intelligence …, 2001	188	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	123	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	117	2014
Automating open bisimulation checking for the spi calculus A Tiu, J Dawson 2010 23rd IEEE Computer Security Foundations Symposium, 307-321, 2010	103	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	80	2006
A logical framework for reasoning about logical specifications AF Tiu The Pennsylvania State University, 2004	80	2004
Induction and co-induction in sequent calculus A Momigliano, A Tiu International Workshop on Types for Proofs and Programs, 293-308, 2003	64	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	63	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	60	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	52	2010
A Proof Search Specification of the [pi]-Calculus A Tiu, D Miller Electronic Notes in Theoretical Computer Science 138 (1), 79-101, 2005	50	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	38	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

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori