To Appear (Accepted for publication/presentation)

Conference proceedings

Journal publications

Conference pre-proceedings and Short contributions

  • Final Coalgebras in Categories with Factorization Systems
    Short contribution for the 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012).
    Giorgio Bacci.
  • On Decidability of Bigraphical Sortings
    in R. Echahed, A. Habel and M. Mosbah, editors, Preproceedings of the Third International Workshop on Graph Computation Models (GCM 2010). CTIT Workshop Proceedings WP 2010-05, pp. 33-47, ISSN 0929-0672, 2010.
    Giorgio Bacci, Davide Grohmann.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All people copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

valid XHTML | CSS