Alexander Gaskell

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 7

Top Topics

Automated Deduction

Higher Order Logic

Top Venues

Frontiers Digit. Health

Publications

Alexander Gaskell, Yishu Miao, Lucia Specia, Francesca Toni
Logically Consistent Adversarial Attacks for Soft Theorem Provers. CoRR (2022)
Alican Akman, Harry Coppock, Alexander Gaskell, Panagiotis Tzirakis, Lyn Jones, Björn W. Schuller
Evaluating the COVID-19 Identification ResNet (CIdeR) on the INTERSPEECH COVID-19 From Audio Challenges. Frontiers Digit. Health 4 (2022)
Alexander Gaskell, Yishu Miao, Francesca Toni, Lucia Specia
Logically Consistent Adversarial Attacks for Soft Theorem Provers. IJCAI (2022)
Harry Coppock, Alexander Gaskell, Panagiotis Tzirakis, Alice Baird, Lyn Jones, Björn W. Schuller
End-2-End COVID-19 Detection from Breath & Cough Audio. CoRR (2021)
Alican Akman, Harry Coppock, Alexander Gaskell, Panagiotis Tzirakis, Lyn Jones, Björn W. Schuller
Evaluating the COVID-19 Identification ResNet (CIdeR) on the INTERSPEECH COVID-19 from Audio Challenges. CoRR (2021)
Mina A. Nessiem, Mostafa M. Mohamed, Harry Coppock, Alexander Gaskell, Björn W. Schuller
Detecting COVID-19 from Breathing and Coughing Sounds using Deep Neural Networks. CBMS (2021)
Björn W. Schuller, Harry Coppock, Alexander Gaskell
Detecting COVID-19 from Breathing and Coughing Sounds using Deep Neural Networks. CoRR (2020)