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

Research output

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

• 451 Conference contribution
• 81 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

• 2012

  A Structured Approach to Problem Solving in CS1

  Morgado, C. P. & Barbosa, F. M. B. T. V., 1 Jan 2012

  Research output: Other contribution

• Asynchronous rebalancing of a replicated tree

  Preguiça, N. M. R., 1 Jan 2012, Conference Française de Systèmes d'Exploitation. p. 12

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• A tool for improving personalization and information sharing using implicit groups

  Morgado, C. P. & Cunha, J. A. C. E., 1 Jan 2012, Proceedings of the 2nd International Conference on Cloud and Green Computing and 2nd International Conference on Social Computing and Its Applications (CGC/SCA 2012). p. 477-484

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• Autonomic Activities in the Execution of Scientific Workflows: Evaluation of the AWARD Framework

  Cunha, J. A. C. E., 1 Jan 2012, IEEE 9th International Conference on Ubiquitous Intelligence and Computing (UIC) / IEEE 9th International Conference on Autonomic and Trusted Computing (ATC). p. 423-430

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  9 Citations (Scopus)

• Bio-optical algorithms for European seas: Performance and applicability of neural-net inversion schemes

  D'alimonte, D. & Kajiyama, T., 1 Jan 2012

  Research output: Other contribution

  Open Access

• Bio-optical algorithms for the generation of regional MERIS (and OLCI) data products

  D'alimonte, D. & Kajiyama, T., 1 Jan 2012

  Research output: Other contribution

• Brief announcement: Efficient causality tracking in distributed storage systems with dotted version vectors

  Preguiça, N. M. R., 1 Jan 2012, ACM symposium on Principles of distributed computing. p. 335-336

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  10 Citations (Scopus)

• Brief Announcement: Semantics of Eventually Consistent Replicated Sets

  Duarte, S. M. & Preguiça, N. M. R., 1 Jan 2012, Lecture Notes in Computer Science. p. 441-442

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  7 Citations (Scopus)

• Changing Environmental Behaviors through Smartphone-based Augmented Experiences

  Romão, T. I. L., 1 Jan 2012, Lecture Notes in Computer Science. p. 553-556

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  5 Citations (Scopus)

• Collaborative Quiz Game developed with Epik

  Morgado, C. P. & Barbosa, F. M. B. T. V., 1 Jan 2012, International Conference Cognition and Exploratory Learning in Digital Age. p. 308-310

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  1 Citation (Scopus)

• Comunicações Científicas: 1.º Congresso Ibérico de Jovens Engenheiros

  Amaral, V. M. M. D., 1 Jan 2012, Lisboa: Ordem dos Engenheiros.

  Research output: Book/Report › Book

• Data Analytics in the Cloud with Flexible MapReduce Workflows

  Cunha, J. A. C. E., 1 Jan 2012, 2012 4th IEEE International Conference on Cloud Computing Technology and Science. p. 1-8

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  9 Citations (Scopus)

• Desenho e Implementação de uma Biblioteca de Padrões Algorítmicos para GPGPU

  Medeiros, P. A. D. D. & Paulino, H. M. C., 1 Jan 2012, INForum. p. 298-301

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Documenting Patterns with Business Process Models

  Monteiro, M. J. T. P., 1 Jan 2012, Conference on Pattern Languages of Programs. p. 1-17

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Dynamic interaction models for web enabled wireless sensor networks

  Gomes, M. C., Paulino, H., Baptista, A. & Araújo, F., 15 Oct 2012, Proceedings of the 2012 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2012. IEEE Computer Society, p. 823-830 8 p. 6280380

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Wireless sensor networks 100%
  • Middleware 42%
  • World Wide Web 42%
  • Web services 38%
  • Agglomeration 36%
  4 Citations (Scopus)

• Efficient Support for In-Place Metadata in Transactional Memory

  Lourenço, J. M. D. S., 1 Jan 2012, Lecture Notes in Computer Science. Kaklamanis, C., Papatheodorou, T. & Spirakis, P. (eds.). Rhodes, Greece: Springer Berlin Heidelberg, Vol. 7484. p. 589-600

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  2 Citations (Scopus)

