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

Research Output 1998 2018

Filter
Conference contribution
2016
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

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

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

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

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

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

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

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
4 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
Computer systems
Concretes
5 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
Fusion reactions
Information retrieval
Computational complexity
Experiments
4 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
Merging
Peer to peer networks
1 Citation (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
Collaborative filtering
Recommender systems
Singular value decomposition
Factorization
Merging

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
Data storage equipment
Monitoring
Computer monitors
5 Citations (Scopus)

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

Scalability
Decomposition
Graphics processing unit
Chemical analysis

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

3 Citations (Scopus)

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

3 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
Algebra
Mathematical operators

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

3 Citations (Scopus)

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

Type Systems
Data storage equipment
Aliasing
Shared Memory
Object-oriented
5 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
Visualization

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

overtopping
methodology
groin
breakwater
ocean wave
13 Citations (Scopus)

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
Servers
Clocks
Cloud computing
Application programming interfaces (API)
Computer systems

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

Flow control
Testing
Linux
Virtual machine
12 Citations (Scopus)

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

Data structures
Processing
Trees (mathematics)
Query processing
Parallel processing systems
10 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
Customer satisfaction
Visualization
Animation
Communication