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

Research Output

Filter
Article
2016

Linear logic propositions as session types

Caires, L., Pfenning, F. & Toninho, B., 1 Mar 2016, In : Mathematical Structures in Computer Science. 26, 3, p. 367-423 57 p.

Research output: Contribution to journalArticle

23 Citations (Scopus)
2015

Heterogeneous Programming with Single Operation Multiple Data

Paulino, H. M. C. & Marques, E., Feb 2015, In : Journal Of Computer And System Sciences. 81, 1(SI), p. 16-37

Research output: Contribution to journalArticle

Open Access
2 Citations (Scopus)

Interactive 3D content insertion in images for multimedia applications

Nóbrega, R. & Correia, N., 4 Nov 2015, (Accepted/In press) In : Multimedia Tools And Applications. 76, p. 163-197

Research output: Contribution to journalArticle

2 Citations (Scopus)
2014

Autonomic Workflow Activities: The AWARD Framework

Assunção, L., Gonçalves, C. & Cunha, J. A. C. E., 2014, In : International Journal of Adaptive, Resilient, and Autonomic Systems (IJARAS). 5, 2, p. 57-82

Research output: Contribution to journalArticle

Open Access

Casual games with a pervasive twist

Reis, S. & Correia, N., 2014, In : Entertainment Computing. 5, 2, p. 115-125 11 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Consistency checking in early Software Product Line Specifications - The VCC approach

Alférez, M., Lopez-Herrejón, R. E., Moreira, A., Amaral, V. & Egyed, A., 2014, In : Journal of Universal Computer Science. 20, 5, p. 640-665 26 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
Open Access
3 Citations (Scopus)

Evaluating scenario-based SPL requirements approaches: The case for modularity, stability and expressiveness

Alférez, M., Bonifacio, R., Teixeira, L., Accioly, P., Kulesza, U., Moreira, A. M. D., Júnior, J. B. D. S. A. & Borba, P., 12 Oct 2014, In : Requirements Engineering. 19, 4(SI), p. 355-376

Research output: Contribution to journalArticle

6 Citations (Scopus)

HUG@REE: AN ARTIVIS EXPERIENCE FOR SUSTAINABILITY

Mendes, M., Angelo, P. & Correia, N., Oct 2014, In : Leonardo. 47, 5, p. 500-501 2 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)
Open Access

Session types as generic process types

Gay, S. J., Gesbert, N. & Ravara, A., 6 Aug 2014, In : Electronic Proceedings in Theoretical Computer Science. 160, p. 94-110 17 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
Open Access
7 Citations (Scopus)
2013

Adding Interoperability to Requirements Models

Júnior, J. B. D. S. A., Goulão, M. C. P. A. & Amaral, V. M. M. D., 1 Jan 2013, In : Software Quality Professional. 15, 4, p. 16-27

Research output: Contribution to journalArticle

A multiparadigm approach to integrate gestures and sound in the modeling framework

Amaral, V., Cicchetti, A. & Deshayes, R., 2013, In : ECEASST. 1112, p. 57-66 10 p.

Research output: Contribution to journalArticle

A recommender system for the TV on the web: integrating unrated reviews and movie ratings

Magalhães, J. M. D. C., 1 Jan 2013, In : Multimedia Systems. 19, 6, p. 543-558

Research output: Contribution to journalArticle

Open Access
10 Citations (Scopus)
Open Access
5 Citations (Scopus)

Enriching MATLAB with aspect-oriented features for developing embedded systems

Monteiro, M. J. T. P., 1 Jan 2013, In : Journal Of Systems Architecture. 59, 7, p. 412-428

Research output: Contribution to journalArticle

Open Access
7 Citations (Scopus)

Flexible MapReduce Workflows for Cloud Data Analytics

Gonçalves, C., Assunção, L. & Cunha, J. A. C. E., 2013, In : International Journal of Grid and High Performance Computing. 5, 4, p. 48-64

Research output: Contribution to journalArticle

Open Access
1 Citation (Scopus)

Scalable Data Processing for Community Sensing Applications

Duarte, S. M. & Preguiça, N. M. R., 1 Jan 2013, In : Mobile Networks And Applications. 18, 3, p. 357-372

Research output: Contribution to journalArticle

Open Access
5 Citations (Scopus)
Open Access
2 Citations (Scopus)
2012
Open Access
File

An Empirical Study of Aspect-Oriented Metrics

