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

Research Output

2018
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)

Modeling for sustainability

Combemale, B., Cheng, B. H. C., Moreira, A., Bruel, J. M. & Gray, J., 14 May 2016, Proceedings - 8th International Workshop on Modeling in Software Engineering, MiSE 2016. Association for Computing Machinery, Inc, p. 62-66 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)
2015

Extracting static and dynamic structural information from Java concurrent programs for coverage testing

Prado, R. R., Souza, P. S. L., Dourado, G. G. M., Souza, S. R. S., Estrella, J. C., Bruschi, S. M. & Lourenco, J., 16 Dec 2015, Proceedings - 2015 41st Latin American Computing Conference, CLEI 2015. Institute of Electrical and Electronics Engineers Inc., p. 667-674 7359975

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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)

Mathematics for all: A game-based learning environment for visually impaired students

Cavaco, S. & Ferreira, F., 17 Feb 2015, Proceedings - Frontiers in Education Conference, FIE 2014. Institute of Electrical and Electronics Engineers Inc., 7044493

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

SPARQL commands in jena rules

Alves, M. B., Damásio, C. V. & Correia, N., 2015, Knowledge Engineering and Semantic Web - 6th International Conference, KESW 2015, Proceedings. Springer-Verlag, Vol. 518. p. 253-262 10 p. (Communications in Computer and Information Science; vol. 518).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Transactional Memory. Foundations, Algorithms, Tools, and Applications: Framework Support for the Efficient Implementation of Multi-version Algorithms

Dias, R. J., Vale, T. M. & Lourenço, J. M., 2015, Transactional Memory. Foundations, Algorithms, Tools, and Applications: Framework Support for the Efficient Implementation of Multi-version Algorithms. Guerraoui, R. & Romano, P. (eds.). SPRINGER INTERNATIONAL PUBLISHING AG, Vol. 8913. p. 166-191 26 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

2014

2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE), 25 August, 2014, Karlskrona, Sweden

Júnior, J. B. D. S. A. & Moreira, A. M. D., 2014, 4 ed. Karlskrona, Sweden: IEEE Computer Society. (international Model-Driven Requirements Engineering Workshop, MoDRE)

Research output: Book/ReportBook

A cover-based approach for configuration repair

Barreiros, J. & Moreira, A. M. D., 15 Sep 2014, SPLC '14 Proceedings of the 18th International Software Product Line Conference. Dhungana, D., Gnesi, S., Rubin, J., Czarnecki, K., Heymans, P. & Fantechi, A. (eds.). New York: Association for Computing Machinery (ACM), Vol. 1. p. 157-166 (ACM International Conference Proceeding Series; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
4 Citations (Scopus)

A MDE generative approach for mobile business apps

Silva, L. P. & Brito E Abreu, F., 12 Dec 2014, Proceedings - 2014 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014. da Silva, A. R., da Silva, A. R., Machado, R. J. & Brito, M. A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 312-317 6 p. 6984140

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A model-driven approach for mobile business information systems applications

Silva, L. P., Abreu, F. M. P. D. C. B. E. & Amaral, V., 2014, Doctoral Symposium at ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS). Baudry, B. (ed.). CEUR-WS.org, p. 1-9 (CEUR Workshop Proceedings; vol. 1321).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An Algorithm to Condense Social Networks and Identify Brokers

Cavique, L., Cavalheiro Marques, N. M. & Santos, J. M. A., 2014, Advances in Artificial Intelligence - IBERAMIA 2014: 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings. Bazzan, A. L. C. & Pichara, K. (eds.). Cham: Springer International Publishing, p. 331-343 (Lecture Notes in Computer Science; vol. 8864).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
1 Citation (Scopus)

An Approach for Characterizing Group-Based Interactive Environments

Morgado, C. P., Leitão, T. & Cunha, J. A. C. E., 2014, Distributed Systems and Applications of Information Filtering and Retrieval: DART 2012: Revised and Invited Papers. Lai, C., Giuliani, A. & Semeraro, G. (eds.). Heidelberg: Springer Berlin Heidelberg, p. 79-100 (Studies in Computational Intelligence; vol. 515).

Research output: Chapter in Book/Report/Conference proceedingChapter

