发文分析
近年国家/地区发文量统计
| 国家/地区 | 数量 |
|---|---|
| USA | 21 |
| England | 16 |
| GERMANY (FED REP GER) | 16 |
| CHINA MAINLAND | 14 |
| France | 14 |
| Italy | 9 |
| Canada | 7 |
| Denmark | 5 |
| Australia | 4 |
| Netherlands | 4 |
近年机构发文量统计
| 机构 | 数量 |
|---|---|
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (... | 9 |
| UNIVERSITE PARIS SACLAY | 7 |
| EAST CHINA NORMAL UNIVERSITY | 5 |
| INRIA | 5 |
| CHINESE ACADEMY OF SCIENCES | 4 |
| CEA | 3 |
| INSTITUT POLYTECHNIQUE DE PARIS | 3 |
| MASSACHUSETTS INSTITUTE OF TECHNOLOGY (MIT) | 3 |
| NATIONAL AERONAUTICS & SPACE ADMINISTRATION (N... | 3 |
| NEWCASTLE UNIVERSITY - UK | 3 |
近年文章引用他刊数据
| 文章名称 | 引用次数 |
|---|---|
| Variability-based model transformation: formal foundatio... | 4 |
| A formal approach for detection of security flaws in the... | 2 |
| A UTP approach for rTiMo | 2 |
| Toward automatic verification of quantum programs | 2 |
| Multiple model synchronization with multiary delta lense... | 2 |
| Alternative shaper: a model for automatic design generat... | 2 |
| Finding suitable variability abstractions for lifted ana... | 2 |
| A synchronous program algebra: a basis for reasoning abo... | 1 |
| Battery-aware scheduling in low orbit: the GomX-3 case | 1 |
| ProFeat: feature-oriented engineering for family-based p... | 1 |
近年被他刊引用数据
| 期刊名称 | 引用次数 |
|---|---|
| J LOG ALGEBR METHODS | 18 |
| FORM ASP COMPUT | 17 |
| SCI COMPUT PROGRAM | 15 |
| ACM T SOFTW ENG METH | 14 |
| IEEE ACCESS | 13 |
| SOFTW SYST MODEL | 11 |
| FUND INFORM | 7 |
| INT J SOFTW TOOLS TE | 6 |
| SOFTWARE QUAL J | 6 |
| THEOR COMPUT SCI | 6 |