发文地区与机构
近年国家 / 地区发文量统计
| 国家 / 地区 | 发文量 |
|---|---|
| GERMANY (FED REP GER) | 36 |
| France | 28 |
| USA | 18 |
| England | 16 |
| Italy | 16 |
| Canada | 11 |
| Austria | 9 |
| Czech Republic | 9 |
| Denmark | 9 |
| Netherlands | 9 |
近年机构发文量统计
| 机构 | 发文量 |
|---|---|
| CENTRE NATIONAL DE LA RECHERCHE SCIENTI... | 15 |
| COMMUNAUTE UNIVERSITE GRENOBLE ALPES | 9 |
| TECHNICAL UNIVERSITY OF DARMSTADT | 8 |
| CONSIGLIO NAZIONALE DELLE RICERCHE (CNR... | 7 |
| INRIA | 7 |
| UNIVERSITY OF MUNICH | 6 |
| AALBORG UNIVERSITY | 5 |
| UNIVERSITE CATHOLIQUE LOUVAIN | 5 |
| UNIVERSITY OF TWENTE | 5 |
| CEA | 4 |
文章引用情况
1
The Tinker tool for graphical tactic development2
Coqoon An IDE for interactive proof development in Coq3
A qualitative assessment of alpha Rby in the perspective of the supervisory control theory4
Formal specification and implementation of an automated pattern-based parallel-code generation framework5
From high-level modeling toward efficient and trustworthy circuits6
TestREx: a framework for repeatable exploits7
Greedy pebbling for proof space compression8
CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools9
To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking10
Modelling and simulating a Thai railway signalling system using Coloured Petri Nets