发文地区与机构
近年国家 / 地区发文量统计
| 国家 / 地区 | 发文量 |
|---|---|
| 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 SCIENTI... | 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 |
文章引用情况
1
Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models2
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model3
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement4
A stable non-interleaving early operational semantics for the pi-calculus5
Geographic wayfinders and space-time algebra6
A general overview of formal languages for individual-based modelling of ecosystems7
Higher-order linearisability8
Nested-unit Petri nets9
Keep it fair: Equivalence and composition10
Towards a categorical representation of reversible event structures