Rasoul Ramezanian

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 12

Top Topics

Simulation Model

Coloured Petri Nets

Presidential Election

Formal Verification

Top Venues

ISC Int. J. Inf. Secur.

Games Econ. Behav.

Publications

Rasoul Ramezanian
The Division Problem of Chances. CoRR (2024)
Rasoul Ramezanian, Mehdi Feizi
Robust ex-post Pareto efficiency and fairness in random assignments: Two impossibility results. Games Econ. Behav. 135 (2022)
Mohsen Pourpouneh, Rasoul Ramezanian, Arunava Sen
The Marriage Problem with Interdependent Preferences. IGTR 22 (2) (2020)
Mohammad Ali Javidian, Pooyan Jamshidi, Rasoul Ramezanian
Avoiding Social Disappointment in Elections. AAMAS (2019)
Omid Gheibi, Rasoul Ramezanian
A process algebraic form to represent extensive games. CoRR (2019)
Rasoul Ramezanian
Computer-Simulation Model Theory (P= NP is not provable). CoRR (2019)
Rasoul Ramezanian
A Formal Axiomatization of Computation. CoRR (2019)
Rasoul Ramezanian, Mohsen Pourpouneh
A Decentralized Online Sortition Protocol. ISC Int. J. Inf. Secur. 10 (1) (2018)
Rasoul Ramezanian, Mohammad Ali Javidian
How can social planners prevent disappointment in an election? CoRR (2018)
Maryam Shafiei-Kordshouli, Zolfa Zeinalpour-Yazdi, Rasoul Ramezanian
Coverage improvement in femtocell networks via efficient utility pricing. IET Commun. 10 (16) (2016)
Mohsen Pourpouneh, Rasoul Ramezanian
A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving. ISC Int. J. Inf. Secur. 8 (1) (2016)
Rasoul Ramezanian, Akram Emdadi
Simulation of Skulduggery in a Multi-Agent System. Int. J. Agent Technol. Syst. 7 (1) (2015)
Rasoul Ramezanian
Non-predetermined Model Theory. CoRR (2014)
Rasoul Ramezanian, Mostafa Salehi, Matteo Magnani, Danilo Montesi
Diffusion of Innovations over Multiplex Social Networks. CoRR (2014)
Masoud Amoozgar, Rasoul Ramezanian
A computational model and convergence theorem for rumor dissemination in social networks. ISC Int. J. Inf. Secur. 5 (2) (2013)
Mohammad Ardeshir, Rasoul Ramezanian
Epistemic Learning Programs A Calculus for Describing Epistemic Action Models CoRR (2013)
Rasoul Ramezanian
A Constructive Epistemic Logic with Public Announcement (Non-Predetermined Possibilities) CoRR (2013)
Mohammad Ali Javidian, Rasoul Ramezanian
Disappointment in Social Choice Protocols CoRR (2013)
Mohammad Ardeshir, Rasoul Ramezanian
On the constructive notion of closure maps. Math. Log. Q. 58 (4-5) (2012)
Rasoul Ramezanian
Computation Environments, An Interactive Semantics for Turing Machines (which P is not equal to NP considering it) CoRR (2012)
Rasoul Ramezanian
Computation Environments (2) Persistently Evolutionary Semantics CoRR (2012)
Masoud Amoozgar, Rasoul Ramezanian
A Computational Modeling of Rumor Dissemination CoRR (2012)
Mohammad Ardeshir, Rasoul Ramezanian
A solution to the Surprise Exam Paradox in Constructive Mathematics. Rev. Symb. Log. 5 (4) (2012)
Mohammad Ardeshir, Rasoul Ramezanian
The double negation of the intermediate value theorem. Ann. Pure Appl. Log. 161 (6) (2010)
Rasoul Ramezanian
Process algebraic modeling of authentication protocols for analysis of parallel multi-session executions. ISC Int. J. Inf. Secur. 1 (1) (2009)
Mohammad Ardeshir, Rasoul Ramezanian
Decidability and Specker sequences in intuitionistic mathematics. Math. Log. Q. 55 (6) (2009)