Júnior, J. B. D. S. A. & Moreira, A. M. D., 1 Jan 2012, In : Science Of Computer Programming. 78, 1, p. 117–144

Research output: Contribution to journalArticle

Open Access
10 Citations (Scopus)
19 Citations (Scopus)

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 journalArticle

Open Access
4 Citations (Scopus)

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 journalArticle

Open Access
4 Citations (Scopus)

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 journalArticle

Open Access
22 Citations (Scopus)

Using manual and automated annotations to search images by semantic similarity

Magalhães, J. M. D. C., 1 Jan 2012, In : Multimedia Tools And Applications. 56, NA, p. 109-129

Research output: Contribution to journalArticle

Open Access
4 Citations (Scopus)
2011

An interface to retrieve personal memories using an iconic visual language

Romão, T. I. L. & Correia, N. M. R., 1 Jan 2011, In : Transactions on Edutainment. 6530, NA, p. 224-239

Research output: Contribution to journalArticle

Open Access

AoURN-based modeling and analysis of software product lines

Júnior, J. B. D. S. A. & Moreira, A. M. D., 1 Jan 2011, In : Software Quality Journal. 19, NA, p. 1-43

Research output: Contribution to journalArticle

Open Access
26 Citations (Scopus)

Convergent and Commutative Replicated Data Types

Preguiça, N. M. R., 1 Jan 2011, In : Bulletin Of The European Association For Theoretical Computer Science. 104, NA, p. 67-88

Research output: Contribution to journalArticle

Detecting Concurrency Anomalies in Transactional Memory Programs

Lourenço, J. M. D. S., 1 Jan 2011, In : Computer Science And Information Systems. 8, 2, p. 533-548

Research output: Contribution to journalArticle

Open Access
5 Citations (Scopus)

Encoding cryptographic primitives in a calculus with polyadic synchronization

Ravara, A. M. L. C. A., 1 Jan 2011, In : Journal of Automated Reasoning. 46, 3-4, p. 293--323

Research output: Contribution to journalArticle

Open Access
1 Citation (Scopus)

How to reach a usable DSL? Moving toward a systematic evaluation

Barišić, A., Amaral, V., Goulão, M. & Barroca, B., 1 Jan 2011, In : Electronic Communications Of The Easst. 50, 12 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)

Hybrid Assessment Method for Software Engineering Decisions.

Moreira, A. M. D. & Ribeiro, M. R. S. D. A., 1 Jan 2011, In : Decision Support Systems. Volume 51, NA, p. 208-219

Research output: Contribution to journalArticle

Open Access
37 Citations (Scopus)

A Model-Driven Traceability Framework for Software Product Lines

Moreira, A. M. D., 1 Jan 2010, In : Software and Systems Modeling. 9, 4, p. 427-451

Research output: Contribution to journalArticle

Open Access
72 Citations (Scopus)

An information-theoretic framework for semantic-multimedia indexing

Magalhães, J. M. D. C., 1 Jan 2010, In : Acm Transactions On Information Systems. 28, 4, p. 19:1--19:32

Research output: Contribution to journalArticle

Open Access
7 Citations (Scopus)

Conversation Types

Vieira, H. F. M. T. & Caires, L. M. M. D. C., 1 Jan 2010, In : Theoretical Computer Science. 411, 51-52, p. 4399-4440

Research output: Contribution to journalArticle

Open Access
42 Citations (Scopus)

CRDTs: Consistency without concurrency control in large, dynamic systems

Preguiça, N. M. R., 1 Jan 2010, In : Operating Systems Review. 44, 2, p. 29-34

Research output: Contribution to journalArticle

Open Access
9 Citations (Scopus)

Engineering Concern-Sensitive Navigation Structures, Concepts, Tools and Examples

Júnior, J. B. D. S. A., 1 Jan 2010, In : J. Web Eng.. 9, 2, p. 157-185

Research output: Contribution to journalArticle

7 Citations (Scopus)

Magnet Mail: A Visualization System for Emails

Lopes, A. M., 1 Jan 2010, In : International Journal of Creative Interfaces and Computer Graphics. 1, 2, p. 29-39

Research output: Contribution to journalArticle

Open Access

Methods for automatic and assisted image annotation

Correia, N. M. R., 1 Jan 2010, In : Multimedia Tools and Applications Journal. None, NA, p. 1-20

Research output: Contribution to journalArticle

Open Access
2 Citations (Scopus)