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

AuthID: I-000-0K9


Publications Count: 4474

56 Team Members
Filters -> Year: 2025
1541
TITLE: Regulating Blockchain Smart Contracts with Agent-Based Markets
AUTHORS: Rubio, TRPM; Zafeiris Kokkinogenis ; Henrique Lopes Cardoso ; Rosaldo J F Rossetti ; Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PAGES: 399-411
1542
TITLE: Reinforcement Learning in Multi-agent Games: Open AI Gym Diplomacy Environment
AUTHORS: Diogo Cruz; José Aleixo Cruz; Henrique Lopes Cardoso ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PAGES: 49-60
1543
TITLE: Requirements pattern in software life cycle: A systematic mapping
AUTHORS: Taciana N Kudo; Renato F Bulcão Neto; Alessandra A Macedo; VINCENZI, AURI M. R. ;
PUBLISHED: 2019, SOURCE: Xxii Ibero American Conference on Software Engineering Cibse 2019, PAGES: 420-433
1544
TITLE: Safe Walking in VR
AUTHORS: Maurício Sousa; Daniel Mendes ; Joaquim A Jorge;
PUBLISHED: 2019, SOURCE: 17th ACM SIGGRAPH International Conference on Virtual-Reality Continuum and its Applications in Industry, VRCAI 2019 in The 17th International Conference on Virtual-Reality Continuum and its Applications in Industry, VRCAI 2019, Brisbane, QLD, Australia, November 14-16, 2019., PAGES: 54:1-54:2
1545
TITLE: Safe Walking In VR using Augmented Virtuality
AUTHORS: Maurício Sousa; Daniel Mendes ; Joaquim A Jorge;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.13032
1546
TITLE: Scalable eventually consistent counters over unreliable networks
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2019, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 32, ISSUE: 1, PAGES: 69-89
1547
TITLE: Seed: Resynthesizing environmental sounds from examples
AUTHORS: Bernardes, G ; Aly, L; Davies, MEP ;
PUBLISHED: 2019, SOURCE: 13th Sound and Music Computing Conference, SMC 2016 in SMC 2016 - 13th Sound and Music Computing Conference, Proceedings, PAGES: 55-62
1548
TITLE: Self-adaptive Cobots in Cyber-Physical Production Systems
AUTHORS: Nogueira, R; Reis, J; Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2019-September, PAGES: 521-528
1549
TITLE: Semantics-aware Virtual Machine Image Management in IaaS Clouds
AUTHORS: Nishant Saurabh; Julian Remmers; Dragi Kimovski; Radu Prodan; Jorge G Barbosa ;
PUBLISHED: 2019, SOURCE: 33rd IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019 in CoRR, VOLUME: abs/1906.09122, PAGES: 418-427
1550
TITLE: Semantics-aware Virtual Machine Image Management in IaaS Clouds
AUTHORS: Saurabh, N; Remmers, J; Kimovski, D; Prodan, R; Barbosa, JG ;
PUBLISHED: 2019, SOURCE: 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2019 IEEE 33RD INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2019), PAGES: 418-427
1551
TITLE: Serious games for ageing: a pilot interventional study in a cohort of heterogeneous cognitive impairment
AUTHORS: Marco Simões; Rui Abreu ; Hélio Gonçalves; Ana Rodrigues; Inês Bernardino; Miguel Castelo Branco;
PUBLISHED: 2019, SOURCE: 7th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2019, Kyoto, Japan, August 5-7, 2019, PAGES: 1-8
1552
TITLE: Sharing and Learning Alloy on the Web
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.02275
1553
TITLE: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2019, SOURCE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PAGES: 38-55
1554
TITLE: Simulation under Arbitrary Temporal Logic Constraints
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PAGES: 63-69
1555
TITLE: Software Operational Profile <i>vi</i>s. Test Profile
AUTHORS: Cavamura, L Jr; Morimoto, R; Fabbri, S; VINCENZI, AURI M. R. ;
PUBLISHED: 2019, SOURCE: SBQS: PROCEEDINGS OF THE 18TH BRAZILIAN SYMPOSIUM ON SOFTWARE QUALITY, PAGES: 139-148
1556
TITLE: Software Operational Profile vs. Test Profile
AUTHORS: Luiz Cavamura Júnior; Ricardo Morimoto; Sandra C P F Fabbri; VINCENZI, AURI M. R. ;
PUBLISHED: 2019, SOURCE: Proceedings of the XVIII Brazilian Symposium on Software Quality, SBQS 2019, Fortaleza, Brazil, October 28 - November 1, 2019., PAGES: 139-148
1557
TITLE: Static-time Extraction and Analysis of the ROS Computation Graph
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PAGES: 62-69
1558
TITLE: Stop PropagHate at SemEval-2019 Tasks 5 and 6: Are abusive language classification results reproducible?
AUTHORS: Paula Fortuna; Juan Soler Company; Sérgio Nunes ;
PUBLISHED: 2019, SOURCE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PAGES: 745-752
1559
TITLE: Supporting the Scale-up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach
AUTHORS: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Lasri, I; Libri, A; Manelfi, C; Martinovic, J; Palermo, G; Pinto, P; Rohou, E; Sanna, N; Slaninova, K; Vitali, E; ...More
PUBLISHED: 2019, SOURCE: 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) in 2019 27TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP), PAGES: 116-123
1560
TITLE: Tactical Level Decision-Making for Platoons of Autonomous Vehicles Using Auction Mechanisms
AUTHORS: Zafeiris Kokkinogenis ; Miguel Teixeira; Pedro M d'Orey ; Rosaldo J F Rossetti ;
PUBLISHED: 2019, SOURCE: 30th IEEE Intelligent Vehicles Symposium (IV) in 2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), VOLUME: 2019-June, PAGES: 1632-1638

Results per Page: 20.
Page 78 of 224. Total results: 4474.