An interactive toolset for speech therapy

Cavaco, S. C. F. M. & Magalhães, J., 1 Jan 2014, Proceedings of Advances in Computer Entertainment Technology Conference. p. 1-4

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

An orientation game with 3D spatialized audio for visually impaired children

Cavaco, S. C. F. M., 1 Jan 2014, Proceedings of Advances in Computer Entertainment Technology Conference. p. 1-4

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Aplicação do sistema HIDRALERTA de previsão e alerta de inundações: Caso de estudo da Praia da Vitória

Poseiro, P., Sabino, A., Fortes, C. J., Reis, M. T. & Rodrigues, A., Mar 2014, Actas do 12º Congresso da Água. APRH, Associação Portuguesa de Recursos Hídricos, p. 1-8

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Aplicação do Sistema Hidralerta de Previsões e Alerta de Inundações: Caso de Estudo da Costa da Caparica

Poseiro, P., Reis, M. T., Fortes, C. J., Sabino, A. & Grueau, M. A. S. R., Jan 2014, Instituto Hidrográfico - Jornadas Hidrográficas. Instituto Hidrográfico, p. 147-150

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Aplicação do sistema hidralerta na avaliação do risco associado ao galgamento no porto da Praia da Vitória

Fortes, C. J., Poseiro, P., Reis, M. T., Capitão, R., Reis, R., Pinheiro, L., Craveiro, J., Santos, J. A., Ferreira, J. C., Silva, S. F., Sabino, A., Rodrigues, A., Raposeiro, P., Silva, C., Simões, A., Azevedo, E. B., Vieira, F. & Rodrigues, M. C., Nov 2014, Congresso Internacional de Riscos.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Automating the choice of consistency levels in replicated systems

Rodrigues, R. S. M. & Preguiça, N. M. R., 1 Jan 2014, USENIX ATC'14 Proceedings of the 2014 USENIX conference on USENIX Annual Technical Conference. p. 281-292

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Bet without Looking: Studying Eyes-Free Interaction During Live Sports

Centieiro, P., Romão, T. I. L. & Dias, A. E. C. P. B., 1 Jan 2014, Lecture Notes in Computer Science. p. 581-592

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Bilingually Learning Word Senses for Translation

Lopes, J. G. P. & Silva, J. F. F., 1 Jan 2014, Lecture Notes in Computer Science. p. 283 to 295

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Building a platform for pervasive personalization in a ubiquitous computing world

Madeira, R. N., Santos, P. A. & Correia, N., 2014, MobiQuitous 2014 - 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. ICST, p. 345-346 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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)

Classification of model transformation tools: Pattern matching techniques

Gomes, C., Barroca, B. & Amaral, V., 2014, Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings. Dingel, J., Schulte, W., Ramos, I., Abrahão, S. & Insfran, E. (eds.). Cham: Springer International Publishing, Vol. 8767. p. 619-635 17 p. (Lecture Notes in Computer Science; vol. 8767).

Research output: Chapter in Book/Report/Conference proceedingChapter

7 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)

Context Sense Clustering for Translation

Lopes, J. G. P. & Silva, J. F. F., 1 Jan 2014, EMNLP Conference, Association for Computational Linguistics. p. 135 to 137

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur

Júnior, J. B. D. S. A., 1 Jan 2014, INFORSID. p. 113--129

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
3 Citations (Scopus)

Design strategy for a national integrated personal health record

Rodolfo, I., Laranjo, L., Correia, N. & Duarte, C., 26 Oct 2014, Proceedings of the NordiCHI 2014: The 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. Association for Computing Machinery, Inc, p. 411-420 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Difficulty in action based challenges: success prediction, players' strategies and profiling

Birra, F. P. R. D. S., Santos, M. J. T. P. D. & Mourato, F., 1 Jan 2014, Advances in Computer Entertainment Conference Proceedings: Proceedings of the 11th Conference on Advances in Computer Entertainment Technology. ACM, p. 9:1-9:10 10 p. 9

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
3 Citations (Scopus)

Enabling Global Experiments with Interactive Reconfoguration and Steering by Multiple Users

