| Näytöt | |
| Modaalilogiikan käyttö tietokoneohjelmien semantiikassa | 1227 |
| tammikuu 2013 | helmikuu 2013 | maaliskuu 2013 | huhtikuu 2013 | toukokuu 2013 | |
| Modaalilogiikan käyttö tietokoneohjelmien semantiikassa | 90 | 392 | 298 | 266 | 181 |
| Näytöt | |
| Germany | 1026 |
| United States of America | 98 |
| China | 44 |
| Canada | 27 |
| Russian Federation | 14 |
| United Kingdom | 3 |
| Japan | 3 |
| Korea | 3 |
| Austria | 2 |
| Finland | 2 |
| Näytöt | |
| Redwood City | 49 |
| Beijing | 30 |
| Munich | 28 |
| Toronto | 27 |
| Santa Clara | 22 |
| Leipzig | 17 |
| Darmstadt | 8 |
| Sayreville | 7 |
| Kürten | 6 |
| Putian | 6 |