Mehran Hosseini

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 13

Top Topics

Working Environment

Activation Function

Conformal Prediction

Top Venues

Finite Fields Their Appl.

Publications

Ben Batten, Mehran Hosseini, Alessio Lomuscio
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. AISTATS (2024)
Linus Jeary, Tom Kuipers, Mehran Hosseini, Nicola Paoletti
Verifiably Robust Conformal Prediction. CoRR (2024)
Ben Batten, Mehran Hosseini, Alessio Lomuscio
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. CoRR (2024)
Mehran Hosseini, Peyman Hosseini
You Need to Pay Better Attention. CoRR (2024)
Mehran Hosseini, Peyman Hosseini
Can We Generate Realistic Hands Only Using Convolution? CoRR (2024)
Peyman Hosseini, Mehran Hosseini, Sana Sabah Al-Azzawi, Marcus Liwicki, Ignacio Castro, Matthew Purver
Lon-eå at SemEval-2023 Task 11: A Comparison of Activation Functions for Soft and Hard Label Prediction. SemEval@ACL (2023)
Mehran Hosseini, Alessio Lomuscio
Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments. AAMAS (2023)
Peyman Hosseini, Mehran Hosseini, Sana Sabah Al-Azzawi, Marcus Liwicki, Ignacio Castro, Matthew Purver
Lon-eå at SemEval-2023 Task 11: A Comparison of\\Activation Functions for Soft and Hard Label Prediction. CoRR (2023)
Mehran Hosseini, Joël Ouaknine, James Worrell
Termination of Linear Loops over the Integers. ICALP (2019)
Mehran Hosseini, Joël Ouaknine, James Worrell
On Termination of Integer Linear Loops. CoRR (2019)
Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell
Effective Divergence Analysis for Linear Recurrence Sequences. CONCUR (2018)
Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell
Effective Divergence Analysis for Linear Recurrence Sequences. CoRR (2018)
Reza Rezaeian Farashahi, Mehran Hosseini
Isomorphism classes of Doche-Icart-Kohel curves over finite fields. Finite Fields Their Appl. 39 (2016)
Mehran Hosseini, Guchuan Zhu, Yves-Alain Peter
A New Model of Fringing Capacitance and its Application to the Control of Parallel-Plate Electrostatic Micro Actuators CoRR (2007)