Process algebraic modeling of authentication protocols for analysis of parallel multi-session executions. - Rasoul Ramezanian (ISC Int. J. Inf. Secur., 2009)

Decidability and Specker sequences in intuitionistic mathematics. - Mohammad Ardeshir; Rasoul Ramezanian (Math. Log. Q., 2009)

The double negation of the intermediate value theorem. - Mohammad Ardeshir; Rasoul Ramezanian (Ann. Pure Appl. Log., 2010)

Computation Environments, An Interactive Semantics for Turing Machines (which P is not equal to NP considering it) - Rasoul Ramezanian (CoRR, 2012)

Computation Environments (2) Persistently Evolutionary Semantics - Rasoul Ramezanian (CoRR, 2012)

A Computational Modeling of Rumor Dissemination - Masoud Amoozgar; Rasoul Ramezanian (CoRR, 2012)

On the constructive notion of closure maps. - Mohammad Ardeshir; Rasoul Ramezanian (Math. Log. Q., 2012)

A solution to the Surprise Exam Paradox in Constructive Mathematics. - Mohammad Ardeshir; Rasoul Ramezanian (Rev. Symb. Log., 2012)

A Constructive Epistemic Logic with Public Announcement (Non-Predetermined Possibilities) - Rasoul Ramezanian (CoRR, 2013)

Epistemic Learning Programs A Calculus for Describing Epistemic Action Models - Mohammad Ardeshir; Rasoul Ramezanian (CoRR, 2013)

Disappointment in Social Choice Protocols - Mohammad Ali Javidian; Rasoul Ramezanian (CoRR, 2013)

A computational model and convergence theorem for rumor dissemination in social networks. - Masoud Amoozgar; Rasoul Ramezanian (ISC Int. J. Inf. Secur., 2013)

Non-predetermined Model Theory. - Rasoul Ramezanian (CoRR, 2014)

Diffusion of Innovations over Multiplex Social Networks. - Rasoul Ramezanian; Mostafa Salehi; Matteo Magnani; Danilo Montesi (CoRR, 2014)

Simulation of Skulduggery in a Multi-Agent System. - Rasoul Ramezanian; Akram Emdadi (Int. J. Agent Technol. Syst., 2015)

Coverage improvement in femtocell networks via efficient utility pricing. - Maryam Shafiei-Kordshouli; Zolfa Zeinalpour-Yazdi; Rasoul Ramezanian (IET Commun., 2016)

A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving. - Mohsen Pourpouneh; Rasoul Ramezanian (ISC Int. J. Inf. Secur., 2016)

How can social planners prevent disappointment in an election? - Rasoul Ramezanian; Mohammad Ali Javidian (CoRR, 2018)

A Decentralized Online Sortition Protocol. - Rasoul Ramezanian; Mohsen Pourpouneh (ISC Int. J. Inf. Secur., 2018)

Avoiding Social Disappointment in Elections. - Mohammad Ali Javidian; Pooyan Jamshidi; Rasoul Ramezanian (AAMAS, 2019)

A process algebraic form to represent extensive games. - Omid Gheibi; Rasoul Ramezanian (CoRR, 2019)

Computer-Simulation Model Theory (P= NP is not provable). - Rasoul Ramezanian (CoRR, 2019)

A Formal Axiomatization of Computation. - Rasoul Ramezanian (CoRR, 2019)

The Marriage Problem with Interdependent Preferences. - Mohsen Pourpouneh; Rasoul Ramezanian; Arunava Sen (IGTR, 2020)

Robust ex-post Pareto efficiency and fairness in random assignments: Two impossibility results. - Rasoul Ramezanian; Mehdi Feizi (Games Econ. Behav., 2022)

The Division Problem of Chances. - Rasoul Ramezanian (CoRR, 2024)