发文地区与机构
近年国家 / 地区发文量统计
| 国家 / 地区 | 发文量 |
|---|---|
| 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 SCIENTI... | 25 |
| INRIA | 18 |
| TECHNICAL UNIVERSITY OF MUNICH | 14 |
| COMMONWEALTH SCIENTIFIC & INDUSTRIAL RE... | 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 |
文章引用情况
1
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs2
Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants3
Long-Distance Q-Resolution with Dependency Schemes4
Automatic Refinement to Efficient Data Structures: A Comparison of Two Approaches5
Verifying OpenJDK's Sort Method for Generic Collections6
Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae7
Formally Verified Approximations of Definite Integrals8
Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms9
The Matrix Reproved (Verification Pearl)10
Automated Verification of Functional Correctness of Race-Free GPU Programs