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

Research output

Research output per year 1998 2018

• 440 Conference contribution
• 78 Article
• 38 Chapter
• 32 Book
• 30 More
  • 13 Other contribution
  • 5 Editorial
  • 3 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

• 2013

  The type discipline of behavioral separation

  Caires, L. & Seco, J. C., 1 Jan 2013, In : Acm Sigplan Notices. 48, 1, p. 275-286 12 p.

  Research output: Contribution to journal › Conference article

  • Linked data
  • Data structures
  • Synchronization
  4 Citations (Scopus)
• 2012

  Preface

  Carreira, P. & Amaral, V., 1 Dec 2012, In : CEUR Workshop Proceedings. 923

  Research output: Contribution to journal › Conference article
• 2004

  Pattern/operator based problem solving environments

  Gomes, C., Rana, O. F. & Cunha, J. C., 1 Dec 2004, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3149, p. 964-971 8 p.

  Research output: Contribution to journal › Conference article

  • Problem Solving Environment
  • Refining
  • Dynamic Reconfiguration
  • Application programming interfaces (API)
  • Operator