Adam Dingle

According to our database, Adam Dingle authored at least 6 papers between 1991 and 2024.

Collaborative distances:

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

2024

A Natural-Language Proof Assistant for Higher-Order Logic (Work in Progress).

Adam Dingle

Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024

Tackling Students' Coding Assignments with LLMs.

Adam Dingle, Martin Krulis

LLM4CODE@ICSE, 2024

1996

Web Cache Coherence.

Adam Dingle, Tomas Pártl

Comput. Networks, 1996

Unsupervised image segmentation based on the comparison of local and regional histograms.

Adam Dingle, Mark W. Morrison

Proceedings of the Proceedings 1996 International Conference on Image Processing, 1996

1994

Branch Cuts in Computer Algebra.

Adam Dingle, Richard J. Fateman

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994

1991

Optimum Embeddings of End-Around Meshes into Pyramid Networks.

Adam Dingle, Hassan R. Barada

Proceedings of the Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30, 1991