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

Hiromasa Haneda 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 keys2002
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKiyoharu Tagawa, Hiromasa Haneda, Koji Mizutani: An Imanishian Genetic Algorithm: An Application to the Module Placement Problem. GECCO Late Breaking Papers 2002: 427-434
2000
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda: Implementing an action language using a SAT solver. ICTAI 2000: 96-103
1992
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShinji Kimura, Shigemi Kashima, Hiromasa Haneda: Precise timing verification of logic circuits under combined delay model. ICCAD 1992: 526-529

Coauthor Index

1Katsumi Inoue [2]
2Shigemi Kashima [1]
3Shinji Kimura [1]
4Koji Mizutani [3]
5Hidetomo Nabeshima [2]
6Kiyoharu Tagawa [3]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 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