The domain dblp.org now points to this site. The CompleteSearch functionality has been fully integrated, just type into the search field below and see for yourself. If you feel that an important feature is missing or if you encounter any problems, please let us know!