发文分析
近年国家/地区发文量统计
| 国家/地区 | 数量 |
|---|---|
| USA | 22 |
| France | 16 |
| GERMANY (FED REP GER) | 9 |
| England | 7 |
| Austria | 6 |
| Switzerland | 6 |
| Israel | 4 |
| Italy | 4 |
| Sweden | 4 |
| Canada | 3 |
近年机构发文量统计
| 机构 | 数量 |
|---|---|
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (... | 11 |
| COMMUNAUTE UNIVERSITE GRENOBLE ALPES | 6 |
| UNIVERSITY OF CALIFORNIA SYSTEM | 6 |
| INRIA | 5 |
| AUSTRIAN INSTITUTE OF TECHNOLOGY (AIT) | 3 |
| ETH ZURICH | 3 |
| IMDEA SOFTWARE INST | 3 |
| MICROSOFT | 3 |
| NEW YORK UNIVERSITY | 3 |
| SORBONNE UNIVERSITE | 3 |
近年文章引用他刊数据
| 文章名称 | 引用次数 |
|---|---|
| Monitoring hyperproperties | 3 |
| TeLEx: learning signal temporal logic from positive exam... | 3 |
| A survey of challenges for runtime verification from adv... | 2 |
| Probabilistic black-box reachability checking (extended ... | 1 |
| Incrementally closing octagons | 1 |
| An improved algorithm for the control synthesis of nonli... | 1 |
| Conditions of contracts for separating responsibilities ... | 1 |
| Solving parity games via priority promotion | 1 |
| Validating numerical semidefinite programming solvers fo... | 1 |
| Efficient verification of railway infrastructure designs... | 1 |
近年被他刊引用数据
| 期刊名称 | 引用次数 |
|---|---|
| FORM METHOD SYST DES | 21 |
| INT J SOFTW TOOLS TE | 18 |
| IEEE ACCESS | 10 |
| ACM T EMBED COMPUT S | 9 |
| FORM ASP COMPUT | 8 |
| ACM COMPUT SURV | 7 |
| AUTOMATICA | 7 |
| FUND INFORM | 7 |
| IEEE T COMPUT AID D | 7 |
| J AUTOM REASONING | 6 |