We stand with Ukraine  

Rasoul Ramezanian

Orcid: 0000-0003-1800-0933

According to our database1, Rasoul Ramezanian authored at least 25 papers between 2009 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Robust ex-post Pareto efficiency and fairness in random assignments: Two impossibility results.
[BibTeX]
[DOI]
Rasoul Ramezanian
,
Mehdi Feizi
Games Econ. Behav., 2022

2020
The Marriage Problem with Interdependent Preferences.
[BibTeX]
[DOI]
Mohsen Pourpouneh
,
Rasoul Ramezanian
,
Arunava Sen
IGTR, 2020

2019
A Formal Axiomatization of Computation.
[BibTeX]
[DOI]
Rasoul Ramezanian
CoRR, 2019

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

A process algebraic form to represent extensive games.
[BibTeX]
[DOI]
Omid Gheibi
,
Rasoul Ramezanian
CoRR, 2019

Avoiding Social Disappointment in Elections.
[BibTeX]
[DOI]
Mohammad Ali Javidian
,
Pooyan Jamshidi
,
Rasoul Ramezanian
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018
A Decentralized Online Sortition Protocol.
[BibTeX]
[DOI]
Rasoul Ramezanian
,
Mohsen Pourpouneh
ISC Int. J. Inf. Secur., 2018

How can social planners prevent disappointment in an election?
[BibTeX]
[DOI]
Rasoul Ramezanian
,
Mohammad Ali Javidian
CoRR, 2018

2016
A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving.
[BibTeX]
[DOI]
Mohsen Pourpouneh
,
Rasoul Ramezanian
ISC Int. J. Inf. Secur., 2016

Coverage improvement in femtocell networks via efficient utility pricing.
[BibTeX]
[DOI]
Maryam Shafiei-Kordshouli
,
Zolfa Zeinalpour-Yazdi
,
Rasoul Ramezanian
IET Commun., 2016

2015
Simulation of Skulduggery in a Multi-Agent System.
[BibTeX]
[DOI]
Rasoul Ramezanian
,
Akram Emdadi
Int. J. Agent Technol. Syst., 2015

2014
Diffusion of Innovations over Multiplex Social Networks.
[BibTeX]
[DOI]
Rasoul Ramezanian
,
Mostafa Salehi
,
Matteo Magnani
,
Danilo Montesi
CoRR, 2014

Non-predetermined Model Theory.
[BibTeX]
[DOI]
Rasoul Ramezanian
CoRR, 2014

2013
A computational model and convergence theorem for rumor dissemination in social networks.
[BibTeX]
[DOI]
Masoud Amoozgar
,
Rasoul Ramezanian
ISC Int. J. Inf. Secur., 2013

Disappointment in Social Choice Protocols
[BibTeX]
[DOI]
Mohammad Ali Javidian
,
Rasoul Ramezanian
CoRR, 2013

Epistemic Learning Programs A Calculus for Describing Epistemic Action Models
[BibTeX]
[DOI]
Mohammad Ardeshir
,
Rasoul Ramezanian
CoRR, 2013

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

2012
A solution to the Surprise Exam Paradox in Constructive Mathematics.
[BibTeX]
[DOI]
Mohammad Ardeshir
,
Rasoul Ramezanian
Rev. Symb. Log., 2012

On the constructive notion of closure maps.
[BibTeX]
[DOI]
Mohammad Ardeshir
,
Rasoul Ramezanian
Math. Log. Q., 2012

A Computational Modeling of Rumor Dissemination
[BibTeX]
[DOI]
Masoud Amoozgar
,
Rasoul Ramezanian
CoRR, 2012

Computation Environments (2) Persistently Evolutionary Semantics
[BibTeX]
[DOI]
Rasoul Ramezanian
CoRR, 2012

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

2010
The double negation of the intermediate value theorem.
[BibTeX]
[DOI]
Mohammad Ardeshir
,
Rasoul Ramezanian
Ann. Pure Appl. Log., 2010

2009
Decidability and Specker sequences in intuitionistic mathematics.
[BibTeX]
[DOI]
Mohammad Ardeshir
,
Rasoul Ramezanian
Math. Log. Q., 2009

Process algebraic modeling of authentication protocols for analysis of parallel multi-session executions.
[BibTeX]
[DOI]
Rasoul Ramezanian
ISC Int. J. Inf. Secur., 2009


  Loading...