![]() | ![]() |
| 2011 | ||
|---|---|---|
| 4 | Daisuke Ikegami, Yasuto Nakanishi, Toshiaki Tsuchiya: Performance Evaluation and Throughput Formulation of TCP under Token Bucket Policer. IEICE Transactions 94-B(7): 1914-1923 (2011) | |
| 2010 | ||
| 3 | Daisuke Ikegami: Forcing absoluteness and regularity properties. Ann. Pure Appl. Logic 161(7): 879-894 (2010) | |
| 2009 | ||
| 2 | Daisuke Ikegami: Projective absoluteness for Sacks forcing. Arch. Math. Log. 48(7): 679-690 (2009) | |
| 2008 | ||
| 1 | Johan van Benthem, Daisuke Ikegami: Modal Fixed-Point Logic and Changing Models. Pillars of Computer Science 2008: 146-165 | |
| 1 | Johan van Benthem | [1] |
| 2 | Yasuto Nakanishi | [4] |
| 3 | Toshiaki Tsuchiya | [4] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page