Mehran Hosseini

22 papers A* 2A 5B 1Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Verifiably robust conformal prediction for probabilistic guarantees under adversarial attacks.
Pattern Recognit.
Linus Jeary, Tom Kuipers, Mehran Hosseini, Nicola Paoletti
2025 J jnl
CONFEX: Uncertainty-Aware Counterfactual Explanations with Conformal Guarantees.
CoRR
Aman Bilkhoo, Mehran Hosseini, Milad Kazemi, Nicola Paoletti
2025 A conf
Certified Guidance for Planning with Deep Generative Models.
AAMAS
Francesco Giacomarra, Mehran Hosseini, Nicola Paoletti, Francesca Cairoli
2025 J jnl
Certified Guidance for Planning with Deep Generative Models.
CoRR
Francesco Giacomarra, Mehran Hosseini, Nicola Paoletti, Francesca Cairoli
2025 A conf
GeoPos: A Minimal Positional Encoding for Enhanced Fine-Grained Details in Image Synthesis Using Convolutional Neural Networks.
WACV
Mehran Hosseini, Peyman Hosseini
2025 A conf
LTL Verification of Memoryful Neural Agents.
AAMAS
Mehran Hosseini, Alessio Lomuscio, Nicola Paoletti
2025 J jnl
LTL Verification of Memoryful Neural Agents.
CoRR
Mehran Hosseini, Alessio Lomuscio, Nicola Paoletti
2024 J jnl
Can We Generate Realistic Hands Only Using Convolution?
CoRR
Mehran Hosseini, Peyman Hosseini
2024 A conf
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks.
AISTATS
Ben Batten, Mehran Hosseini, Alessio Lomuscio
2024 J jnl
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks.
CoRR
Ben Batten, Mehran Hosseini, Alessio Lomuscio
2024 A* conf
Verifiably Robust Conformal Prediction.
NeurIPS
Linus Jeary, Tom Kuipers, Mehran Hosseini, Nicola Paoletti
2024 J jnl
Verifiably Robust Conformal Prediction.
CoRR
Linus Jeary, Tom Kuipers, Mehran Hosseini, Nicola Paoletti
2024 J jnl
You Need to Pay Better Attention.
CoRR
Mehran Hosseini, Peyman Hosseini
2023 A conf
Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments.
AAMAS
Mehran Hosseini, Alessio Lomuscio
2023 J jnl
Lon-ea at SemEval-2023 Task 11: A Comparison of Activation Functions for Soft and Hard Label Prediction.
CoRR
Peyman Hosseini, Mehran Hosseini, Sana Sabah Al-Azzawi, Marcus Liwicki, Ignacio Castro, Matthew Purver
2023 — conf
Lon-eå at SemEval-2023 Task 11: A Comparison of Activation Functions for Soft and Hard Label Prediction.
SemEval@ACL
Peyman Hosseini, Mehran Hosseini, Sana Sabah Al-Azzawi, Marcus Liwicki, Ignacio Castro, Matthew Purver
2019 J jnl
On Termination of Integer Linear Loops.
CoRR
Mehran Hosseini, Joël Ouaknine, James Worrell
2019 A* conf
Termination of Linear Loops over the Integers.
ICALP
Mehran Hosseini, Joël Ouaknine, James Worrell
2018 B conf
Effective Divergence Analysis for Linear Recurrence Sequences.
CONCUR
Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell
2018 J jnl
Effective Divergence Analysis for Linear Recurrence Sequences.
CoRR
Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell
2016 J jnl
Isomorphism classes of Doche-Icart-Kohel curves over finite fields.
Finite Fields Their Appl.
Reza Rezaeian Farashahi, Mehran Hosseini
2007 J jnl
A New Model of Fringing Capacitance and its Application to the Control of Parallel-Plate Electrostatic Micro Actuators
CoRR
Mehran Hosseini, Guchuan Zhu, Yves-Alain Peter