• Enhancing level difficulty and additional content in platform videogames through graph analysis

  Mourato, F., Birra, F. & Santos, M. J. T. P. D., 2012, Advances in Computer Entertainment - 9th International Conference, ACE 2012, Proceedings. Vol. 7624 LNCS. p. 70-84 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7624 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Video Games 100%
  • Gaming 48%
  • Path 37%
  • Game 33%
  • Graph in graph theory 25%
  2 Citations (Scopus)

• Enhancing level of difficulty and additional content in platform videogames through graph analysis

  Birra, F. P. R. D. S. & Santos, M. J. T. P. D., 1 Jan 2012, Lecture Notes in Computer Science. p. 70-84

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• Enhancing Service-Oriented Computing with Software Mobility

  Paulino, H. M. C., 1 Jan 2012, Lecture Notes in Computer Science. p. 487-501

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• Evaluating the Usability of Domain-Specific Languages

  Goulão, M. C. P. A. & Amaral, V. M. M. D., 2012, Formal and Practical Aspects of Domain-Specific Languages: Recent Developments. Mernik, M. (ed.). 1 ed. United States of America: IGI Global, p. 386-407 22 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • User interfaces 100%
  • DSL 77%
  19 Citations (Scopus)

• Evaluation of a multimodal video annotator for contemporary dance

  Cabral, D., Valente, J. G., Aragão, U., Fernandes, C. & Correia, N., 12 Jul 2012, Proceedings of the Working Conference on Advanced Visual Interfaces, AVI 2012. Tortora, G., Levialdi, S. & Tucci, M. (eds.). New York: ACM - Association for Computing Machinery, p. 572-579 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Ink 100%
  • Visualization 71%
  24 Citations (Scopus)

• Finding occupational accident patterns in the extractive industry using a systematic data mining approach

  Silva, J. F. F. & Jacinto, C., 1 Jan 2012, In: Reliability Engineering & System Safety. 108, NA, p. 108-122

  Research output: Contribution to journal › Article › peer-review

  Open Access
  32 Citations (Scopus)

• First-Order Dynamic Logic for Compensable Processes

  Ferreira, C. M. G., 1 Jan 2012, Lecture Notes in Computer Science. p. 104-121

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  2 Citations (Scopus)

• Foreword: SEDES 2012 - Fourth Portuguese Software Engineering Doctoral Symposium

  Goulão, M. & Brito E Abreu, F., 2012, Proceedings - 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012. p. 333-335 3 p. 6511838

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Software engineering 100%
  • Students 45%
  • Computer software maintenance 39%
  • Formal methods 35%
  • Information services 34%

• From Color to Sound: Assessing the Surrounding Environment

  Cavaco, S. C. F. M. & Correia, N. M. R., 1 Jan 2012, Proceedings of the International Conference on Digital Arts. p. 345-348

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Functions as Session-Typed Processes

  Toninho, B., Caires, L. M. M. D. C. & Pfenning, F., 1 Jan 2012, Lecture Notes in Computer Science. p. 346-360

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  32 Citations (Scopus)

• Gaming for Therapy in a Healthcare Smart Ambient

  Correia, N. M. R., 1 Jan 2012, Communications in Computer and Information Science. p. 224-228

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  3 Citations (Scopus)

• Generating feature model from creative requirements using model driven design

  Júnior, J. B. D. S. A., 1 Jan 2012, First International Workshop on Requirements Engineering Practices on Software Product Line Engineering (REPOS 2012). p. 18-25

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  17 Citations (Scopus)

• Gestão e Pesquisa de Dados Privados em Nuvens de Armazenamento

  Domingos, H. J. L., 1 Jan 2012, Actas do INForum - Simpósio Nacional de Informática. p. 524-528

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• High-spatial resolution numerical simulations of in-water radiative transfer processes

  D'alimonte, D. & Kajiyama, T., 1 Jan 2012

  Research output: Other contribution

