Links

David Deharbe's photo

Research-related sites

Publications and lecture slides can be found on academia.edu. Publications gathered by social network ResearchGate. Statistics and data gathered by DBLP. Google scholar mines citations to my contributions. Data gathered by Microsoft Academic Research.

Software repositories

My github entry contains software projects, formal stuff, and lecturing material. Also bitbucket, where I still have a few things lying around. My profile on sourceforge where I follow some projects related to formal methods.

Government sites

Web page produced by UFRN (my employer) data processing system. My utterly detailed curriculum on the Lattes platform, the Brazilian federal governement data base for academic vitae.