Rasoul Ramezanian

27 papers A 1Journal 26

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