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

Research Output 1998 2018

2018
Data reduction
social network
Visualization
Data visualization
Electric network analysis
2016
23 Citations (Scopus)

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

Linear Logic
Proposition
Type Systems
Calculus
Correspondence
3 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

Sustainability
Sustainable development
Modeling
Engineering
Model
2015
1 Citation (Scopus)

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

Flow graphs
Structural dynamics
Synchronization
Testing
Communication
2 Citations (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
Programming
Compiler
Java
Program processors
Computing
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

Augmented reality
Cameras
Planning
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

Students
Education
Feedback
4 Citations (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

Inference engines
Query languages

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

Metadata
Data storage equipment
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

3 Citations (Scopus)

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
Repair

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

Application programs
Industry
Maintainability

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

Application programs
Information systems
Industry
Maintainability
1 Citation (Scopus)

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
Electric network analysis
Visualization

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

Mobile computing
Internet
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

Biofeedback
Visualization
Monitoring
7 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

Touch screens
Mobile devices
Acoustic waves
Students

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

Semantics
Facings
Static analysis
Dynamic analysis
Industry

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
Cloud computing
Dynamic models
Engines
Decomposition
Specifications

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
Sports

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

Support vector machines
2 Citations (Scopus)

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

Ubiquitous computing
Application programs
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

Accelerometers
Acoustic waves
Testing
7 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

Pattern matching
Model Transformation
Pattern Matching
Syntactics
Optimization Techniques
5 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

Software Product Lines
Specification
Specifications
Inconsistent
Engineering

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

Disambiguation
Tag
Word Sense
Fruit
Fundamental

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

2 Citations (Scopus)
Open Access
Lighting
Conservation
Illumination
Manuscripts
Journey
6 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

Health
Health care
Gain control
Information systems
3 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
2 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
Feedback
Data privacy
Experiments
Processing
Costs

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

Entertainment
Creativity
Developing world
Nepal
Emerging markets
6 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

Chemical analysis
Specifications
Software engineering
Productivity
4 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

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

Sustainable development
10 Citations (Scopus)

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

Sports
Mobile devices
Feedback
Hardware
Data storage equipment

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

2 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

1 Citation (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

5 Citations (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
Requirements engineering
Identification (control systems)
Industry
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

Sports
Mobile devices
3 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
Metadata
Experiments
1 Citation (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

Metadata
Experiments
5 Citations (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

Data Security
Information Flow
Security of data
Cloud computing
Computer programming languages