2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016

Country

United States

Universities and research institutions in United States
Media Ranking in United States

Subject Area and Category

Chemical Engineering
- Chemical Engineering (miscellaneous)

Computer Science
- Hardware and Architecture
- Software

Decision Sciences
- Management Science and Operations Research

Publisher

H-Index

Publication type

Conferences and Proceedings

ISSN

Coverage

Information

Homepage

Scope

The 14th ACM-IEEE International Conference on Formal Methods and Models for System Design will be held at the Indian Institute of Technology in Kanpur from November 18 to 20, 2016. Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred. This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus on hardware/software co-design to its new focus on formal methods and models for developing computer systems and their components. MEMOCODE's objective is to emphasize the importance of models and methodologies in correct system design and development, and to bring together researchers and industry practitioners interested in all aspects of computer system development to exchange ideas, research results and lessons learned. MEMOCODE 2016 seeks research contributions on all aspects of methods and models for system, hardware, and software design and development: formal foundations, engineering methods, tools, and experimental case studies. Research areas of interest include but are not limited to the following: Modeling Languages, Methods and Tools[...] Formal Methods and Tools [...] Models and Methods for Developing Critical Systems[...] Quantitative/Qualitative Reasoning Power/performance/cost/latency trade-off methods[...] Formal Methods/Models in Practice[...]

Join the conversation about this journal

SJR

The SJR is a size-independent prestige indicator that ranks journals by their 'average prestige per article'. It is based on the idea that 'all citations are not created equal'. SJR is a measure of scientific influence of journals that accounts for both the number of citations received by a journal and the importance or prestige of the journals where such citations come from It measures the scientific influence of the average article in a journal, it expresses how central to the global scientific discussion an average article of the journal is.

Year	SJR
2017	0.124
2018	0.195
2019	0.199

Total Documents

Evolution of the number of published documents. All types of documents are considered, including citable and non citable documents.

Year	Documents
2017	0
2018	0
2019	0

Citations per document

This indicator counts the number of citations received by documents from a journal and divides them by the total number of documents published in that journal. The chart shows the evolution of the average number of times documents published in a journal in the past two, three and four years have been cited in the current year. The two years line is equivalent to journal impact factor ™ (Thomson Reuters) metric.

Cites per document	Year	Value
Cites / Doc. (4 years)	2017	0.708
Cites / Doc. (4 years)	2018	1.083
Cites / Doc. (4 years)	2019	0.875
Cites / Doc. (3 years)	2017	0.708
Cites / Doc. (3 years)	2018	1.083
Cites / Doc. (3 years)	2019	0.875
Cites / Doc. (2 years)	2017	0.708
Cites / Doc. (2 years)	2018	1.083
Cites / Doc. (2 years)	2019	0.000

Total Cites

Self-Cites

Evolution of the total number of citations and journal's self-citations received by a journal's published documents during the three previous years.
Journal Self-citation is defined as the number of citation from a journal citing article to articles published by the same journal.

Cites	Year	Value
Self Cites	2017	0
Self Cites	2018	0
Self Cites	2019	0
Total Cites	2017	17
Total Cites	2018	26
Total Cites	2019	21

External Cites per Doc

Cites per Doc

Evolution of the number of total citation per document and external citation per document (i.e. journal self-citations removed) received by a journal's published documents during the three previous years. External citations are calculated by subtracting the number of self-citations from the total number of citations received by the journal’s documents.

Cites	Year	Value
External Cites per document	2017	0.708
External Cites per document	2018	1.083
External Cites per document	2019	0.875
Cites per document	2017	0.708
Cites per document	2018	1.083
Cites per document	2019	0.875

% International Collaboration

International Collaboration accounts for the articles that have been produced by researchers from several countries. The chart shows the ratio of a journal's documents signed by researchers from more than one country; that is including more than one country address.

Year	International Collaboration
2017	0
2018	0
2019	0

Citable documents

Non-citable documents

Not every article in a journal is considered primary research and therefore "citable", this chart shows the ratio of a journal's articles including substantial research (research articles, conference papers and reviews) in three year windows vs. those documents other than research articles, reviews and conference papers.

Documents	Year	Value
Non-citable documents	2017	2
Non-citable documents	2018	2
Non-citable documents	2019	2
Citable documents	2017	22
Citable documents	2018	22
Citable documents	2019	22

Cited documents

Uncited documents

Ratio of a journal's items, grouped in three years windows, that have been cited at least once vs. those not cited during the following year.

Documents	Year	Value
Uncited documents	2017	13
Uncited documents	2018	12
Uncited documents	2019	12
Cited documents	2017	11
Cited documents	2018	12
Cited documents	2019	12

% Female Authors

Evolution of the percentage of female authors.

Year	Female Percent
2017	0.00
2018	0.00
2019	0.00

Documents cited by public policy (Overton)

Evolution of the number of documents cited by public policy documents according to Overton database.

Documents	Year	Value
Overton	2017	0
Overton	2018	0
Overton	2019	0

Documents related to SDGs (UN)

Evoution of the number of documents related to Sustainable Development Goals defined by United Nations. Available from 2018 onwards.

Documents	Year	Value
SDG	2018	0
SDG	2019	0

Show this widget in your own website

Just copy the code below and paste within your html code:

SCImago Graphica

Explore, visually communicate and make sense of data with our new data visualization tool.