发文地区与机构
近年国家 / 地区发文量统计
| 国家 / 地区 | 发文量 |
|---|---|
| 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 SCIENTI... | 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 (... | 3 |
| NATIONAL AERONAUTICS & SPACE ADMINISTRA... | 3 |
| NEWCASTLE UNIVERSITY - UK | 3 |
文章引用情况
1
Estimating costs of multi-component enterprise applications2
Discovering and correcting a deadlock in a channel implementation3
Cut branches before looking for bugs: certifiably sound verification on relaxed slices4
A semantics comparison workbench for a concurrent, asynchronous, distributed programming language5
A formal verification technique for behavioural model-to-model transformations6
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis7
Interactive verification of architectural design patterns in FACTum8
A verification-driven framework for iterative design of controllers9
Unifying separation logic and region logic to allow interoperability10
Parameterized verification of monotone information systems