Computer science bibtex

Stream: general

[Patrick Massot]

I have a question for computer science academics here: where do you get your bibtex data from? If I want to cite a published math paper I go to mathscinet and copy-paste the provided bibtex entry. What if I want to cite an ITP or CPP proceeding say?

[Patrick Massot]

I think I found the answer: https://dblp.uni-trier.de

[Mario Carneiro]

I usually copy from google scholar

[Mario Carneiro]

although they have the nasty habit of lowercasing the title

[Patrick Massot]

It's funny, I couldn't find this on google scholar. But that dblp things seems to work just fine

[Jeremy Avigad]

I use DBLP all the time, and find it very helpful.

[Floris van Doorn]

I also sometimes copy from Google scholar. But their bibtex entries are often low quality, and I have to manually fix a bunch of things. DBLP sounds very useful!

[Joe Hendrix]

(deleted)