Amy Stell

0000-0003-0714-3269

Homepages 🌐

https://computerscience.exeter.ac.uk/staff/as1343?sm=as1343

E-Mails 📧

ku.ca.retexe@3431sa

Entries

2025

Formalizing Neural Networks

by Achim D. Brucker and Amy Stell

Nov 09

2024

(Extended) Interval Analysis

by Achim D. Brucker and Amy Stell

Jan 21