Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering

AuthID: I-000-0K9


Publications Count: 4144

50 Team Members
Filters -> Year: 2025
681
TÍTULO: Syrius: Synthesis of Rules for Intrusion Detectors
AUTORES: Alcantara, L; Padilha, G; Abreu, R ; d'Amorim, M;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 71, NÚMERO: 1, PÁGINAS: 370-381
682
TÍTULO: Team Bruce Banner at Touché 2022: Argument Retrieval for Controversial Questions
AUTORES: Bernardo C Moreira; Henrique Lopes Cardoso ; Bruno Martins; Fábio Goularte;
PUBLICAÇÃO: 2022, FONTE: 2022 Conference and Labs of the Evaluation Forum, CLEF 2022 in Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum, Bologna, Italy, September 5th - to - 8th, 2022., VOLUME: 3180, PÁGINAS: 3055-3063
683
TÍTULO: Text2Icons: linking icons to narrative participants (position paper)
AUTORES: Joana Valente; Alípio Jorge ; Sérgio Nunes ;
PUBLICAÇÃO: 2022, FONTE: Proceedings of Text2Story - Fifth Workshop on Narrative Extraction From Texts held in conjunction with the 44th European Conference on Information Retrieval (ECIR 2022), Stavanger, Norway, April 10, 2022., VOLUME: 3117, PÁGINAS: 111-116
684
TÍTULO: The Dynamics of Remembering and Forgetting
AUTORES: Baquero, Carlos ; Cabecinhas, Rosa ;
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 65, NÚMERO: 7, PÁGINAS: 12-13
685
TÍTULO: The Engineering Implications of Code Maintenance in Practice
AUTORES: Noah Lee; Rui Abreu ; Mehmet Yatbaz; Hang Qu; Nachiappan Nagappan;
PUBLICAÇÃO: 2022, FONTE: Proceedings - 2022 IEEE International Conference on Software Maintenance and Evolution, ICSME 2022, PÁGINAS: 568-577
686
TÍTULO: The game pentade: A design model proposal for games for education. A Design Model Proposal for Games for Education
AUTORES: Raposo, L; Guerra, H; Morais, C ; Coelho, A ;
PUBLICAÇÃO: 2022, FONTE: Handbook of Research on the Influence and Effectiveness of Gamification in Education, PÁGINAS: 130-142
687
TÍTULO: The trade-offs between Fog Processing and Communications in latency-sensitive Vehicular Fog Computing. 220607
AUTORES: de Mendonca Junior, Francisco Ferreira; Kokkinogenis, Zafeiris ; Dias, Kelvin Lopes; d'Orey, Pedro M. ; Rossetti, Rosaldo J. F. ;
PUBLICAÇÃO: 2022, FONTE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 84, PÁGINAS: 101638
688
TÍTULO: Timely Specification Repair for Alloy 6
AUTORES: Cerqueira, Jorge; Cunha, Alcino ; Macedo, Nuno ;
PUBLICAÇÃO: 2022, FONTE: 20th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, VOLUME: 13550, PÁGINAS: 288-303
689
TÍTULO: Towards Bio-Inspired Anomaly Detection Using the Cursory Dendritic Cell Algorithm
AUTORES: Pinto, C; Pinto, R ; Gil Gonçalves ;
PUBLICAÇÃO: 2022, FONTE: ALGORITHMS, VOLUME: 15, NÚMERO: 1, PÁGINAS: 1
690
TÍTULO: Towards the Art of Writing Agile Requirements with User Stories, Acceptance Criteria, and Related Constructs
AUTORES: Ferreira, Antonio M. S.; da Silva, Alberto Rodrigues ; Paiva, Ana C. R. ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PÁGINAS: 477-484
691
TÍTULO: Tracking Data Visual Representations for Sports Broadcasting Enrichment
AUTORES: Murilo Couceiro; Inês Rito Lima; Alexandre Ulisses; Tiago Mendes Neves; João Mendes Moreira ;
PUBLICAÇÃO: 2022, FONTE: 10th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2022 in Proceedings of the 10th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2022, Valletta, Malta, October 27-28, 2022., VOLUME: 2022-October, PÁGINAS: 125-131
692
TÍTULO: Using Simulation to Evaluate a Tube Perception Algorithm for Bin Picking
AUTORES: Leao, Goncalo ; Costa, Carlos M. ; Sousa, Armando ; Reis, Luis Paulo ; Veiga, Germano ;
PUBLICAÇÃO: 2022, FONTE: ROBOTICS, VOLUME: 11, NÚMERO: 2, PÁGINAS: 46
693
694
TÍTULO: Value of concept of operations analysis for digital transformation using digital twins
AUTORES: Joana Lacerda da Fonseca Pinto Cardoso; Eric Scott Rebentisch; Donna Hagstrom Rhodes; António Lucas Soares ;
PUBLICAÇÃO: 2022, FONTE: Product Management & Development, VOLUME: 20, NÚMERO: 2
695
TÍTULO: Valuing Players Over Time
AUTORES: Tiago Mendes Neves; Luís Meireles; João Mendes Moreira ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2209.03882
696
TÍTULO: Variability Analysis for Robot Operating System Applications
AUTORES: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLICAÇÃO: 2022, FONTE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC, PÁGINAS: 111-118
697
TÍTULO: Verification of railway network models with EVEREST
AUTORES: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLICAÇÃO: 2022, FONTE: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, PÁGINAS: 345-355
698
TÍTULO: Verified Password Generation from Password Composition Policies
AUTORES: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PÁGINAS: 271-288
699
TÍTULO: Visitors come to experience science: towards a non-obtrusive evaluation method based on immersive virtual reality
AUTORES: Morais, C ; Luciano Moreira ; Teixeira, A; Aguiar, T; Coelho, A ; Pereira, V; Jacinto, A; Varzim, M; Paiva, JC; Rosa, M ;
PUBLICAÇÃO: 2022, FONTE: JCOM-JOURNAL OF SCIENCE COMMUNICATION, VOLUME: 21, NÚMERO: 1
700
TÍTULO: Visual notations in container orchestrations: an empirical study with Docker Compose
AUTORES: Piedade, Bruno; Dias, Joao Pedro ; Correia, Filipe F. ;
PUBLICAÇÃO: 2022, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 21, NÚMERO: 5, PÁGINAS: 1983-2005

Results per Page: 20.
Página 35 de 208. Total de resultados: 4144.