Rasoul Ramezanian
Orcid: 0000-0003-1800-0933
According to our database1,
Rasoul Ramezanian
authored at least 26 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2022
Robust ex-post Pareto efficiency and fairness in random assignments: Two impossibility results.
Games Econ. Behav., 2022
2020
2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
2018
2016
A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving.
ISC Int. J. Inf. Secur., 2016
IET Commun., 2016
2015
Int. J. Agent Technol. Syst., 2015
2014
2013
A computational model and convergence theorem for rumor dissemination in social networks.
ISC Int. J. Inf. Secur., 2013
CoRR, 2013
A Constructive Epistemic Logic with Public Announcement (Non-Predetermined Possibilities)
CoRR, 2013
2012
Rev. Symb. Log., 2012
Computation Environments, An Interactive Semantics for Turing Machines (which P is not equal to NP considering it)
CoRR, 2012
2010
2009
Math. Log. Q., 2009
Process algebraic modeling of authentication protocols for analysis of parallel multi-session executions.
ISC Int. J. Inf. Secur., 2009