发文分析
近年国家/地区发文量统计
| 国家/地区 | 数量 |
|---|---|
| England | 44 |
| France | 42 |
| Brazil | 41 |
| Italy | 33 |
| GERMANY (FED REP GER) | 32 |
| CHINA MAINLAND | 26 |
| USA | 24 |
| Netherlands | 22 |
| Spain | 16 |
| Sweden | 16 |
近年机构发文量统计
| 机构 | 数量 |
|---|---|
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (... | 23 |
| INRIA | 18 |
| EAST CHINA NORMAL UNIVERSITY | 8 |
| UNIVERSITY OF OSLO | 8 |
| UNIVERSIDADE FEDERAL DE MINAS GERAIS | 7 |
| UNIVERSIDADE FEDERAL DE PERNAMBUCO | 7 |
| UNIVERSITY OF LUXEMBOURG | 7 |
| EINDHOVEN UNIVERSITY OF TECHNOLOGY | 6 |
| UNIVERSITY OF BOLOGNA | 6 |
| COMMUNAUTE UNIVERSITE GRENOBLE ALPES | 5 |
近年文章引用他刊数据
| 文章名称 | 引用次数 |
|---|---|
| An ontology-based approach with which to assign human re... | 6 |
| A formal approach to modeling and verification of busine... | 6 |
| Variant-based satisfiability in initial algebras | 6 |
| Formal techniques in the safety analysis of software com... | 5 |
| A tool for domain-independent model mutation | 5 |
| Design and implementation of a cross-layer IoT protocol | 4 |
| The two paradigms of software development research | 4 |
| Lub: A pattern for fine grained behavior adaptation at r... | 4 |
| Orchestrating incomplete TOSCA applications with Docker | 4 |
| A large-scale empirical exploration on refactoring activ... | 4 |
近年被他刊引用数据
| 期刊名称 | 引用次数 |
|---|---|
| SCI COMPUT PROGRAM | 61 |
| SOFTW SYST MODEL | 59 |
| IEEE ACCESS | 53 |
| J SYST SOFTWARE | 37 |
| J LOG ALGEBR METHODS | 28 |
| INFORM SOFTWARE TECH | 24 |
| FORM ASP COMPUT | 23 |
| EMPIR SOFTW ENG | 17 |
| IEEE T SOFTWARE ENG | 14 |
| SOFTWARE PRACT EXPER | 13 |