Publications

In February 2012, I signed the Cost of Knowledge boycott against Elsevier. As a consequence, from then onward I do not referee or do any editorial work for Elsevier, nor submit papers to its journals, unless this causes inconveniences to my coauthors. Examples of well-known Elsevier journals in my research field are Theoretical Computer Science, Information and Computation and the Annals of Pure and Applied Logic.
Personally, I believe that, in a not-too-distant future, traditional journal publishing will be supplanted by more modern systems, such as online interactive publications. If you care to know more about my position on this, you may read this text.

Preprints, notes

Dissertations