Mehran Hosseini

Orcid: 0000-0002-9227-3078

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Verifiably Robust Conformal Prediction.
CoRR, 2024

You Need to Pay Better Attention.
CoRR, 2024

Can We Generate Realistic Hands Only Using Convolution?
CoRR, 2024

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks.
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.
Proceedings of the The 17th International Workshop on Semantic Evaluation, 2023

Bounded and Unbounded Verification of RNN-Based Agents in Non-deterministic Environments.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2019
On Termination of Integer Linear Loops.
CoRR, 2019

Termination of Linear Loops over the Integers.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

2018
Effective Divergence Analysis for Linear Recurrence Sequences.
Proceedings of the 29th International Conference on Concurrency Theory, 2018

2016
Isomorphism classes of Doche-Icart-Kohel curves over finite fields.
Finite Fields Their Appl., 2016

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


  Loading...