A. Kheradmand

发表

P 4 K : A Formal Semantics of P 4 and Applications

G. Rosu, A. Kheradmand, G. Roşu, 2018 .

Internet Addiction Based on Personality Characteristics of High School Students in Kerman, Iran

A. Kheradmand, B. Zamani, Y. Abedini, 2011, Addiction & health.

Physical Effects of Methadone Maintenance Treatment from the Standpoint of Clients

H. Abedi, A. Kheradmand, N. Banazadeh, 2012, European Psychiatry.

The Study of Substructures of Addiction Phenomena in High School Students Using Problem Finding Workshops

K. Divsalar, A. Kheradmand, M. Shamsi Meymandi, 2011, Addiction & health.

Prevalence of Cigarette Smoking in Schizophrenic Patients Compared to Other Hospital Admitted Psychiatric Patients

A. Kheradmand, H. Ziaaddini, M. Vahabi, 2011, European Psychiatry.

Experiences of Opium Dependents from Performance of Methadone Centers of Kerman, Iran

H. Abedi, A. Kheradmand, Nabi Banazadeh Mahani, 2011, European Psychiatry.

Opiate Dependents’ Experiences of the Therapeutic Relationship in Methadone Centers; A Qualitative Study

H. Abedi, A. Kheradmand, N. Banazadeh, 2009, Addiction & health.

The Risk of Suicide according to Drug Abuse and Nicotine Dependence in Patients with War Injuries and Chronic Traumatic Stress Disorder

A. Kheradmand, A. Ghaffari Nejad, Mahdieh Mirzaiee, 2011, Addiction & health.

SwitchV

Kinan Dak Albab, Minlan Yu, A. Kheradmand, 2022, Proceedings of the ACM SIGCOMM 2022 Conference.

SwitchV: automated SDN switch validation with P4 models

Kinan Dak Albab, Konstantin Weitz, Minlan Yu, 2022, SIGCOMM.

Chronicle of Currency Collapses and the Effects on Output: Evidence from Six Asian Countries

A. Tavakoli, A. Kheradmand, 2013 .

Frequency of Smoking and Specialized Awareness among Doctors and Nurses of Hospitals in Kerman, Iran

A. Kheradmand, Hakimeh Hoseainrezaee, S. Khodabandeh, 2013, European Psychiatry.

Stable Isotopes (O, H, and S) in the Muteh Gold Deposit, Golpaygan Area, Iran

M. Karimpour, A. Kheradmand, A. Zarasvandi, 2009 .

Comparing the Social Skills of Students Addicted to Computer Games with Normal Students

Ali Kheradmand, Ahmad Abedi, A. Kheradmand, 2010, Addiction & health.

The Effect of Methadone Maintenance Therapy on Harm Reduction in Opiate Dependents in Kerman Socio-Behavioral Consulting Centers

A. Kheradmand, N. Parvaresh, M. Darijani, 2010, Addiction & health.

Enucleation of Eye Using Finger Following Cannabis Consumption: A Case Report

A. Sharifi, A. Kheradmand, A. Sabahi, 2015, European Psychiatry.

Attention Deficit Hyperactivity Disorder (ADHD) and Conduct Disorder in Children of Drug Dependent Parents

Ḥ. Bayātī, N. Parvaresh, A. Kheradmand, 2010, Addiction & health.

Efficacy of hemodialysis and renal transplantation on reproductive function in men with end stage renal disease.

A. Kheradmand, A. Javadneia, 2003, Transplantation proceedings.

Psychosis following Tramadol Withdrawal

A. Kheradmand, M. Nasirian, Ghodratolah Rajabizadeh, 2009, Addiction & health.

Exploit the Developed Countries Experiences of Primary School Education to Prevent Drug Addiction and Implications for Iran

A. Kheradmand, E. Zamani, N. Hedayati, 2009, Addiction & health.

Identity Disturbance and Substance-Dependence in Patients with Borderline Personality Disorder

A. Kheradmand, A. Ghaffari Nejad, K. Toofani, 2010, Addiction & health.

Investigating the Factors Influencing E-Book Acceptance Among Students from Less-Privileged Regions: A Case Study on Students of Shahrekord Universities

A. Kheradmand, B. Zamani, Z. Akashe, 2019 .

Plankton: Scalable network configuration verification through model checking pdf

Brighten Godfrey, Matthew Caesar, Ali Kheradmand, 2019, NSDI.

Delta-net: Real-time Network Verification Using Atoms pdf

Mukul R. Prasad, Ali Kheradmand, Alex Horn, 2017, NSDI.

Data-driven multi-model minimum variance controller design based on support vectors

Biao Huang, Yousef Alipouri, Alireza Kheradmand, 2021 .

Interns’ Viewpoints about Nurses’ Capability and Behavior towards Patients and Interns

B. Shams, M. Mahmoudi, A. Kheradmand, 2004 .

Rare Variant of Lycanthropy and Ecstasy

A. Kheradmand, M. Nasirian, N. Banazadeh, 2009, Addiction & health.

The Lower Triassic Sorkh Shale Formation of the Tabas block, east central Iran: Succession of a failed-rift basin at the paleotethys margin

A. Kheradmand, Y. Lasemi, Hadi Amin-Rasouli, 2008, Carbonates and Evaporites.

Reporting a Case of Injecting Methylphenidate (Ritalin) Tablets, Intensified Symptoms of Schizoph-renia or Induce Separate Mental Disorder?

A. Ghaffarinejad, A. Kheradmand, 2009, addiction and health.

Impacts of Mothers’ Occupation Status and Parenting Styles on Levels of Self-Control, Addiction to Computer Games, and Educational Progress of Adolescents

A. Kheradmand, B. Zamani, Y. Abedini, 2015, European Psychiatry.

Impacts of mothers' occupation status and parenting styles on levels of self-control, addiction to computer games, and educational progress of adolescents.

A. Kheradmand, B. Zamani, Y. Abedini, 2012 .

Comparison of Total Hip Arthroplasty and Core Decompression in Avascular Necrosis of the Femoral Head after Taking Temgesic and Norgesic

A. Kheradmand, A. Nemati, Mahmood Karimi-Mobarake, 2012, European Psychiatry.

Erratum to: Stable Isotopes (O, H, and S) in the Muteh Gold Deposit, Golpaygan Area, Iran

M. Karimpour, A. Kheradmand, A. Zarasvandi, 2009 .

Automatic Inference of High-Level Network Intents by Mining Forwarding Patterns

Ali Kheradmand, A. Kheradmand, 2020, SOSR.

A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification

Mukul R. Prasad, Ali Kheradmand, Alex Horn, 2019, 2019 IEEE 27th International Conference on Network Protocols (ICNP).

P4K: A Formal Semantics of P4 and Applications pdf

Grigore Rosu, Ali Kheradmand, A. Kheradmand, 2018, ArXiv.

Predicting Network Futures with Plankton

Brighten Godfrey, Matthew Caesar, Ali Kheradmand, 2017, APNet.