Mehran Hosseini

According to our database, Mehran Hosseini authored at least 15 papers between 2007 and 2026.

Collaborative distances:

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

2026

Verifiably robust conformal prediction for probabilistic guarantees under adversarial attacks.

Linus Jeary, Tom Kuipers, Mehran Hosseini, Nicola Paoletti

Pattern Recognit., 2026

2025

GeoPos: A Minimal Positional Encoding for Enhanced Fine-Grained Details in Image Synthesis Using Convolutional Neural Networks.

Mehran Hosseini, Peyman Hosseini

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2025

LTL Verification of Memoryful Neural Agents.

Mehran Hosseini, Alessio Lomuscio, Nicola Paoletti

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Certified Guidance for Planning with Deep Generative Models.

Francesco Giacomarra, Mehran Hosseini, Nicola Paoletti, Francesca Cairoli

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

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

Verifiably Robust Conformal Prediction.

Linus Jeary, Tom Kuipers, Mehran Hosseini, Nicola Paoletti

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 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