dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Daisuke Ikegami Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaisuke 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaisuke Ikegami: Forcing absoluteness and regularity properties. Ann. Pure Appl. Logic 161(7): 879-894 (2010)
2009
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaisuke Ikegami: Projective absoluteness for Sacks forcing. Arch. Math. Log. 48(7): 679-690 (2009)
2008
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan van Benthem, Daisuke Ikegami: Modal Fixed-Point Logic and Changing Models. Pillars of Computer Science 2008: 146-165

Coauthor Index

1Johan van Benthem [1]
2Yasuto Nakanishi [4]
3Toshiaki Tsuchiya [4]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page