发文分析
近年国家/地区发文量统计
| 国家/地区 | 数量 |
|---|---|
| USA | 22 |
| England | 17 |
| GERMANY (FED REP GER) | 14 |
| Scotland | 9 |
| Belgium | 6 |
| Netherlands | 6 |
| Sweden | 6 |
| France | 5 |
| Australia | 4 |
| Denmark | 4 |
近年机构发文量统计
| 机构 | 数量 |
|---|---|
| UNIVERSITY OF EDINBURGH | 8 |
| KU LEUVEN | 5 |
| INRIA | 4 |
| UNIVERSITY OF CAMBRIDGE | 4 |
| UNIVERSITY OF NEW SOUTH WALES SYDNEY | 4 |
| UNIVERSITY OF OXFORD | 4 |
| DELFT UNIVERSITY OF TECHNOLOGY | 3 |
| EBERHARD KARLS UNIVERSITY OF TUBINGEN | 3 |
| IMPERIAL COLLEGE LONDON | 3 |
| NORTHEASTERN UNIVERSITY | 3 |
近年文章引用他刊数据
| 文章名称 | 引用次数 |
|---|---|
| Iris from the ground up A modular foundation for higher-... | 5 |
| The verified CakeML compiler backend | 2 |
| Push versus pull-based loop fusion in query engines | 2 |
| A theory of RPC calculi for client-server model | 2 |
| POPLMark reloaded: Mechanizing proofs by logical relatio... | 2 |
| On the expressive power of user-defined effects: Effect ... | 2 |
| Systematic identification and communication of type erro... | 1 |
| The full-reducing Krivine abstract machine KN simulates ... | 1 |
| Foundations of dependent interoperability | 1 |
| How to prove decidability of equational theories with se... | 0 |
近年被他刊引用数据
| 期刊名称 | 引用次数 |
|---|---|
| J FUNCT PROGRAM | 25 |
| LOG METH COMPUT SCI | 21 |
| J AUTOM REASONING | 14 |
| SCI COMPUT PROGRAM | 10 |
| ACM T PROGR LANG SYS | 9 |
| J LOG ALGEBR METHODS | 8 |
| MATH STRUCT COMP SCI | 7 |
| ELECTRON J COMB | 5 |
| FUND INFORM | 5 |
| J LOGIC COMPUT | 4 |