default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience in China Series F: Information Sciences, Volume 51
Volume 51, Number 1, January 2008
- YiQing Huang, Han-Fu Chen, Haitao Fang:
Identification of Wiener systems with nonlinearity being piecewise-linear function. 1-12 - QianQian Hu, GuoJin Wang:
A novel algorithm for explicit optimal multi-degree reduction of triangular surfaces. 13-24 - Shoujun Zhou, Jun Yang, Wufan Chen, Yongtian Wang:
New approach to the automatic segmentation of coronary artery in X-ray angiograms. 25-39 - Yi Deng, Dongdai Lin:
Novel Omega-protocols for NP. 40-52 - Yongliang Guo, Shihua Zhu:
Non-coherent space-time code based on full diversity space-time block coding. 53-62 - Baojun Wei, Gengji Zhang, Qing Huo Liu
:
Recursive algorithm and accurate computation of dyadic Green's functions for stratified uniaxial anisotropic media. 63-80 - Quanwei Cai, Ping Wei, Xianci Xiao:
A blind separation method of overlapped multi-components based on time varying AR model. 81-92 - Zhong Wen, Liping Li, Tianqi Chen, Xixiang Zhang:
Joint multiple parameters estimation for coherent chirp signals using vector sensor array. 93-100 - JinHai Niu, YiFei Liu, QiuShi Ren, Yang Zhou, Ye Zhou, Shuai Niu:
Vision implants: An electrical device will bring light to the blind. 101-110
Volume 51, Number 2, February 2008
- Renjiang Zhang, Guojin Wang:
The sharp upper bound on the distance between a parametric patch and its interpolated triangle. 113-119 - Longjiang Qu, Chao Li:
On the 2m-variable symmetric Boolean functions with maximum algebraic immunity. 120-127 - Chunming Tang, Dingyi Pei, Xiaofeng Wang, Zhuojun Liu:
Delegateable signatures based on non-interactive witness indistinguishable and non-interactive witness hiding proofs. 128-144 - GuiMing Luo, Jian Huang:
Recursive algorithm for the two-stage EFOP estimation method. 145-157 - Qi Luo, Feiqi Deng, Xuerong Mao, Jundong Bao, Yu-Tian Zhang:
Theory and application of stability for stochastic reaction diffusion systems. 158-170 - Kunqi Guo, Lixin Sun, Ping Wang, Shilou Jia:
Efficiency-aware and fairness-aware joint-layer optimization for downlink data scheduling in OFDM. 171-182 - Rongxing Lu, Xiaolei Dong, Zhenfu Cao:
Designing efficient proxy signature schemes for mobile communication. 183-195 - Layuan Li, Chunlin Li:
QoS multicast routing protocol in hierarchical wireless MANET. 196-212 - Yici Cai, Qiang Zhou, Xianlong Hong, Rui Shi, Yang Wang:
Application of optical proximity correction technology. 213-224
Volume 51, Number 3, March 2008
- Gang Huang, Xuanzhe Liu, Hong Mei:
Online approach to feature interaction problems in middleware based system. 225-239 - Shangmin Luan, Guozhong Dai:
An algebraic approach to revising propositional rule-based knowledge bases. 240-257 - MaoZhi Xu, ChunLai Zhao, Min Feng, ZhaoRong Ren, JiQing Ye:
Cryptography on elliptic curves over p -adic number fields. 258-272 - HongDa Li, Bao Li:
Existence of 3-round zero-knowledge proof systems for NP. 273-282 - Xiaoxin Liao, Yuli Fu, Shengli Xie, Pei Yu:
Globally exponentially attractive sets of the family of Lorenz systems. 283-292 - Zhenli Lu, Shugen Ma, Bin Li, Yuechao Wang:
Gaits-transferable CPG controller for a snake-like robot. 293-305 - Zi Li, Yueming Cai:
Maximum-likelihood detection based on branch and bound algorithm for MIMO systems. 306-319 - Peng Zhou, Chunming Zhao, Zhihua Shi, Xiaoqun Gong:
Performance evaluation for PCC-OFDM systems impaired by carrier frequency offset over AWGN channels. 320-336
Volume 51, Number 4, April 2008
- Cheng-Yi Xiong, Jin-Wen Tian, Jian Liu:
High performance word level sequential and parallel coding methods and architectures for bit plane coding. 337-351 - Tao Feng, Fenghua Li, Jianfeng Ma, Sang-Jae Moon:
A new approach for UC security concurrent deniable authentication. 352-367 - Peizhong Lu, Yan Zou:
Fast computation of Gröbner basis of homogenous ideals of \mathbbF \mathbb{F} [ x, y ]. 368-380 - Zuyuan Yang, Zhaoshui He, Shengli Xie, Yuli Fu:
Adaptive blind separation of underdetermined mixtures based on sparse component analysis. 381-393 - Min Zhang, Lewei Li, Liangchao Li, Zhensen Wu:
Efficient approach and application of the Green's functions in spatial domain in multilayered media. 394-407 - Linfang Dong, Yantai Shu, Haiming Chen, Maode Ma:
Packet delay analysis on IEEE 802.11 DCF under finite load traffic in multi-hop ad hoc networks. 408-416 - Hanxing Wang, Guilin Lu, Weijia Jia, Wei Zhao:
Connectivity in finite ad-hoc networks. 417-424 - Ming-Hui Wang, Qun Wan, Zhisheng You:
A gate size estimation algorithm for data association filters. 425-432 - Yong Fang, Jechang Jeong, Chengke Wu:
Error detection based on MB types. 433-439 - Deyuan Xiao, Gary Chen, Roger Lee, Yung Liu, ChiCheong Shen:
Planar split dual gate MOSFET. 440-448
Volume 51, Number 5, May 2008
- Deyi Li, Kun Liu, Yan Sun, MingChang Han:
Emergent computation: Virtual reality from disordered clapping to ordered clapping. 449-459 - Weixin Xie, Wenming Cao, Shan Meng:
Coverage analysis for sensor networks based on Clifford algebra. 460-475 - He Jiang, Xianchao Zhang, Guoliang Chen, Mingchu Li:
Backbone analysis and algorithm design for the quadratic assignment problem. 476-488 - Jieyu Zhao:
Live facial feature extraction. 489-498 - Kaiquan Shi, Bingxue Yao:
Function S-rough sets and law identification. 499-510 - LinYing Xiang, Zhongxin Liu, Zengqiang Chen, Zhuzhi Yuan:
Pinning weighted complex networks with heterogeneous delays by a small number of feedback controllers. 511-523 - Wei Chen, Chen ZongJi:
Prediction-based adaptive control of a class of discrete-time nonlinear systems with nonlinear growth rate. 524-534 - Junzhi Yu, Long Wang, Wei Zhao, Min Tan:
Optimal design and motion control of biomimetic robotic fish. 535-549 - LianLin Li, Fang Li:
Solution of time-domain Maxwell equation with PML by using modified Laguerre polynomials. 550-559 - Rui Zhang, Yu Yao, Kemao Ma, Songlin Chen:
Mixed H2/H∞ filtering for a class of high-speed sampling uncertain systems. 560-570 - Qiuling Tang, Liuqing Yang, Tuanfa Qin, Shuyi Zhang:
Energy-saving PPM schemes for WSNs. 571-585 - XingLong Guo, Yan Jin, Lei Liu, WeiXia Ouyang, ZongSheng Lai:
Design and fabrication of miniature antenna based on silicon substrate for wireless communications. 586-591 - Weili Zhang, Wei Pan, Bin Luo, MengYao Wang, XiHua Zou:
Mode hopping and polarization switching of mutually coupled vertical-cavity surface-emitting lasers. 592-598 - GuoFang Tu, Can Zhang, Heinrich Niemann, Jie Xu, Weiren Wu:
Scalable video object coding & QoS control for next generation space internet. 599-608
Volume 51, Number 6, June 2008
- Fuqing Yang, Jian Lü, Hong Mei:
Technical framework for Internetware: An architecture centric approach. 610-622 - Jiafu Xu, Fangmin Song:
Quantum programming languages: A tentative study. 623-637 - Ruqian Lu, Zhi Jin:
From knowledge based software engineering to knowware based software engineering. 638-660 - Jifeng He:
Service refinement. 661-682 - Jian Lü, Xiaoxing Ma, XianPing Tao, Chun Cao, Yu Huang, Ping Yu:
On environment-driven software model for Internetware. 683-721 - Hong Mei, Gang Huang, Ling Lan, Junguo Li:
A software architecture centric self-adaptation approach for Internetware. 722-742 - Yangyuan Wang, Xing Zhang, Xiaoyan Liu, Ru Huang:
Novel devices and process for 32 nm CMOS technology and beyond. 743-755 - XuBang Shen:
Evolution of MPP SoC architecture techniques. 756-764 - ChenMing Hu:
BSIM - making the first international standard MOSFET model. 765-773 - T. P. Ma:
Novel electrical characterization for advanced CMOS gate dielectrics. 774-779 - Jinfeng Zhang, Yue Hao, Jincheng Zhang, JinYu Ni:
The mobility of two-dimensional electron gas in AlGaN/GaN heterostructures with varied Al content. 780-789 - Shaojun Wei:
Key technologies of system on chip design. 790-798 - Ru Huang, FaLong Zhou, Yimao Cai, DaKe Wu, Xing Zhang:
Novel vertical channel double gate structures for high density and low power flash memory applications. 799-806 - YuHua Cheng:
A glance of technology efforts for design-for-manufacturing in nano-scale CMOS processes. 807-818 - Wei Wang, Yu Zhao, YinHua Lei, Zhihong Li:
Nanoparticle-based lift-off technique for ultra-thin nanoporous film preparation. 819-824
Volume 51, Number 7, July 2008
- Wei Zhao, Lu Zhang, Jiasu Sun, Hong Mei:
An objective-oriented approach to program comprehension using multiple information sources. 825-847 - Zhixin Liu, Lei Guo:
Connectivity and synchronization of Vicsek model. 848-858 - Ran Tao, Feng Zhang, Yue Wang:
Research progress on discretization of fractional Fourier transform. 859-880 - Dong Xiang, Mingjing Chen, Jia-Guang Sun:
Scan BIST with biased scan test signals. 881-895 - Xiaoping Li, Cheng Wu:
Heuristic for no-wait flow shops with makespan minimization based on total idle-time increments. 896-909 - Ling Wei, Jian-Jun Qi, Wen-Xiu Zhang:
Attribute reduction theory of concept lattice based on decision formal contexts. 910-923 - Kaiquan Shi, Jianli Zhao:
Function S-rough sets and security-authentication of hiding law. 924-935 - Haina Zhang, Lin Li, Xiaoyun Wang:
Fast correlation attack on stream cipher ABC v3. 936-947 - Jiancheng Long, Ziyou Gao, Hualing Ren, AiPing Lian:
Urban traffic congestion propagation and bottleneck identification. 948-964 - Guangliang Ren, Yilin Chang, Huining Zhang:
SNR estimation algorithm based on the preamble for wireless OFDM systems. 965-974 - Fei Qiao, Huazhong Yang, Gang Huang, Hui Wang:
Implementation of low-swing differential interface circuits for high-speed on-chip asynchronous interconnection. 975-984
Volume 51, Number 8, August 2008
- XianPing Tao, Xiaoxing Ma, Jian Lu, Ping Yu, Yu Zhou:
Multi-mode interaction middleware for software services. 985-999 - Yunfeng Peng, Yujun Kuang, Keping Long:
Optical local area network emulations over Ethernet passive optical networks: A survey. 1000-1009 - Jun Lang, Ran Tao, Qiwen Ran, Yue Wang:
The multiple-parameter fractional Fourier transform. 1010-1024 - Jiangshe Zhang, Yuqian Yang, Xiaowen Chen, Chenghu Zhou:
Enhanced piecewise regression based on deterministic annealing. 1025-1038 - Yongming Yang, Chao Xu:
A wavelet packet based block-partitioning image coding algorithm with rate-distortion optimization. 1039-1054 - Shuai Chen, XianXin Zhong, Zhengzhong Wu:
Chaos block cipher for wireless sensor network. 1055-1063 - Maoguo Gong, Licheng Jiao, Wenping Ma, Haifeng Du:
Multiobjective optimization using an immunodominance and clonal selection inspired algorithm. 1064-1082 - Zhengjun Cao, Mulan Liu:
Classification of signature-only signature models. 1083-1095 - Changan Zhao, Fangguo Zhang, Jiwu Huang:
Efficient Tate pairing computation using double-base chains. 1096-1105 - Xiaolei Dong, Zhenfu Cao, Licheng Wang:
New designing of cryptosystems based on quadratic fields. 1106-1116 - BoJin Zhuang, WeiTao Yuan, Lizhong Peng:
Lifting scheme of symmetric tight wavelets frames. 1117-1124 - Ling Wang, Jianwei Wan, Yunhui Liu, JinXin Shao:
Cooperative localization method for multi-robot based on PF-EKF. 1125-1137 - Lan Du, Hongwei Liu, Zheng Bao, Junying Zhang:
Radar automatic target recognition based on feature extraction for complex HRRP. 1138-1153 - Hui Liu, Jun Zhang:
High dynamic adaptive mobility network model and performance analysis. 1154-1166 - Mei-E Fang, Guozhao Wang:
omegaB-splines. 1167-1176 - Xiaolu Li, Yuesong Jiang:
Compound solitons in fiber Bragg grating. 1177-1183 - QuanJun Cao, Yimen Zhang, Yuming Zhang, HongLiang Lv, YueHu Wang, XiaoYan Tang, Hui Guo:
Improved empirical DC I-V model for 4H-SiC MESFETs. 1184-1192
Volume 51, Number 9, September 2008
- Keping Long, Yun Li, Weiliang Zhao, Chonggang Wang, Kazem Sohraby:
p -RWBO: a novel low-collision and QoS-supported MAC for wireless ad hoc networks. 1193-1203 - Ju Wang, Yuncheng Jiang, Yuming Shen:
Satisfiability and reasoning mechanism of terminological cycles in description logic vL . 1204-1214 - Jing Peng, Dongqing Yang, Shi-Wei Tang, Tengjiao Wang, Jun Gao:
A new similarity computing method based on concept similarity in Chinese text processing. 1215-1230 - Shundong Li, Yiqi Dai, Daoshun Wang, Ping Luo:
Comparing two sets without disclosing them. 1231-1238 - Qinping Zhao, Zhong Zhou, Fang Lü:
Algorithm of simulation time synchronization over large-scale nodes. 1239-1255 - Bin Zhou, Guang-Ren Duan:
Global stabilization of linear systems by bounded controls with guaranteed poles. 1256-1268 - Feng Ding, Huizhong Yang, Fei Liu:
Performance analysis of stochastic gradient algorithms under weak conditions. 1269-1280 - Lina Yao, Hong Wang:
Robust fault diagnosis for non-Gaussian stochastic systems based on the rational square-root approximation model. 1281-1290 - Ming Dong:
A novel approach to equipment health management based on auto-regressive hidden semi-Markov model (AR-HSMM). 1291-1304 - Wei Yang, Wei Yang:
Performance analysis of uplink MIMO MC-CDMA systems based on linear zero-forcing V-BLAST algorithm. 1305-1318 - Yi-Fei Pu, Weixing Wang, Jiliu Zhou, Yiyang Wang, Huading Jia:
Fractional differential approach to detecting textural features of digital image and its fractional differential filter implementation. 1319-1339 - Tieqi Xia, Xuegang Wang, Yi Zheng, Qun Wan:
Joint diagonalization DOA matrix method. 1340-1348 - Xian-Hua Han, Shuiyan Dai, Jian Li, Guorong Xia:
Edge detection algorithm based on ICA-domain shrinkage in noisy images. 1349-1359 - Qian Yang, Ran Tao, Yue Wang, Enqing Chen:
MIMO-OFDM system based on fractional Fourier transform and selecting algorithm for optimal order. 1360-1371 - Cheng Hu, Teng Long, Tao Zeng:
The possibility of isolated target 3-D position estimation and optimal receiver position determination in SS-BSAR. 1372-1383 - Tao Zuo, Lan Fang, Xinjie Zhao, Xu Zuo, TieGe Zhou, ShaoLin Yan:
HTS filter subsystem for future mobile communication system. 1384-1390 - Ou Xu, ShaoHua Lu, XiaoWei Dong, Bin Li, TiGang Ning, Shuisheng Jian:
Theoretical analysis of transmission characteristics for all fiber, multi-cavity Fabry-Perot filters based on fiber Bragg gratings. 1391-1400
Volume 51, Number 10, October 2008
- Yi Zhuang, Yueting Zhuang, Fei Wu:
An encoding-based dual distance tree high-dimensional index. 1401-1414 - JunYong Yan, Yi Jin, KaiZhong Zuo:
Decrease-radix design principle for carrying/borrowing free multi-valued and application in ternary optical computer. 1415-1426 - Jiye Liang, Yuhua Qian:
Information granules and entropy theory in information systems. 1427-1444 - Yongming Li:
Approximation and universality of fuzzy Turing machines. 1445-1465 - GuoXin Wang, Xijian Ping, Mankun Xu, Tao Zhang, XiRui Bao:
Steganalytic method based on short and repeated sequence distance statistics. 1466-1474 - Tao Li:
Dynamic detection for computer virus based on immune system. 1475-1486 - Hongjie He, Jiashu Zhang, Fan Chen:
A self-recovery fragile watermarking scheme for image authentication with superior localization. 1487-1507 - Yungang Liu:
Global stabilization by output feedback for a class of nonlinear systems with uncertain control coefficients and unmeasured states dependent growth. 1508-1520 - Wang-Bao Xu, Xuebo Chen:
Artificial moment method for swarm robot formation control. 1521-1531 - Jinguo Liu, Shugen Ma, Yuechao Wang, Bin Li:
Network-based reconfiguration routes for a self-reconfigurable robot. 1532-1546 - Xieping Gao, Chunhong Cao:
Minimum-energy wavelet frame on the interval. 1547-1562 - Shang Ma, Jianhao Hu, Lin Zhang, Xiang Ling:
An efficient RNS parity checker for moduli set {2 n - 1, 2 n + 1, 22 n + 1} and its applications. 1563-1571 - Gang Wang, Nini Rao, Ying Zhang:
Atrial fibrillatory signal estimation using blind source extraction algorithm based on high-order statistics. 1572-1584 - Tieqi Xia, Qun Wan, Xuegang Wang, Yi Zheng:
2-D DOAs estimation in impulsive noise environments using joint diagonalization fractional lower-order spatio-temporal matrices. 1585-1593 - Tao Liu, XueSong Wang, Shunping Xiao:
Statistical characteristics of the normalized Stokes parameters. 1594-1606 - ZhiHui Chen, QingXin Chu:
Stability analysis of the extended ADI-FDTD technique including lumped models. 1607-1613 - Jianbing Li, XueSong Wang, Tao Wang:
A universal solution to one-dimensional oscillatory integrals. 1614-1622 - ZuYuan Yang, BeiHai Tan, GuoXu Zhou, JinLong Zhang:
Source number estimation and separation algorithms of underdetermined blind separation. 1623-1632
Volume 51, Number 11, November 2008
- Jianping Wu:
Editor's note. 1633 - Jianping Wu, Ying Liu, Qian Wu:
Theoretical research progress in new-generation Internet architecture. 1634-1660 - Ke Xu, Mingwei Xu, Qi Li, Song Lin:
Analysis and case study on multi-dimensional scalability of the Internet architecture. 1661-1680 - Jianping Wu, Gang Ren, Xing Li:
Building a next generation Internet with source address validation architecture. 1681-1691 - Yong Cui, Mingwei Xu, Jianping Wu, Xing Li:
IETF softwire unicast and multicast framework for IPv6 transition. 1692-1702 - Xia Yin, Zhiliang Wang, Chuanming Jing, Xingang Shi:
A TTCN-3-based protocol testing system and its extension. 1703-1722 - Zhiliang Wang, Xia Yin, Chuanming Jing:
A formal method to real-time protocol interoperability testing. 1723-1744 - Xicheng Lu, Gaofeng Lü, Peidong Zhu, Yijiao Chen:
MASK: An efficient mechanism to extend inter-domain IP spoofing preventions. 1745-1760 - Zhigang Sun, Yi Dai, Zhenghu Gong:
MPFS: A truly scalable router architecture for next generation Internet. 1761-1771 - Lei Gao, Zhenghu Gong, Yaping Liu, Ming-che Lai, Wei Peng:
A TLP approach for BGP based on local speculation. 1772-1784 - Fengyuan Ren, Yunhe Yin, Chuang Lin:
Design and analysis of an ONOFF variable structure controller for AQM routers supporting TCP flows. 1785-1803 - Guang Cheng, Jian Gong, Wei Ding, Hua Wu, ShiQiang Qiang:
Adaptive sampling algorithm for detection of superpoints. 1804-1821 - Fangchun Yang, Sen Su, Zhen Li:
Hybrid QoS-aware semantic web service composition strategies. 1822-1840 - Sen Su, Fei Li, Fangchun Yang:
Iterative selection algorithm for service composition in distributed environments. 1841-1856 - LingWei Chu, Shihong Zou, Shiduan Cheng, Wendong Wang:
Active probing based Internet service fault management in uncertain and noisy environment. 1857-1870 - Hong Zhang, Hai-Xin Duan, Wu Liu:
RRM: An incentive reputation model for promoting good behaviors in distributed systems. 1871-1882 - Lanjia Wang, Hai-Xin Duan, Xing Li:
Dynamic emulation based modeling and detection of polymorphic shellcode at the network level. 1883-1897 - Song Huang, Yong Xu, Ling Zhang:
Study of network survivability based on multi-path routing mechanism. 1898-1907 - Jilong Wang, ZhongHui Li, Guohan Lu, Caiping Jiang, Xing Li, Qianli Zhang:
DRAGON-Lab - Next generation internet technology experiment platform. 1908-1918
Volume 51, Number 12, December 2008
- Yun Wang, Junling Wang:
Non-blocking message total ordering protocol. 1919-1934 - Xinyu Yang, Yi Shi, Huijun Zhu:
Detection and location algorithm against local-worm. 1935-1946 - Junying Zhang, Qiang Qin:
A new neural network algorithm for planarization problems. 1947-1957 - Dan Hu, Hongxing Li, Xianchuan Yu:
The information content of rules and rule sets and its application. 1958-1979 - Yiping Luo, Wenhua Xia, Guorong Liu, FeiQi Deng:
W 1, 2( OHM )- and X 1, 2( OHM )-stability of reaction-diffusion cellular neural networks with delay. 1980-1991 - Wei Feng, Jifeng Zhang:
Input-to-state stability of switched nonlinear systems. 1992-2004 - Junchun Yang, Jun Hu, Maolin Ni:
Adaptive guidance law design based on characteristic model for reentry vehicles. 2005-2021 - Bin Liu, Jiaxiong Peng:
Multi-spectral image fusion method based on two channels non-separable wavelets. 2022-2032 - Zhuohua Duan, Zixing Cai, Jinxia Yu:
An adaptive particle filter for soft fault compensation of mobile robots. 2033-2046 - Jaekwan Park, Bonghee Hong, ChaeHoon Ban:
A query index for continuous queries on RFID streaming data. 2047-2061 - Min Lin, Min Li, Luxi Yang, Bin Li:
Combined adaptive beamforming with space-time block coding for multi-antenna communications. 2062-2073 - Longjun Zhai, Yonghua Jiang, Longhe Liu:
Two dimensional coupled oscillators array with rhombus structure and its application in active antenna array. 2074-2086 - Lei Li, Rongqing Xu, Gaopeng Li:
Robust ionospheric clutter mitigation method for high frequency surface wave radar. 2087-2093 - Wen Pan, Zhanjun Jiang, Zhengfeng Du, Yan Wang, Xiaohu You:
Analysis of a reduced-ML algorithm in BLAST. 2094-2100 - Huading Jia, Ding Yuan, Daiyuan Peng, Ling Guo:
On a general class of quadratic hopping sequences. 2101-2114 - Yudong Zhang, Lenan Wu:
Improved image filter based on SPCNN. 2115-2125 - Haiming Qi, Weidong Yu, Xi Chen:
Piecewise linear mapping algorithm for SAR raw data compression. 2126-2134 - Yufei Zhou, Xuedong Jiang, Jun-Ning Chen:
Analysis of complex intermittency in Boost converter from a bifurcation control viewpoint. 2135-2149
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
