发文分析
近年国家/地区发文量统计
| 国家/地区 | 数量 |
|---|---|
| Italy | 35 |
| France | 27 |
| England | 24 |
| GERMANY (FED REP GER) | 23 |
| Spain | 21 |
| USA | 19 |
| Sweden | 16 |
| Norway | 13 |
| Denmark | 12 |
| Netherlands | 12 |
近年机构发文量统计
| 机构 | 数量 |
|---|---|
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (... | 16 |
| INRIA | 13 |
| UNIVERSITY OF BOLOGNA | 9 |
| UNIVERSITY OF PISA | 9 |
| UNIVERSITAT POLITECNICA DE VALENCIA | 8 |
| UNIVERSITY OF LONDON | 8 |
| UNIVERSITY OF OSLO | 8 |
| COMPLUTENSE UNIVERSITY OF MADRID | 7 |
| CHALMERS UNIVERSITY OF TECHNOLOGY | 5 |
| ROYAL INSTITUTE OF TECHNOLOGY | 5 |
近年文章引用他刊数据
| 文章名称 | 引用次数 |
|---|---|
| Metalevel algorithms for variant satisfiability | 4 |
| From distributed coordination to field calculus and aggr... | 4 |
| On the essence and initiality of conflicts in M-adhesive... | 3 |
| From probability monads to commutative effectuses | 3 |
| Multilevel coupled model transformations for precise and... | 3 |
| Model checking and synthesis for branching multi-weighte... | 2 |
| A logic-algebraic tool for reasoning with Knowledge-Base... | 2 |
| Verification of finite-state machines: A distributed app... | 2 |
| Sequential pattern mining for ICT risk assessment and ma... | 2 |
| Axiomatising infinitary probabilistic weak bisimilarity ... | 2 |
近年被他刊引用数据
| 期刊名称 | 引用次数 |
|---|---|
| J LOG ALGEBR METHODS | 47 |
| SCI COMPUT PROGRAM | 7 |
| LOG METH COMPUT SCI | 6 |
| IEEE ACCESS | 5 |
| INT J SOFTW TOOLS TE | 5 |
| ACTA INFORM | 4 |
| FORM ASP COMPUT | 4 |
| MATH STRUCT COMP SCI | 3 |
| THEOR COMPUT SCI | 3 |
| ACM T PRIV SECUR | 2 |