Mehran Hosseini

According to our database, Mehran Hosseini authored at least 11 papers between 2007 and 2024.

Collaborative distances:

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

2024

Verifiably Robust Conformal Prediction.

Linus Jeary, Tom Kuipers, Mehran Hosseini, Nicola Paoletti

CoRR, 2024

You Need to Pay Better Attention.

Mehran Hosseini, Peyman Hosseini

CoRR, 2024

Can We Generate Realistic Hands Only Using Convolution?

Mehran Hosseini, Peyman Hosseini

CoRR, 2024

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks.

Ben Batten, Mehran Hosseini, Alessio Lomuscio

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2024

2023

Lon-eå at SemEval-2023 Task 11: A Comparison of Activation Functions for Soft and Hard Label Prediction.

Peyman Hosseini, Mehran Hosseini, Sana Sabah Al-Azzawi, Marcus Liwicki, Ignacio Castro, Matthew Purver

Proceedings of the The 17th International Workshop on Semantic Evaluation, 2023

Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments.

Mehran Hosseini, Alessio Lomuscio

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2019

On Termination of Integer Linear Loops.

Mehran Hosseini, Joël Ouaknine, James Worrell

CoRR, 2019

Termination of Linear Loops over the Integers.

Mehran Hosseini, Joël Ouaknine, James Worrell

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

2018

Effective Divergence Analysis for Linear Recurrence Sequences.

Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2016

Isomorphism classes of Doche-Icart-Kohel curves over finite fields.

Reza Rezaeian Farashahi, Mehran Hosseini

Finite Fields Their Appl., 2016

2007

A New Model of Fringing Capacitance and its Application to the Control of Parallel-Plate Electrostatic Micro Actuators

Mehran Hosseini, Guchuan Zhu, Yves-Alain Peter

CoRR, 2007