Duncan Clough

According to our database, Duncan Clough authored at least 2 papers between 2010 and 2025.

Collaborative distances:

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

2025

A Neurosymbolic Approach to Natural Language Formalization and Verification.

Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao

CoRR, November, 2025

2010

Panopticon: a scalable monitoring system.

Duncan Clough, Stefano Rivera, Michelle Kuttel, Vincent Geddes, Patrick C. Marais

Proceedings of the 2010 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2010