Assunção, L. & Cunha, J. A. C. E., 2014, 2014 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE. Elsevier, p. 2137-2144 (Procedia Computer Science; vol. 29).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
2 Citations (Scopus)

Entertaining the Whole World

Cheok, A. D., Nijholt, A. & Romão, T. I. L., 2014, London: Springer. 156 p. (Human-Computer Interaction)

Research output: Book/ReportBook

Entertaining the Whole World

Cheok, A. D., Romão, T. I. L., Nijholt, A. & Yu, G., 2014, Entertaining the Whole World. Cheok, A. D., Nijholt, A. & Romão, T. (eds.). London: Springer, p. 1-3 3 p. (Human–Computer Interaction Series).

Research output: Chapter in Book/Report/Conference proceedingChapter

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)

Experimental Evaluation of Conceptual Modelling through Mind Maps and Model Driven Engineering

Júnior, J. B. D. S. A. & Moreira, A. M. D., 1 Jan 2014, International Conference on Computational Science and Its Applications - (ICCSA). p. 200-214

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
4 Citations (Scopus)

Flexible Modeling and Product Derivation in Software Product Lines

Moreira, A. M. D., 1 Jan 2014, SEKE. p. 67-70

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fostering Learning and Behavior Change Through Computer Entertainment

Romão, T. I. L., 13 Sep 2014, Entertaining the Whole World. Cheok, A. D., Nijholt, A. & Romão, T. (eds.). London: Springer London, p. 41-62 (Human–Computer Interaction series).

Research output: Chapter in Book/Report/Conference proceedingChapter

From the Lab to the World: Studying Real-time Second Screen Interaction with Live Sports

Centieiro, P., Romão, T. I. L. & Dias, A. E. C. P. B., 1 Jan 2014, Proc. Int. Conf. on Advances in Computer Entertainment Technology 2014 (ACE 2014). ACM, 14

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)

HIDRALERTA Project – A Flood Forecast and Alert System in Coastal and Port Areas

Fortes, C. J., Reis, M. T., Poseiro, P., Santos, J. A., Pinheiro, L., Craveiro, J., Rodrigues, A., Sabino, A., Silva, S. F., Ferreira, J. C., Raposeiro, P., Silva, C., Rodrigues, M. C., Simões, A., Azevedo, E. B. & Reis, F., Sep 2014, IWA World Water Congress and Exhibition. IWA, p. 1-8

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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)

Identification of Bilingual Suffix Classes for Classification and Translation Generation

Kavitha, K. M., Gomes, L. & Pereira Lopes, J. G., 2014, ADVANCES IN ARTIFICIAL INTELLIGENCE (IBERAMIA 2014). Bazzan, ALC. & Pichara, K. (eds.). SPRINGER-VERLAG BERLIN, p. 154-166 13 p. (Lecture Notes in Artificial Intelligence; vol. 8864).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Identifying Modularity Improvement Opportunities in Goal-Oriented Requirements Models

Gralha, C., Goulão, M. C. P. A. & Júnior, J. B. D. S. A., 1 Jan 2014, 26th International Conference on Advanced Information Systems Engineering, CAiSE 2014. Springer Verlag, Vol. 8484. p. 91-104 (Lecture Notes in Computer Science; vol. 8484).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
5 Citations (Scopus)

If You Can Feel It, You Can Share It! A System for Sharing Emotions During Live Sports Broadcasts

Centieiro, P., Cardoso, B., Romão, T. I. L. & Dias, A. E. C. P. B., 1 Jan 2014, Proc. Int. Conf. on Advances in Computer Entertainment Technology 2014 (ACE 2014). ACM, 15

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Indirect Keyword Recommendation

Sabino, A., Rodrigues, A. & Goulão, M. C. P. A., Jun 2014, IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT). IEEE Computer Society, p. 384-391

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
3 Citations (Scopus)

Indirect Location Recommendation

Rodrigues, A., Nov 2014, 8th ACM SIGSPATIAL Workshop on Geographic Information Retrieval. p. 1-8

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Information flow analysis for valued-indexed data security compartments

Lourenço, L. & Caires, L., 2014, Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers. Abadi, M. & Lafuente, A. L. (eds.). Springer International Publishing, p. 180-198 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8358 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)