]
"Code Generation, Analysis Tools, and Testing for Quality", IGI GLOBAL, June 2019.
, "IRIS: Secure Reliable Live-Streaming with Opportunistic Mobile Edge Cloud Offloading", in FutureGenerationComputerSystems, vol. 101, pp.272-292, December 2019. Abstract
Download: 1-s2.0-S0167739X19301037-main (1).pdf (2.26 MB)
"Authoring Game-Based Programming Challenges to Improve Students' Motivation", in "The Challenges of the Digital Transformation in Education" , Springer International Publishing, pp.602–613, 2019. Abstract
, "PROud - A Gamification Framework Based on Programming Exercises Usage Data", in Information, vol. 10, pp.54, 2019.
"A Survey on Computer Programming Learning Environments", in "Code Generation, Analysis Tools, and Testing for Quality" , IGI GLOBAL, vol. 1, pp.90-105, 2019.
"LRMalloc: a Modern and Competitive Lock-Free Dynamic Memory Allocator", in "13th International Meeting on High Performance Computing for Computational Science (VECPAR 2018)" , Springer - LNCS, pp.–, September 2018.
"A Modern and Competitive Lock-Free Dynamic Memory Allocator", in "10th INForum - Simpósio de Informática (INForum 2018)" , September 2018.
"A Modern and Competitive Lock-Free Dynamic Memory Allocator", in "10th INForum - Simpósio de Informática (INForum 2018)" , September 2018.
, "Graphlet-orbit Transitions (GoT): A fingerprint for temporal network comparison", in PLoS ONE, vol. 13, October 2018. Download: j2018_PLOSONE.pdf (3.04 MB)
"Hierarchical Expert Profiling using Heterogeneous Information Networks", in "The 21st International Conference on Discovery Science (DS 2018) " , Springer, LNAI, October 2018.
"A Three-Step Data-Mining Analysis of Top-Ranked Higher Education Institutions' Communication on Facebook", in "Proceedings of the Sixth International Conference on Technological Ecosystems for Enhancing Multiculturality, TEEM'18" , ACM, pp.923--929, October 2018.
"Uncovering Social Media Content Strategies for Worldwide Top-Ranked Universities", in "CENTERIS 2018 - International Conference on ENTERprise Information Systems / ProjMAN 2018 - International Conference on Project MANagement / HCist 2018 - International Conference on Health and Social Care Information Systems and Technologies" , Elsevier, vol. 138, pp.663--670, October 2018.
"Are Deep Learning Methods Ready for Prime Time in Fingerprints Minutiae Extraction?", in "23rd Iberoamerican Congress on Pattern Recognition (CIARP 2018) " , Springer Lecture Notes, November 2018.
"Introdução ao Desenvolvimento Moderno para a Web", FCA, November 2018.
, "TensorCast: forecasting and mining with coupled tensors", in Knowledge and Information Systems (KAIS), Springer, pp.1--26, May 2018.
"Twitter as a Source for Time- and Domain-Dependent Sentiment Lexicons", in "Social Network Based Big Data Analysis and Applications" , Springer, pp.1--19, May 2018.
"Fast Streaming Small Graph Canonization", in "International Workshop on Complex Networks (CompleNet)" , Springer, pp.27--40, March 2018.
, "Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog", in Concurrency and Computation: Practice and Experience, Special Issue, pp.1–14, March 2018.
"7th Symposium on Languages, Applications and Technologies, SLATE 2018, June 21-22, 2018, Guimaraes, Portugal", Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, vol. 62, June 2018.
"Emerging Trends, Techniques, and Tools for Massive Open Online Course (MOOC) Management", IGI Global, June 2018.
"Video Dissemination in Untethered Edge-Clouds: a Case Study", in "Proc. 18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS)" , Springer, June 2018.
"Adaptive Learning Models Evaluation in Twitter’s Timelines", in "International Joint Conference on Neural Networks (IJCNN)" , IEEE, pp.2697-2704, July 2018.
"Improving Candidate Quality of Probabilistic Logic Models", in "Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)" , July 2018.
"TensorCast: Forecasting Time-Evolving Networks with Contextual Information.", in "27th International Joint Conference on Artificial Intelligence - Sister Conferences Best Papers (IJCAI)" , pp.5199–5203, July 2018.
"A framework to automate network packets construction", in "13th Doctoral Symposium in Informatics Enginnering (DSIE'18)" , FEUP, January 2018.
"Human vs. Automatic Annotation Regarding the Task of Relevance Detection in Social Networks", in "International Conference on Emerging Internetworking, Data & Web Technologies, EIDWT 2018" , Springer, vol. 17, pp.922--933, February 2018.
"An automated system for criminal police reports analysis", in "14th International Conference on Information Assurance and Security (IAS'18)" , Springer, December 2018.
"Cybersecurity and digital forensics - course development in a higher education institution", in "14th International Conference on Information Assurance and Security (IAS'18)" , Springer, December 2018.
"OTARIOS: OpTimizing Author Ranking with Insiders/Outsiders Subnetworks", in "The 7th International Conference on Complex Networks and Their Applications" , Springer, December 2018.
"Panoptic, Privacy over Edge-Clouds", in "2018 IEEE 6th International Conference on Future Internet of Things and Cloud (FiCloud'18)" , IEEE Xplore, August 2018.
"HS.Register - An Audit-Trail Tool to Respond to the General Data Protection Regulation (GDPR)", in "Building Continents of Knowledge in Oceans of Data: The Future of Co-Created Ehealth - Proceedings of Mie 2018, Medical Informatics Europe" , April 2018. Abstract
Download: SHTI247-0081.pdf (289.96 KB)
, "Parallel Asynchronous Strategies for the Execution of Feature Selection Algorithms", in International Journal of Parallel Programming, vol. 42, pp.252--283, April 2018.
, "The Computational Power of Parsing Expression Grammars", in International Conference on Developments in Language Theory (DLT'18), Springer, pp.491-502, 2018 2018.
"Simulation beats richness: new data-structure lower bounds", in "50th Annual ACM SIGACT Symposium on Theory of Computing (STOC'18)" , ACM, pp.1013-1020, 2018 2018.
"Asura: A Game-Based Assessment Environment for Mooshak (Short Paper)", in "7th Symposium on Languages, Applications and Technologies (SLATE 2018)" , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 62, pp.9:1–9:9, 2018.
, "CSS Preprocessing: Tools and Automation Techniques", in Information, vol. 9, pp.17, 2018.
, "EmoSpell, a Morphological and Emotional Word Analyzer", in Information, vol. 9, 2018. Abstract
, "Estimating time and score uncertainty in generating successful learning paths under time constraints", in Expert Systems, pp.e12351, 2018. Abstract
"A Flexible Framework for Rogue Access Point Detection", in "Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 - Volume 2: SECRYPT, Porto, Portugal, July 26-28, 2018." , pp.632-637, 2018.
, "Flux: a platform for dynamically reconfigurable mobile crowd-sensing", in ACM Transactions on Sensor Networks, 2018.
"Fostering Students-Driven Learning of Computer Programming with an Ensemble of E-Learning Tools", in "Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018]" , pp.289–298, 2018.
"Improving Diagram Assessment in Mooshak", in "Technology Enhanced Assessment" , Springer International Publishing, pp.69–82, 2018. Abstract
"Kaang: A RESTful API Generator for the Modern Web", in "7th Symposium on Languages, Applications and Technologies, SLATE 2018, June 21-22, 2018, Guimaraes, Portugal" , pp.1:1–1:15, 2018.
"LearnJS - A JavaScript Learning Playground (Short Paper)", in "7th Symposium on Languages, Applications and Technologies, SLATE 2018, June 21-22, 2018, Guimaraes, Portugal" , pp.2:1–2:9, 2018.
"Moozz: Assessment of Quizzes in Mooshak 2.0 (Short Paper)", in "7th Symposium on Languages, Applications and Technologies (SLATE 2018)" , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 62, pp.3:1–3:8, 2018.
"A network packets sniffer with real-time graphical analytics", in "13th Doctoral Symposium in Informatics Enginnering (DSIE'18)" , FEUP, 2018.
"On Applying Probabilistic Logic Programming to Breast Cancer Data", in "27th International Conference on Inductive Logic Programming (ILP 2017)" , Springer - LNAI, pp.31–45, 2018.
"On the interoperability of european national identity cards", in "Advances in Intelligent Systems and Computing" , vol. 806, pp.338-348, 2018. Abstract
"Path Patterns Visualization in Semantic Graphs", in "7th Symposium on Languages, Applications and Technologies (SLATE 2018)" , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 62, pp.15:1–15:15, 2018.
"Programming Networked Vehicle Systems using Dolphin – Field Tests at REP'17", in "Proc. IEEE/MTS Oceans'18" , IEEE, 2018.
"Raccode: An Eclipse Plugin for Assessment of Programming Exercises (Short Paper)", in "7th Symposium on Languages, Applications and Technologies (SLATE 2018)" , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 62, pp.4:1–4:8, 2018.
, "Reputation based approach for improved fairness and robustness in P2P protocols", in Peer-to-Peer Networking and Applications, 2018. Abstract
"Reputation-Based Security System For Edge Computing", in "Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018, Hamburg, Germany, August 27-30, 2018" , Springer, pp.39:1-39:8, 2018. Abstract
, "Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation", in Theory and Practice of Logic Programming, vol. 18, pp.950–992, 2018.
, "Pattern-based calculi with finitary matching", in Logic Journal of the IGPL, Oxford University Press, vol. 26, pp.203-243, 2018. Abstract
"Preface to special issue: LINEARITY 2014", CAMBRIDGE UNIV PRESS, Address32 AVENUE OF THE AMERICAS, NEW YORK, NY 10013-2473 USA, 2018.
"A Unifying Framework for Type Inhabitation", in "3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK" , Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, vol. 108, pp.5:1-5:16, 2018.
"Front Matter, Table of Contents, Preface, Conference Organization", Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 56, pp.0:i–0:xvi, September 2017.
"Probabilistic Logic Models and Their Application to Breast Cancer", in "27th International Conference on Inductive Logic Programming (ILP 2017) - Late-Breaking Papers" , September 2017.