default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRasoul Ramezanian
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i13]Rasoul Ramezanian:
The Division Problem of Chances. CoRR abs/2404.16836 (2024)- 2022
- [j12]Rasoul Ramezanian, Mehdi Feizi
:
Robust ex-post Pareto efficiency and fairness in random assignments: Two impossibility results. Games Econ. Behav. 135: 356-367 (2022) - 2020
- [j11]Mohsen Pourpouneh, Rasoul Ramezanian, Arunava Sen:
The Marriage Problem with Interdependent Preferences. IGTR 22(2): 2040005:1-2040005:16 (2020)
2010 – 2019
- 2019
- [c1]Mohammad Ali Javidian, Pooyan Jamshidi, Rasoul Ramezanian:
Avoiding Social Disappointment in Elections. AAMAS 2019: 2039-2041 - [i12]Omid Gheibi, Rasoul Ramezanian:
A process algebraic form to represent extensive games. CoRR abs/1904.12219 (2019) - [i11]Rasoul Ramezanian:
Computer-Simulation Model Theory (P= NP is not provable). CoRR abs/1906.09873 (2019) - [i10]Rasoul Ramezanian:
A Formal Axiomatization of Computation. CoRR abs/1907.03533 (2019) - 2018
- [j10]Rasoul Ramezanian, Mohsen Pourpouneh:
A Decentralized Online Sortition Protocol. ISC Int. J. Inf. Secur. 10(1): 63-69 (2018) - [i9]Rasoul Ramezanian, Mohammad Ali Javidian:
How can social planners prevent disappointment in an election? CoRR abs/1801.05911 (2018) - 2016
- [j9]Maryam Shafiei-Kordshouli, Zolfa Zeinalpour-Yazdi, Rasoul Ramezanian:
Coverage improvement in femtocell networks via efficient utility pricing. IET Commun. 10(16): 2215-2221 (2016) - [j8]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): 3-24 (2016) - 2015
- [j7]Rasoul Ramezanian, Akram Emdadi:
Simulation of Skulduggery in a Multi-Agent System. Int. J. Agent Technol. Syst. 7(1): 17-31 (2015) - 2014
- [i8]Rasoul Ramezanian:
Non-predetermined Model Theory. CoRR abs/1408.4681 (2014) - [i7]Rasoul Ramezanian, Mostafa Salehi, Matteo Magnani, Danilo Montesi:
Diffusion of Innovations over Multiplex Social Networks. CoRR abs/1408.5806 (2014) - 2013
- [j6]Masoud Amoozgar, Rasoul Ramezanian:
A computational model and convergence theorem for rumor dissemination in social networks. ISC Int. J. Inf. Secur. 5(2): 141-154 (2013) - [i6]Rasoul Ramezanian:
A Constructive Epistemic Logic with Public Announcement (Non-Predetermined Possibilities). CoRR abs/1302.0975 (2013) - [i5]Mohammad Ardeshir, Rasoul Ramezanian:
Epistemic Learning Programs A Calculus for Describing Epistemic Action Models. CoRR abs/1304.6276 (2013) - [i4]Mohammad Ali Javidian, Rasoul Ramezanian:
Disappointment in Social Choice Protocols. CoRR abs/1305.2386 (2013) - 2012
- [j5]Mohammad Ardeshir, Rasoul Ramezanian:
On the constructive notion of closure maps. Math. Log. Q. 58(4-5): 348-355 (2012) - [j4]Mohammad Ardeshir, Rasoul Ramezanian:
A solution to the Surprise Exam Paradox in Constructive Mathematics. Rev. Symb. Log. 5(4): 679-686 (2012) - [i3]Rasoul Ramezanian:
Computation Environments, An Interactive Semantics for Turing Machines (which P is not equal to NP considering it). CoRR abs/1205.5994 (2012) - [i2]Rasoul Ramezanian:
Computation Environments (2) Persistently Evolutionary Semantics. CoRR abs/1207.0051 (2012) - [i1]Masoud Amoozgar, Rasoul Ramezanian:
A Computational Modeling of Rumor Dissemination. CoRR abs/1211.6244 (2012) - 2010
- [j3]Mohammad Ardeshir, Rasoul Ramezanian:
The double negation of the intermediate value theorem. Ann. Pure Appl. Log. 161(6): 737-744 (2010)
2000 – 2009
- 2009
- [j2]Rasoul Ramezanian:
Process algebraic modeling of authentication protocols for analysis of parallel multi-session executions. ISC Int. J. Inf. Secur. 1(1): 55-67 (2009) - [j1]Mohammad Ardeshir, Rasoul Ramezanian:
Decidability and Specker sequences in intuitionistic mathematics. Math. Log. Q. 55(6): 637-648 (2009)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-04 20:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
