发文分析
近年国家/地区发文量统计
| 国家/地区 | 数量 |
|---|---|
| GERMANY (FED REP GER) | 40 |
| USA | 39 |
| France | 38 |
| England | 29 |
| Austria | 18 |
| Australia | 14 |
| Italy | 13 |
| Spain | 12 |
| Netherlands | 10 |
| Sweden | 7 |
近年机构发文量统计
| 机构 | 数量 |
|---|---|
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (... | 25 |
| INRIA | 18 |
| TECHNICAL UNIVERSITY OF MUNICH | 14 |
| COMMONWEALTH SCIENTIFIC & INDUSTRIAL RESEARCH ... | 10 |
| AUSTRALIAN NATIONAL UNIVERSITY | 9 |
| CARNEGIE MELLON UNIVERSITY | 9 |
| UNIVERSITY OF INNSBRUCK | 9 |
| MAX PLANCK SOCIETY | 8 |
| TECHNISCHE UNIVERSITAT WIEN | 7 |
| UNIVERSITE DE LORRAINE | 7 |
近年文章引用他刊数据
| 文章名称 | 引用次数 |
|---|---|
| The Role of the Mizar Mathematical Library for Interacti... | 13 |
| Compositional Falsification of Cyber-Physical Systems wi... | 6 |
| Synthesis of Obfuscation Policies to Ensure Privacy and ... | 5 |
| Hammer for Coq: Automation for Dependent Type Theory | 4 |
| Automatic Synthesis of Logical Models for Order-Sorted F... | 3 |
| VST-Floyd: A Separation Logic Tool to Verify Correctness... | 3 |
| System-Level Non-interference of Constant-Time Cryptogra... | 3 |
| Verified iptables Firewall Analysis and Verification | 2 |
| Formalization of the Resolution Calculus for First-Order... | 2 |
| Verifying the Correctness and Amortized Complexity of a ... | 2 |
近年被他刊引用数据
| 期刊名称 | 引用次数 |
|---|---|
| J AUTOM REASONING | 79 |
| ANN MATH ARTIF INTEL | 29 |
| J SYMB COMPUT | 14 |
| ARTIF INTELL | 13 |
| IEEE ACCESS | 12 |
| J FUNCT PROGRAM | 11 |
| ACM T COMPUT LOG | 10 |
| MATH STRUCT COMP SCI | 10 |
| LOG METH COMPUT SCI | 9 |
| PHILOS T R SOC A | 9 |