Thomas Voice

According to our database, Thomas Voice authored at least 23 papers between 2004 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Hilbert: Recursively Building Formal Proofs with Informal Reasoning.

Sumanth Varambally, Thomas Voice, Yanchao Sun, Zhifeng Chen, Rose Yu, Ke Ye

CoRR, September, 2025

Apple Intelligence Foundation Language Models: Tech Report 2025.

Hanzhi Zhou, Erik Hornberger, Pengsheng Guo, Xiyou Zhou, Saiwen Wang, Xin Wang, Yifei He, Xuankai Chang, Rene Rauch, Louis D'hauwe, John Peebles, Alec Doane, Kohen Chia, Jenna Thibodeau, Zi-Yi Dou, Yuanyang Zhang, Ruoming Pang, Reed Li, Zhifeng Chen, Jeremy Warner, Zhaoyang Xu, Sophy Lee, David Mizrahi, Ramsey Tantawi, Chris Chaney, Kelsey Peterson, Jun Qin, Alex Dombrowski, Mira Chiang, Aiswarya Raghavan, Gerard Casamayor, Qibin Chen, Aonan Zhang, Nathalie Tran, Jianyu Wang, Hang Su, Thomas Voice, Alessandro Pappalardo, Brycen Wershing, Prasanth Yadla, Rui Li, Priyal Chhatrapati, Ismael Fernandez, Yusuf Goren, Xin Zheng, Forrest Huang, Tao Lei, Eray Yildiz, Alper Kokmen, Gokula Santhanam, Areeba Kamal, Kaan Elgin, Dian Ang Yap, Jeremy Liu, Peter Gray, Howard Xing, Kieran Liu, Matteo Ronchi, Moritz Schwarzer-Becker, Yun Zhu, Mandana Saebi, Jeremy Snow, David Griffiths, Guillaume Tartavel, Erin Feldman, Simon Lehnerer, Fernando Bermúdez-Medina, Hans Han, Joe Zhou, Xiaoyi Ren, Sujeeth Reddy, Zirui Wang, Tom Gunter, Albert Antony, Yuanzhi Li, John Dennison, Tony Sun, Yena Han, Yi Qin, Sam Davarnia, Jeffrey P. Bigham, Wayne Shan, Hannah Gillis Coleman, Guillaume Klein, Peng Liu, Muyang Yu, Jack Cackler, Yuan Gao, Crystal Xiao, Binazir Karimzadeh, Zhengdong Zhang, Felix Bai, Albin Madappally Jose, Feng Nan, Nazir Kamaldin, Dong Yin, Hans Hao, Yanchao Sun, Yi Hua, Charles Maalouf

CoRR, July, 2025

2021

Global stability of the Rate Control Protocol (RCP) and some implications for protocol design.

Thomas Voice, Abuthahir Abdulrahman, Gaurav Raina

Perform. Evaluation, 2021

2020

Learning Soft Labels via Meta Learning.

Nidhi Vyas, Shreyas Saxena, Thomas Voice

CoRR, 2020

2019

Do we need two forms of feedback in the Rate Control Protocol (RCP)?

Abuthahir, Gaurav Raina, Thomas Voice

SIGMETRICS Perform. Evaluation Rev., 2019

2018

Stochastic Thermal Load Management.

Thomas Voice

IEEE Trans. Autom. Control., 2018

Global stability of the Rate Control Protocol (RCP) and some implications for protocol design.

Thomas Voice, Abuthahir, Gaurav Raina

CoRR, 2018

2013

A Hierarchical Dynamic Programming Algorithm for Optimal Coalition Structure Generation.

Meritxell Vinyals, Thomas Voice, Sarvapali D. Ramchurn, Nicholas R. Jennings

CoRR, 2013

2012

Coalition Structure Generation over Graphs.

Thomas Voice, Maria Polukarov, Nicholas R. Jennings

J. Artif. Intell. Res., 2012

On coalition formation with sparse synergies.

Thomas Voice, Sarvapali D. Ramchurn, Nicholas R. Jennings

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Theoretical and Practical Foundations of Large-Scale Agent-Based Micro-Storage in the Smart Grid.

Perukrishnen Vytelingum, Thomas Voice, Sarvapali D. Ramchurn, Alex Rogers, Nicholas R. Jennings

J. Artif. Intell. Res., 2011

Graph Coalition Structure Generation

Thomas Voice, Maria Polukarov, Nicholas R. Jennings

CoRR, 2011

Decentralised Control of Micro-Storage in the Smart Grid.

Thomas Voice, Perukrishnen Vytelingum, Sarvapali D. Ramchurn, Alex Rogers, Nicholas R. Jennings

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

A Hybrid Continuous Max-Sum Algorithm for Decentralised Coordination.

Thomas Voice, Ruben Stranders, Alex Rogers, Nicholas R. Jennings

Proceedings of the ECAI 2010, 2010

Intelligent agents for the smart grid.

Perukrishnen Vytelingum, Thomas Voice, Sarvapali D. Ramchurn, Alex Rogers, Nicholas R. Jennings

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Agent-based micro-storage management for the Smart Grid.

Perukrishnen Vytelingum, Thomas Voice, Sarvapali D. Ramchurn, Alex Rogers, Nicholas R. Jennings

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Trading agents for the smart electricity grid.

Perukrishnen Vytelingum, Sarvapali D. Ramchurn, Thomas Voice, Alex Rogers, Nicholas R. Jennings

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Stability Analysis of a Max-Min Fair Rate Control Protocol (RCP) in a Small Buffer Regime.

Thomas Voice, Gaurav Raina

IEEE Trans. Autom. Control., 2009

On the Impact of Strategy and Utility Structures on Congestion-Averse Games.

Thomas Voice, Maria Polukarov, Andrew Byde, Nicholas R. Jennings

Proceedings of the Internet and Network Economics, 5th International Workshop, 2009

2008

Stability and fairness of explicit congestion control with small buffers.

Frank P. Kelly, Gaurav Raina, Thomas Voice

Comput. Commun. Rev., 2008

2006

Stability of multi-path dual congestion control algorithms.

Thomas Voice

Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, 2006

2005

Stability of end-to-end algorithms for joint routing and rate control.

Frank P. Kelly, Thomas Voice

Comput. Commun. Rev., 2005

2004

A global stability result for primal-dual congestion control algorithms with routing.

Thomas Voice

Comput. Commun. Rev., 2004