John Byrne

12 papers A* 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs.
CoRR
Santiago Gonzalez, Alireza Amiri Bavandpour, Peter Ye, Edward Zhang, Ruslans Aleksejevs, Todor Antic, Polina Baron, Sujeet Bhalerao, Shubhrajit Bhattacharya, Zachary Burton, John Byrne, Hyungjun Choi, Nujhat Ahmed Disha, Koppány István Encz, Yuchen Fang, Robert Joseph George, Ebrahim Ghorbani, Alan Goldfarb, Jing Guo, Meghal Gupta, Stefano Huber, Annika Kanckos, Minjung Kang, Hyun Jong Kim, Dino Lorenzini, Levi Lorenzo, Tianyi Mao, Giovanni Marzenta, Ariane M. Masuda, Lukas Mauth, Ana Mickovic, Andres Miniguano-Trujillo, Antoine Moulin, Wenqi Ni, Tomos Parry, Kevin Ren, Hossein Roodbarani, Mathieu Rundström, Manjil Saikia, Detchat Samart, Rebecca Steiner, Connor Stewart, Dhara Thakkar, Jeffrey Tse, Vasiliki Velona, Yunhai Xiang, Sibel Yalçin, Jun Yan, Ji Zeng, Arman Cohan, Quanquan C. Liu
2025 J jnl
Forbidden Subgraphs and Complete Partitions.
Electron. J. Comb.
John Byrne, Michael Tait, Craig Timmons
2024 J jnl
Improved upper bounds on even-cycle creating Hamilton paths.
Discret. Math.
John Byrne, Michael Tait
2018 A* conf
Watching for Software Inefficiencies with Witch.
ASPLOS
Shasha Wen, Xu Liu, John Byrne, Milind Chabbi
2007 J jnl
Antecedents and consequences of team potency in software development projects.
Inf. Manag.
Ali E. Akgün, Halit Keskin, John Byrne, Salih Zeki Imamoglu
2006 J jnl
Transactive memory system in new product development teams.
IEEE Trans. Engineering Management
Ali E. Akgün, John Byrne, Halit Keskin, Gary S. Lynn
2005 J jnl
Knowledge networks in new product development projects: A transactive memory perspective.
Inf. Manag.
Ali E. Akgün, John Byrne, Halit Keskin, Gary S. Lynn, Salih Zeki Imamoglu
2005 — conf
The Movement to an Information Society: A Comparison of Australia and Other Leading Information Society Countries.
ECEG
John Byrne, Bill Martin, Hepu Deng, Edward Halpin
2004 — conf
E-Business Evaluation in Australia : A Discussion of Some Preliminary Findings.
ICEB
Mohini Singh, John Byrne
2004 — conf
The Use of ICT in the Delivery of Online Services.
Information and Communication Technologies and Real-Life Learning
Kevin Leung, John Byrne, France Cheong
1998 J jnl
Neural Networks for Language Identification: A Comparative Study.
Inf. Process. Manag.
Shane MacNamara, Padraig Cunningham, John Byrne
1990 J jnl
Chaocipher Enters the Computer Age when its Method is disclosed to Cryptologia Editors.
Cryptologia
John Byrne, Cipher A. Deavours, Louis Kruh