home
personal
research
publications
activities
teaching
people

 
Books
Springer-Verlag LNCS, IOS Press, ...

Journals
Artificial Intelligence, Journal of Automated Reasoning, JAIR, Computational Intelligence, Constraints, ....

Conference papers
AAAI, CP, IJCAI, ECAI, CADE, ...

Workshop papers
A very incomplete list of recent workshop papers.

Technical reports
Some recent technical reports.