Formal Methods in System Design

Published by: Kluwer Academic Publishers Publisher Imprint: Springer Nature Publisher Country: Netherlands Print ISSN: 0925-9856 Online ISSN: 1572-8102 Journal Language(s): ENG Journal CiteScore: 4.0 Are Journal articles in press: Articles in Press Journal number of...

Applied Categorical Structures

Published by: Kluwer Academic Publishers Publisher Imprint: Springer Nature Publisher Country: Netherlands Print ISSN: 0927-2852 Online ISSN: 1572-9095 Journal Language(s): ENG Journal CiteScore: 1.1 Are Journal articles in press: Articles in Press Journal number of...

Information Systems Frontiers

Published by: Springer Nature 2022 article number: 139 Print ISSN: 1387-3326 Online ISSN: 1572-9419 Journal number of registered peer reviews: 15 Journal number of reviewers: 3 Information Systems Frontiers Journal Editors Editor Affiliation Ram RameshRam Ramesh:...

International Journal of Computational Geometry & Applications

Published by: World Scientific Publishing Co Publisher Imprint: World Scientific Publisher Country: Singapore Print ISSN: 0218-1959 Online ISSN: Journal Language(s): ENG Journal CiteScore: 0.9 Are Journal articles in press: No/Unknown Journal number of registered peer...

Intelligent Data Analysis

Published by: IOS Press Publisher Imprint: IOS Press Publisher Country: United Kingdom Print ISSN: 1088-467X Online ISSN: Journal Language(s): ENG Journal CiteScore: 1.6 Are Journal articles in press: No/Unknown Journal number of registered peer reviews: 0 Journal...