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

AuthID: I-000-0K9


Publications Count: 3959

49 Team Members
Filters -> Year: 2025
561
TITLE: Syrius: Synthesis of Rules for Intrusion Detectors
AUTHORS: Alcantara, L; Padilha, G; Abreu, R ; d'Amorim, M;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 71, ISSUE: 1, PAGES: 370-381
562
TITLE: Text2Icons: linking icons to narrative participants (position paper)
AUTHORS: Joana Valente; Alípio Jorge ; Sérgio Nunes ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 111-116
563
TITLE: The Dynamics of Remembering and Forgetting
AUTHORS: Baquero, Carlos ; Cabecinhas, Rosa;
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 65, ISSUE: 7, PAGES: 12-13
564
TITLE: The game pentade: A design model proposal for games for education. A Design Model Proposal for Games for Education
AUTHORS: Raposo, L; Guerra, H; Morais, C ; Coelho, A ;
PUBLISHED: 2022, SOURCE: Handbook of Research on the Influence and Effectiveness of Gamification in Education, PAGES: 130-142
565
TITLE: The trade-offs between Fog Processing and Communications in latency-sensitive Vehicular Fog Computing. 220607
AUTHORS: de Mendonca Junior, Francisco Ferreira; Kokkinogenis, Zafeiris ; Dias, Kelvin Lopes; d'Orey, Pedro M. ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2022, SOURCE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 84, PAGES: 101638
566
TITLE: Timely Specification Repair for Alloy 6
AUTHORS: Cerqueira, Jorge; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2022, SOURCE: 20th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, VOLUME: 13550, PAGES: 288-303
567
TITLE: Towards Bio-Inspired Anomaly Detection Using the Cursory Dendritic Cell Algorithm
AUTHORS: Pinto, C; Pinto, R ; Gil Gonçalves ;
PUBLISHED: 2022, SOURCE: ALGORITHMS, VOLUME: 15, ISSUE: 1, PAGES: 1
568
TITLE: Towards the Art of Writing Agile Requirements with User Stories, Acceptance Criteria, and Related Constructs
AUTHORS: Ferreira, Antonio M. S.; da Silva, Alberto Rodrigues; Paiva, Ana C. R. ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 477-484
569
TITLE: Tracking Data Visual Representations for Sports Broadcasting Enrichment
AUTHORS: Murilo Couceiro; Inês Rito Lima; Alexandre Ulisses; Tiago Mendes Neves; João Mendes Moreira ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 125-131
570
TITLE: Using Simulation to Evaluate a Tube Perception Algorithm for Bin Picking
AUTHORS: Leao, Goncalo ; Costa, Carlos M. ; Sousa, A. ; Reis, Luis Paulo ; Veiga, Germano ;
PUBLISHED: 2022, SOURCE: ROBOTICS, VOLUME: 11, ISSUE: 2, PAGES: 46
571
572
TITLE: Value of concept of operations analysis for digital transformation using digital twins
AUTHORS: Joana Lacerda da Fonseca Pinto Cardoso; Eric Scott Rebentisch; Donna Hagstrom Rhodes; António Lucas Soares ;
PUBLISHED: 2022, SOURCE: Product Management & Development, VOLUME: 20, ISSUE: 2
573
TITLE: Valuing Players Over Time
AUTHORS: Tiago Mendes Neves; Luís Meireles; João Mendes Moreira ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2209.03882
574
TITLE: Variability Analysis for Robot Operating System Applications
AUTHORS: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLISHED: 2022, SOURCE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC, PAGES: 111-118
575
TITLE: Verification of railway network models with EVEREST
AUTHORS: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 345-355
576
TITLE: Verified Password Generation from Password Composition Policies
AUTHORS: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PAGES: 271-288
577
TITLE: Visitors come to experience science: towards a non-obtrusive evaluation method based on immersive virtual reality
AUTHORS: Morais, C ; Luciano Moreira ; Teixeira, A; Aguiar, T; Coelho, A ; Pereira, V; Jacinto, A; Varzim, M; Paiva, JC; Rosa, M;
PUBLISHED: 2022, SOURCE: JCOM-JOURNAL OF SCIENCE COMMUNICATION, VOLUME: 21, ISSUE: 1
578
TITLE: Visual notations in container orchestrations: an empirical study with Docker Compose
AUTHORS: Piedade, Bruno; Dias, Joao Pedro ; Correia, Filipe F. ;
PUBLISHED: 2022, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 21, ISSUE: 5, PAGES: 1983-2005
579
TITLE: WebAssembly versus JavaScript: Energy and Runtime Performance
AUTHORS: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2022, SOURCE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PAGES: 24-34
580
TITLE: What Ever Happened to Peer-to-Peer Systems?
AUTHORS: Baquero, Carlos ;
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 66, ISSUE: 3, PAGES: 14-15

Results per Page: 20.
Page 29 of 198. Total results: 3959.