CITI - Centro de Informática e Tecnologias da Informação

Research output

Research output per year 1998 2009 2010 2011 2012 2013 2014 2018

• 455 Conference contribution
• 84 Article
• 39 Chapter
• 32 Book
• 31 More
  • 13 Other contribution
  • 5 Editorial
  • 4 Conference article
  • 2 Commissioned report
  • 2 Book/Film/Article review
  • 2 Review article
  • 1 Foreword/postscript
  • 1 Special issue
  • 1 Working paper

Research output per year

Research output per year

Search results

• 2010

  Evaluating Accessible Synchronous CMC Applications

  Romão, T. I. L., 1 Jan 2010, Unknown Publisher.

  Research output: Book/Report › Commissioned report
• 2009

  The Spatial Logic Model Checker User's Manual v1.15

  Caires, L. M. M. D. C., 1 Jan 2009, Unknown Publisher.

  Research output: Book/Report › Commissioned report