Alwen Tiu
- Artificial Intelligence top 5%
- Computational Theory and Mathematics top 2%
- Software top 2%
- Information Systems top 5%
- Signal Processing top 5%
- Co-authors
- Dale MillerYang LiuShang‐Wei LinYuekang LiBihuan ChenMahinthan ChandramohanRajeev GoréJohn Hannan
- Topics
- Logic, programming, and type systems (25 papers)Logic, Reasoning, and Knowledge (22 papers)Formal Methods in Verification (15 papers)
In The Last Decade
Alwen Tiu
37 papers receiving 522 citations
Peers
Comparison fields: 5 of 27
- Artificial Intelligence 402
- Computational Theory and Mathematics 262
- Software 169
- Information Systems 135
- Signal Processing 132
Countries citing papers authored by Alwen Tiu
This map shows the geographic impact of Alwen Tiu's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Alwen Tiu with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Alwen Tiu more than expected).
Fields of papers citing papers by Alwen Tiu
This network shows the impact of papers produced by Alwen Tiu. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Alwen Tiu. The network helps show where Alwen Tiu may publish in the future.
Co-authorship network of co-authors of Alwen Tiu
This figure shows the co-authorship network connecting the top 25 collaborators of Alwen Tiu. A scholar is included among the top collaborators of Alwen Tiu based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Alwen Tiu. Alwen Tiu is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 4 | |
| 2 | 4 | |
| 3 | 2 | |
| 4 | Private Digital Identity on Blockchain. | 5 |
| 5 | 1 | |
| 6 | 1 | |
| 7 | 6 | |
| 8 | 4 | |
| 9 | 9 | |
| 10 | 1 | |
| 11 | 13 | |
| 12 | 16 | |
| 13 | Cut-elimination and proof-search for bi-intutionistic logic using nested sequents | 15 |
| 14 | 18 | |
| 15 | A local system for intuitionistic logic | 1 |
| 16 | 5 | |
| 17 | Mixing Finite Success and Finite Failure in an Automated Prover | 8 |
| 18 | A logical framework for reasoning about logical specifications | 25 |
| 19 | Induction and Co-induction in Sequent Calculus | 1 |
| 20 | 44 |
About Alwen Tiu
Alwen Tiu is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software, having authored 39 papers that have together received 567 indexed citations. Recurring topics across this work include Logic, programming, and type systems (25 papers), Logic, Reasoning, and Knowledge (22 papers) and Formal Methods in Verification (15 papers). The work is most often cited by research in Software (169 citations), Computational Theory and Mathematics (262 citations) and Artificial Intelligence (402 citations). Alwen Tiu has collaborated with scholars based in Australia, Singapore and France. Frequent co-authors include Dale Miller, Yang Liu, Shang‐Wei Lin, Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Rajeev Goré, John Hannan, Alberto Momigliano and Sjouke Mauw. Their work appears in journals such as Future Generation Computer Systems, ACM SIGPLAN Notices and IEEE Transactions on Dependable and Secure Computing.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.