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

Research Output

Filter
Conference contribution
2016

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)

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

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

2 Citations (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

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)

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

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)

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

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

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)

Introducing usability concerns early in the DSL development cycle: FlowSL experience report

Barišić, A., Amaral, V., Goulão, M. & Aguiar, A., 2014, Model-Driven Development Processes and Practices Workshop Proceedings, MD2P2 2014. Bendraou, R., Hebig, R., Volter, M. & Chaudron, M. (eds.). CEUR-WS.org, p. 8-17 10 p. (CEUR Workshop Proceedings; vol. 1249).

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

Open Access
4 Citations (Scopus)

Inverse square rank fusion for multimodal search

Mourão, A., Martins, F. & Magalhães, J. M. D. C., 2014, 2014 12th International Workshop on Content-Based Multimedia Indexing (CBMI). IEEE Computer Society, 6849825. (International Workshop on Content-Based Multimedia Indexing).

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

Open Access
5 Citations (Scopus)

Merging OT and CRDT algorithms

Preguiça, N. M. R., 1 Jan 2014, First Workshop on Principles and Practice of Eventual Consistency. p. 9

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

Open Access
4 Citations (Scopus)

Multi-user Diverse Recommendations through Greedy Vertex-Angle Maximization

Dias, P. & Magalhães, J. M. D. C., 2014, Lecture Notes in Computer Science. p. 96-107

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

Open Access
1 Citation (Scopus)

On Monitoring C/C++ Transactional Memory Programs

Fiedor, J., Letko, Z., Lourenço, J. M. D. S. & Vojnar, T., 2014, MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS 2014. Hliněný, P., Dvořák, Z., Jaroš, J., Kofroň, J., Kořenek, J., Matula, P. & Pala, K. (eds.). Springer-Verlag, p. 73-87 (Lecture Notes in Computer Science; vol. 8934).

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

Open Access

On the support of task-parallel algorithmic skeletons for multi-GPU computing

Alexandre, F., Paulino, H. & Marques, R., 2014, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014. Association for Computing Machinery, p. 880-885 6 p.

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

5 Citations (Scopus)

Otimização automática de aplicações web usando templates client-side

Gonçalves, S., Lourenço, H. & Costa Seco, J., 2014, INForum 2014 - Actas do 6º Simpósio de Informática.

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

Overnesia: a Resilient Overlay Network for Virtual Super-Peers

Leitao, J. & Rodrigues, L., 2014, 33rd IEEE International Symposium on Reliable Distributed Systems (SRDS). IEEE Computer Society, p. 281-290 10 p. 6983403. (Symposium on Reliable Distributed Systems Proceedings).

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

4 Citations (Scopus)

Presenting EveWorks, a Framework for Daily Life Event Detection

Cardoso, B. & Romão, T. I. L., 2014, EICS 2014 - Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems. Association for Computing Machinery, p. 289-294

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

Open Access
3 Citations (Scopus)

Project Lx Conventos: Travelling through space and time in Lisbon’s religious buildings

Gouveia, J., Branco, F., Rodrigues, A. & Correia, N. M. R., Sep 2014, International Conference on Urban History. European Association for Urban History, 8 p.

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

Ranking Linked-Entities in a Sentiment Graph

Magalhães, J. M. D. C., 2014, Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2014 IEEE/WIC/ACM International Joint Conferences on. p. 118-125

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

Open Access
3 Citations (Scopus)

Rely-guarantee protocols

Militão, F., Aldrich, J. & Caires, L., 2014, ECOOP 2014 - Object-Oriented Programming: 28th European Conference, Proceedings. Springer-Verlag, Vol. 8586 LNCS. p. 334-359 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8586 LNCS).

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

2 Citations (Scopus)

Reputation analysis with a ranked sentiment-lexicon

Magalhães, J. M. D. C., Jan 2014, Web Intelligence (WI) and Intelligent Agent Technologies (IAT), 2014 IEEE/WIC/ACM International Joint Conferences on. p. 1207-1210

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

Open Access
5 Citations (Scopus)

Risk Management in Maritime Structures

Reis, M. T., Poseiro, P., Fortes, C. J., Conde, J. M. P., Didier, E. L., Sabino, A. & Rodrigues, A., May 2014, Advances in Intelligent Systems and Computing. Springer, Vol. 281. p. 1179-1190 (Advances in Intelligent Systems and Computing; vol. 281).

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

Scalable and Accurate Causality Tracking for Eventually Consistent Stores

Preguiça, N. M. R., 2014, Lecture Notes in Computer Science. Springer Berlin Heidelberg, p. 67-81

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

Open Access
13 Citations (Scopus)

SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration

Rodrigues, R. S. M., 1 Jan 2014, 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14). p. 415-432

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

Slider: Incremental sliding window analytics

Rodrigues, R. S. M., 2014, Middleware '14: Proceedings of the 15th International Middleware Conference. p. 61-72

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

13 Citations (Scopus)

SnapMind: A framework to support consistency and validation of model-based requirements in agile development

Wanderley, F., Silva, A., Júnior, J. B. D. S. A. & Silveira, D. S. D., 25 Aug 2014, International Model-Driven Requirements Engineering Workshop. p. 47-56 6890825

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

Open Access
10 Citations (Scopus)