|
2024 10月 (8) 9月 (7) 8月 (3) 7月 (4) 6月 (6) 5月 (5) 4月 (4) 3月 (4) 2月 (9) 1月 (5) |
2023 12月 (6) 11月 (5) 10月 (5) 9月 (6) 8月 (5) 7月 (5) 6月 (8) 5月 (6) 4月 (4) 3月 (6) 2月 (6) 1月 (2) |
|
2022 12月 (5) 11月 (5) 10月 (4) 9月 (5) 8月 (5) 7月 (6) 6月 (5) 5月 (4) 4月 (2) 3月 (6) 2月 (4) 1月 (6) |
2021 12月 (5) 11月 (5) 10月 (6) 9月 (3) 8月 (3) 7月 (6) 6月 (4) 5月 (3) 4月 (3) 3月 (2) 2月 (4) 1月 (5) |
|
2020 12月 (12) 11月 (9) 10月 (10) 9月 (8) 8月 (8) 7月 (5) 6月 (8) 5月 (6) 4月 (3) 3月 (2) 2月 (2) 1月 (2) |
2019 12月 (11) 11月 (10) 10月 (7) 9月 (12) 8月 (5) 7月 (8) 6月 (10) 5月 (11) 4月 (7) 3月 (9) 2月 (8) 1月 (7) |
|
2018 12月 (9) 11月 (4) 10月 (8) 9月 (4) 8月 (2) 7月 (4) 6月 (2) 5月 (4) 4月 (7) 3月 (8) 2月 (6) 1月 (5) |
2017 12月 (5) 11月 (3) 10月 (7) 9月 (10) 8月 (3) 7月 (2) 6月 (3) 5月 (5) 4月 (1) 3月 (11) 2月 (9) 1月 (2) |
|
2016 12月 (1) 10月 (1) 8月 (3) 6月 (1) 5月 (1) 4月 (3) 3月 (2) 2月 (7) 1月 (8) |
2015 12月 (3) 11月 (5) 10月 (5) 9月 (1) 8月 (2) 7月 (3) 6月 (4) 5月 (3) 4月 (1) 3月 (1) 2月 (2) 1月 (4) |
|
2014 12月 (2) 11月 (5) 10月 (2) 9月 (2) 8月 (1) 7月 (3) 6月 (2) 5月 (2) 4月 (4) 3月 (3) 2月 (5) 1月 (4) |
2013 12月 (5) 11月 (10) 10月 (2) 9月 (2) 8月 (5) 7月 (5) 6月 (4) 5月 (10) 4月 (6) 3月 (8) 2月 (1) 1月 (10) |
|
2012 12月 (6) 11月 (6) 10月 (2) 9月 (3) 8月 (6) 7月 (9) 6月 (5) 5月 (4) 4月 (6) 3月 (5) 2月 (6) 1月 (3) |
2011 12月 (6) 11月 (2) 10月 (3) 9月 (7) 8月 (2) 7月 (2) 6月 (1) 5月 (7) 4月 (4) 3月 (10) 2月 (11) 1月 (12) |
|
2010 12月 (8) 11月 (2) 10月 (6) 9月 (7) 8月 (7) 7月 (9) 6月 (6) 5月 (7) 4月 (8) 3月 (12) 2月 (9) 1月 (16) |
2009 12月 (23) 11月 (14) 10月 (16) 9月 (17) 8月 (22) 7月 (12) 6月 (10) 5月 (24) 4月 (25) 3月 (21) 2月 (14) 1月 (4) |
|
2008 12月 (3) 11月 (1) 10月 (2) 9月 (4) 8月 (2) 7月 (1) 6月 (1) 5月 (2) 4月 (1) 3月 (4) 2月 (2) 1月 (1) |
2007 11月 (2) 10月 (1) 8月 (1) 7月 (4) 3月 (1) 2月 (4) |
|
2006 12月 (2) 11月 (3) 10月 (2) 8月 (1) 7月 (4) 6月 (3) |
π計算のプロセスの spatial property について partial order reduction する話。partial order reduction が可能な論理式のクラスを明らかにしている。
author="Reynald Affeldt and Naoki Kobayashi",
title="{Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes}",
booktitle="EXPRESS 2004",
publisher="Elsevier",
volume="128",
series="ENTCS",
pages="151--168",
year="2005"