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)

Isomorphism classes of Doche-Icart-Kohel curves over finite fields. - Reza Rezaeian Farashahi; Mehran Hosseini (Finite Fields Their Appl., 2016)

Effective Divergence Analysis for Linear Recurrence Sequences. - Shaull Almagor; Brynmor Chapman; Mehran Hosseini; Joël Ouaknine; James Worrell 001 (CONCUR, 2018)

Termination of Linear Loops over the Integers. - Mehran Hosseini; Joël Ouaknine; James Worrell 001 (ICALP, 2019)

On Termination of Integer Linear Loops. - Mehran Hosseini; Joël Ouaknine; James Worrell 001 (CoRR, 2019)

Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments. - Mehran Hosseini; Alessio Lomuscio (AAMAS, 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 (SemEval@ACL, 2023)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks. - Ben Batten; Mehran Hosseini; Alessio Lomuscio (AISTATS, 2024)

Verifiably Robust Conformal Prediction. - Linus Jeary; Tom Kuipers; Mehran Hosseini; Nicola Paoletti (NeurIPS, 2024)

Can We Generate Realistic Hands Only Using Convolution? - Mehran Hosseini; Peyman Hosseini (CoRR, 2024)

You Need to Pay Better Attention. - Mehran Hosseini; Peyman Hosseini (CoRR, 2024)

Certified Guidance for Planning with Deep Generative Models. - Francesco Giacomarra; Mehran Hosseini; Nicola Paoletti; Francesca Cairoli (AAMAS, 2025)

LTL Verification of Memoryful Neural Agents. - Mehran Hosseini; Alessio Lomuscio; Nicola Paoletti (AAMAS, 2025)

GeoPos: A Minimal Positional Encoding for Enhanced Fine-Grained Details in Image Synthesis Using Convolutional Neural Networks. - Mehran Hosseini; Peyman Hosseini (WACV, 2025)

Verifiably robust conformal prediction for probabilistic guarantees under adversarial attacks. - Linus Jeary; Tom Kuipers; Mehran Hosseini; Nicola Paoletti (Pattern Recognit., 2026)