发文地区与机构
近年国家 / 地区发文量统计
| 国家 / 地区 | 发文量 |
|---|---|
| GERMANY (FED REP GER) | 30 |
| Italy | 12 |
| CHINA MAINLAND | 11 |
| France | 10 |
| England | 9 |
| Netherlands | 9 |
| USA | 7 |
| Belgium | 6 |
| Denmark | 6 |
| India | 6 |
近年机构发文量统计
| 机构 | 发文量 |
|---|---|
| UNIVERSITATSKLINIKUM DES SAARLANDES | 8 |
| CENTRE NATIONAL DE LA RECHERCHE SCIENTI... | 7 |
| CHINESE ACADEMY OF SCIENCES | 4 |
| TECHNICAL UNIVERSITY OF MUNICH | 4 |
| UNIVERSITE LIBRE DE BRUXELLES | 4 |
| AALBORG UNIVERSITY | 3 |
| CARL VON OSSIETZKY UNIVERSITAT OLDENBUR... | 3 |
| EAST CHINA NORMAL UNIVERSITY | 3 |
| INRIA | 3 |
| INRIA LILLE NORD EUROPE | 3 |
文章引用情况
1
Descending chains and narrowing on template abstract domains2
Replication, refinement & reachability: complexity in dynamic condition-response graphs3
Probabilistic bisimulation for realistic schedulers4
On the hardness of analyzing probabilistic programs5
Nested antichains for WS1S6
Big data interpolation using functional representation7
The complexity of counting models of linear-time temporal logic8
Factorisation of transition systems