• Identificação de objetos em imagens tomográficas através de GPGPUs

  Medeiros, P. A. D. D. & Birra, F. P. R. D. S., 1 Jan 2012, Actas do 20º Encontro Português de Computação Gráfica. p. 27-34

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Implementing design patterns in Object Teams

  Monteiro, M. J. T. P., 1 Jan 2012, In: Software - Practice and Experience. 0, NA, p. 1-33

  Research output: Contribution to journal › Article › peer-review

  Open Access
  5 Citations (Scopus)

• Including Context in A Routing Algorithm for the Internet of Things

  Medeiros, P. A. D. D., 1 Jan 2012, 1 ed. Saarbrucken, Deutschland: LAP Lambert Academic Publishing.

  Research output: Book/Report › Book

• Integrated System for Automatic Platform Game Level Creation with Difficulty and Content Adaptation

  Birra, F. P. R. D. S. & Santos, M. J. T. P. D., 1 Jan 2012, Lecture Notes in Computer Science. p. 409-412

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  3 Citations (Scopus)

• Linear Logical Relations for Session-Based Concurrency

  Pérez, J. A., Caires, L. M. M. D. C., Pfenning, F. & Toninho, B., 1 Jan 2012, Lecture Notes in Computer Science. p. 539-558

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  35 Citations (Scopus)

• Local object detection and recognition in mobile devices

  Correia, N. M. R., 1 Jan 2012, NA. p. 193-196

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  3 Citations (Scopus)

• Magnetic augmented reality: virtual objects in your space

  Correia, N. M. R., 1 Jan 2012, AVI '12. p. 332-335

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  8 Citations (Scopus)

• Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary

  Preguiça, N. M. R., 1 Jan 2012, 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012. p. 265-278

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Management and Search of Private Data on Storage Clouds

  Domingos, H. J. L., 1 Jan 2012, Proceeding SDMCMM '12 Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management. p. 4-10

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  4 Citations (Scopus)

• Measuring popularity in social network groups

  Morgado, C. P. & Cunha, J. A. C. E., 1 Jan 2012, SCA. p. 485-492

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  2 Citations (Scopus)

• Mining Causality from Non-categorical Numerical Data

  Lopes, J. G. P. & Silva, J. F. F., 1 Jan 2012, Behavior Computing. Analysis, Mining and Decision. London: Springer London, p. 215-227

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Model-Driven Development for Requirements Engineering: The Case of Goal-Oriented Approaches

  Júnior, J. B. D. S. A., Goulão, M. C. P. A. & Amaral, V. M. M. D., 1 Jan 2012, International Conference on the Quality of Information and Communications Technology. p. 75-84

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  14 Citations (Scopus)

• Navigation in past museum exhibitions using multimedia archives

  Correia, N. M. R., 1 Jan 2012, AVI '12. p. 778-779

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• OCPortugal consortium: Activities and Challenges

  D'alimonte, D. & Kajiyama, T., 1 Jan 2012

  Research output: Other contribution

• On the analysis of compensation correctness

  Ferreira, C. M. G., 1 Jan 2012, In: Journal Of Logic And Algebraic Programming. 81, 5, p. 585-605

  Research output: Contribution to journal › Article › peer-review

  Open Access
  5 Citations (Scopus)

• Patterns for Evaluating Usability of Domain-Specific Languages

  Goulão, M. C. P. A., Monteiro, M. J. T. P. & Amaral, V. M. M. D., 1 Jan 2012, Pattern Languages of Programs Conference. p. 1-39

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Performance and applicability of bio-optical algorithms in different European seas

  D'alimonte, D. & Kajiyama, T., 1 Jan 2012, In: Remote Sensing Of Environment. 124, NA, p. 402-412

  Research output: Contribution to journal › Article › peer-review

  Open Access
  32 Citations (Scopus)

• Personal routine visualization using mobile devices

  Correia, N. M. R., 1 Jan 2012, MUM '12. p. 58:1-58:3

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  1 Citation (Scopus)

• Playing with the Weather

  Correia, N. M. R., 1 Jan 2012, ICEC'12. p. 172-184

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  3 Citations (Scopus)

• Preface

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

  Research output: Contribution to journal › Conference article › peer-review