发文分析
近年国家/地区发文量统计
| 国家/地区 | 数量 |
|---|---|
| USA | 16 |
| England | 14 |
| Austria | 6 |
| GERMANY (FED REP GER) | 6 |
| CHINA MAINLAND | 5 |
| France | 5 |
| Italy | 4 |
| Australia | 3 |
| Belgium | 3 |
| Denmark | 3 |
近年机构发文量统计
| 机构 | 数量 |
|---|---|
| UNIVERSITY OF OXFORD | 5 |
| INSTITUTE OF SCIENCE & TECHNOLOGY - AUSTRIA | 4 |
| AARHUS UNIVERSITY | 3 |
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (... | 3 |
| INRIA | 3 |
| NORTHEASTERN UNIVERSITY | 3 |
| UNIVERSITY OF CAMBRIDGE | 3 |
| UNIVERSITY OF LONDON | 3 |
| UNIVERSITY OF MASSACHUSETTS SYSTEM | 3 |
| CZECH TECHNICAL UNIVERSITY PRAGUE | 2 |
近年文章引用他刊数据
| 文章名称 | 引用次数 |
|---|---|
| Type-Driven Gradual Security with References | 3 |
| Static Identification of Injection Attacks in Java | 2 |
| Conditioning in Probabilistic Programming | 1 |
| Rigorous Estimation of Floating-Point Round-Off Errors w... | 1 |
| Feature-Specific Profiling | 1 |
| Adaptive Static Analysis via Learning with Bayesian Opti... | 1 |
| Program Synthesis for Program Analysis | 1 |
| Algorithms for Algebraic Path Properties in Concurrent S... | 1 |
| POP-PL: A Patient-Oriented Prescription Programming Lang... | 1 |
| Higher-order Demand-driven Program Analysis | 1 |
近年被他刊引用数据
| 期刊名称 | 引用次数 |
|---|---|
| IEEE ACCESS | 34 |
| FORM ASP COMPUT | 31 |
| J LOG ALGEBR METHODS | 30 |
| ACM T PROGR LANG SYS | 25 |
| ACM T ARCHIT CODE OP | 21 |
| SCI COMPUT PROGRAM | 21 |
| ACM COMPUT SURV | 18 |
| J FUNCT PROGRAM | 16 |
| LOG METH COMPUT SCI | 13 |
| THEOR COMPUT SCI | 13 |