@inproceedings{conf/fbit/ZhongGZCZPC07,
	title = {Bioinformatics Analysis of the Envelope Glycoprotein and Construction of Infectious RNA Transcripts of Dengue Virus.},
	author = {Hua Zhong and Shuji Gong and Wei Zhao and Lidan Chen and Hao Zhou and Liang Peng and Hong Cao},
	booktitle = {FBIT},
	crossref = {conf/fbit/2007},
	pages = {256-260},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/fbit/fbit2007.html#ZhongGZCZPC07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/22d2f2df0909cf564925e584e5faeb0b8/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/FBIT.2007.25}, date = {2008-05-14},
	keywords = {dblp }
}

@inproceedings{conf/infoscale/HongliBXG07,
	title = {Data description and data access mechanism in distributed workflow system.},
	author = {Wu Hongli and Yin Baolin and Zhao Xia and Xiang Gang},
	booktitle = {Infoscale},
	crossref = {conf/infoscale/2007},
	editor = {Jianzhong Li and Wang-Chien Lee and Fabrizio Silvestri},
	pages = {21},
	publisher = {ACM},
	series = {ACM International Conference Proceeding Series},
	url = {http://dblp.uni-trier.de/db/conf/infoscale/infoscale2007.html#HongliBXG07},
	volume = {304},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2d9a455b5894340f8cc47634f0e879e27/dblp},
	description = {dblp},
	date = {2008-05-13}, ee = {http://doi.acm.org/10.1145/1366804.1366831}, isbn = {978-1-59593-757-5},
	keywords = {dblp }
}

@inproceedings{conf/infoscale/ZhouWZ07,
	title = {Detecting early worm propagation based on entropy.},
	author = {Hanxun Zhou and Yingyou Wen and Hong Zhao},
	booktitle = {Infoscale},
	crossref = {conf/infoscale/2007},
	editor = {Jianzhong Li and Wang-Chien Lee and Fabrizio Silvestri},
	pages = {71},
	publisher = {ACM},
	series = {ACM International Conference Proceeding Series},
	url = {http://dblp.uni-trier.de/db/conf/infoscale/infoscale2007.html#ZhouWZ07},
	volume = {304},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/28445b08850b1b9876ceabdf4d576b3de/dblp},
	description = {dblp},
	date = {2008-05-13}, ee = {http://doi.acm.org/10.1145/1366804.1366895}, isbn = {978-1-59593-757-5},
	keywords = {dblp }
}

@inproceedings{conf/infoscale/CuiZL07,
	title = {Exploiting data correlation for multi-scale processing in sensor networks.},
	author = {Xiaoning Cui and Baohua Zhao and Qing Li},
	booktitle = {Infoscale},
	crossref = {conf/infoscale/2007},
	editor = {Jianzhong Li and Wang-Chien Lee and Fabrizio Silvestri},
	pages = {35},
	publisher = {ACM},
	series = {ACM International Conference Proceeding Series},
	url = {http://dblp.uni-trier.de/db/conf/infoscale/infoscale2007.html#CuiZL07},
	volume = {304},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/26aafba73adf439be36a0b91cb2324373/dblp},
	description = {dblp},
	date = {2008-05-13}, ee = {http://doi.acm.org/10.1145/1366804.1366849}, isbn = {978-1-59593-757-5},
	keywords = {dblp }
}

@inproceedings{conf/www/LiGZ08,
	title = {Tag-based social interest discovery.},
	author = {Xin Li and Lei Guo and Yihong Eric Zhao},
	booktitle = {WWW},
	crossref = {conf/www/2008},
	editor = {Jinpeng Huai and Robin Chen and Hsiao-Wuen Hon and Yunhao Liu and Wei-Ying Ma and Andrew Tomkins and Xiaodong Zhang},
	pages = {675-684},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/www/www2008.html#LiGZ08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/25ef066f2618ec9ae39f14d77275ff99e/dblp},
	description = {dblp},
	date = {2008-05-13}, ee = {http://doi.acm.org/10.1145/1367497.1367589}, isbn = {978-1-60558-085-2},
	keywords = {dblp }
}

@inproceedings{conf/tamc/Zhao08,
	title = {Extensions of Embeddings in the Computably Enumerable Degrees.},
	author = {Jitai Zhao},
	booktitle = {TAMC},
	crossref = {conf/tamc/2008},
	editor = {Manindra Agrawal and Ding-Zhu Du and Zhenhua Duan and Angsheng Li},
	pages = {204-211},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/tamc/tamc2008.html#Zhao08},
	volume = {4978},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2034a0ccb4aad40aeb4cf623d20b542a6/dblp},
	description = {dblp},
	date = {2008-05-13}, ee = {http://dx.doi.org/10.1007/978-3-540-79228-4_18}, isbn = {978-3-540-79227-7},
	keywords = {dblp }
}

@inproceedings{conf/sat/EibachPV08,
	title = {Attacking Bivium Using SAT Solvers.},
	author = {Tobias Eibach and Enrico Pilz and Gunnar Völkel},
	booktitle = {SAT},
	crossref = {conf/sat/2008},
	editor = {Hans Kleine Büning and Xishun Zhao},
	pages = {63-76},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/sat/sat2008.html#EibachPV08},
	volume = {4996},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2f88320dae4228b3e8d9ea4ab1a216040/dblp},
	description = {dblp},
	date = {2008-05-13}, ee = {http://dx.doi.org/10.1007/978-3-540-79719-7_7}, isbn = {978-3-540-79718-0},
	keywords = {dblp }
}

@inproceedings{conf/sat/Biere08,
	title = {Adaptive Restart Strategies for Conflict Driven SAT Solvers.},
	author = {Armin Biere},
	booktitle = {SAT},
	crossref = {conf/sat/2008},
	editor = {Hans Kleine Büning and Xishun Zhao},
	pages = {28-33},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/sat/sat2008.html#Biere08},
	volume = {4996},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2d805bf3eabe7b90218d629d0b1ec55b9/dblp},
	description = {dblp},
	date = {2008-05-13}, ee = {http://dx.doi.org/10.1007/978-3-540-79719-7_4}, isbn = {978-3-540-79718-0},
	keywords = {dblp }
}

@inproceedings{conf/sat/ArgelichLM08,
	title = {A Preprocessor for Max-SAT Solvers.},
	author = {Josep Argelich and Chu Min Li and Felip Manyà},
	booktitle = {SAT},
	crossref = {conf/sat/2008},
	editor = {Hans Kleine Büning and Xishun Zhao},
	pages = {15-20},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/sat/sat2008.html#ArgelichLM08},
	volume = {4996},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2de190baf75fba307d851e7fbc619bfba/dblp},
	description = {dblp},
	date = {2008-05-13}, ee = {http://dx.doi.org/10.1007/978-3-540-79719-7_2}, isbn = {978-3-540-79718-0},
	keywords = {dblp }
}

@inproceedings{conf/sat/FaureNOR08,
	title = {SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers.},
	author = {Germain Faure and Robert Nieuwenhuis and Albert Oliveras and Enric Rodríguez-Carbonell},
	booktitle = {SAT},
	crossref = {conf/sat/2008},
	editor = {Hans Kleine Büning and Xishun Zhao},
	pages = {77-90},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/sat/sat2008.html#FaureNOR08},
	volume = {4996},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/269ce1aaa8bf863c96a078425000c2fe2/dblp},
	description = {dblp},
	date = {2008-05-13}, ee = {http://dx.doi.org/10.1007/978-3-540-79719-7_8}, isbn = {978-3-540-79718-0},
	keywords = {dblp }
}