CRACS Publicatons

Export 829 results:
Sort by: Author Title [ Year  (Desc)]
2018
Ricardo Leite and Ricardo Rocha "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.
Ricardo Leite and Ricardo Rocha "A Modern and Competitive Lock-Free Dynamic Memory Allocator", in "10th INForum - Simpósio de Informática (INForum 2018)" N. Correia and F. Martins (eds) , September 2018.
Pedro Moreno and Ricardo Rocha "A Modern and Competitive Lock-Free Dynamic Memory Allocator", in "10th INForum - Simpósio de Informática (INForum 2018)" N. Correia and F. Martins (eds) , September 2018.
Jorge Silva and Pedro Ribeiro and Fernando Silva "Hierarchical Expert Profiling using Heterogeneous Information Networks", in "The 21st International Conference on Discovery Science (DS 2018) " , Springer, LNAI, October 2018.
Álvaro Figueira "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.
Álvaro Figueira "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.
Ana Rebelo and Tiago Oliveira and Manuel Eduardo Correia and Jaime S. Cardoso "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.
Miguel Araújo and Pedro Ribeiro and Hyun Ah Song and Christos Faloutsos, "TensorCast: forecasting and mining with coupled tensors", in Knowledge and Information Systems (KAIS), Springer, pp.1--26, May 2018.
Nuno Guimarães and Luís Torgo and Álvaro Reis Figueira "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.
Pedro Paredes and Pedro Ribeiro "Fast Streaming Small Graph Canonization", in "International Workshop on Complex Networks (CompleNet)" , Springer, pp.27--40, March 2018.
Miguel Areias and Ricardo Rocha, "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.
João Rodrigues and Eduardo R. B. Marques and Joaquim Silva and Luís Lopes and Fernando Silva "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.
Joana Costa and Catarina Silva and Mário Antunes and Bernardete Ribeiro "Adaptive Learning Models Evaluation in Twitter’s Timelines", in "International Joint Conference on Neural Networks (IJCNN)" , IEEE, pp.2697-2704, July 2018.
Joana Côrte-Real and Anton Dries and Inês Dutra and Ricardo Rocha "Improving Candidate Quality of Probabilistic Logic Models", in "Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)" A. dal Palù and P. Tarau (eds) , July 2018.
Miguel Araújo and Pedro Ribeiro and Christos Faloutsos "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.
Cristiano Alves and Nuno Anacleto and Mário Antunes "A framework to automate network packets construction", in "13th Doctoral Symposium in Informatics Enginnering (DSIE'18)" , FEUP, January 2018.
Nuno Guimarães and Filipe Miranda and Álvaro Figueira "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.
Gonçalo Carnaz and Vitor Nogueira and Mário Antunes and Nuno Ferreira "An automated system for criminal police reports analysis", in "14th International Conference on Information Assurance and Security (IAS'18)" , Springer, December 2018.
Mário Antunes "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.
Jorge Silva and David Aparício and Fernando Silva "OTARIOS: OpTimizing Author Ranking with Insiders/Outsiders Subnetworks", in "The 7th International Conference on Complex Networks and Their Applications" , Springer, December 2018.
Tadeu Freitas and João Rodrigues and Diogo Bogas and Miguel Coimbra and Rolando Martins "Panoptic, Privacy over Edge-Clouds", in "2018 IEEE 6th International Conference on Future Internet of Things and Cloud (FiCloud'18)" , IEEE Xplore, August 2018.
Duarte Nuno Gonçalves Ferreira and Mariana Leite and Cátia Santos-Pereira and Manuel Eduardo Correia and Luís Antunes et al. "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)
Jorge Silva and Ana Aguiar and Fernando Silva, "Parallel Asynchronous Strategies for the Execution of Feature Selection Algorithms", in International Journal of Parallel Programming, vol. 42, pp.252--283, April 2018.
Bruno Loff and Nelma Moreira and Rogério Reis, "The Computational Power of Parsing Expression Grammars", in International Conference on Developments in Language Theory (DLT'18), Springer, pp.491-502, 2018 2018.
Arkadev Chattopadhyay and Michal Koucký and Bruno Loff and Sagnik Mukhopadhyay "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.
José Carlos Paiva and José Paulo Leal "Asura: A Game-Based Assessment Environment for Mooshak (Short Paper)", in "7th Symposium on Languages, Applications and Technologies (SLATE 2018)" Pedro Rangel Henriques and José Paulo Leal and António Menezes Leitão and Xavier Gómez Guinovart (eds) , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 62, pp.9:1–9:9, 2018.
R. Gonçalves and Manuel Eduardo Correia and P. Brandão "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." Pierangela Samarati and Mohammad S. Obaidat (eds) , pp.632-637, 2018.
Ricardo Queirós and José Paulo Leal "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.
Helder Correia and José Paulo Leal and José Carlos Paiva "Improving Diagram Assessment in Mooshak", in "Technology Enhanced Assessment" Eric Ras and Ana Elena Guerrero Roldán (eds) , Springer International Publishing, pp.69–82, 2018. Abstract
Ricardo Queirós "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.
Ricardo Queirós "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.
Helder Correia and José Paulo Leal and José Carlos Paiva "Moozz: Assessment of Quizzes in Mooshak 2.0 (Short Paper)", in "7th Symposium on Languages, Applications and Technologies (SLATE 2018)" Pedro Rangel Henriques and José Paulo Leal and António Menezes Leitão and Xavier Gómez Guinovart (eds) , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 62, pp.3:1–3:8, 2018.
Daniel Pinto and Mário Antunes "A network packets sniffer with real-time graphical analytics", in "13th Doctoral Symposium in Informatics Enginnering (DSIE'18)" , FEUP, 2018.
Joana Côrte-Real and Inês Dutra and Ricardo Rocha "On Applying Probabilistic Logic Programming to Breast Cancer Data", in "27th International Conference on Inductive Logic Programming (ILP 2017)" N. Lachiche and C. Vrain (eds) , Springer - LNAI, pp.31–45, 2018.
José Paulo Leal "Path Patterns Visualization in Semantic Graphs", in "7th Symposium on Languages, Applications and Technologies (SLATE 2018)" Pedro Rangel Henriques and José Paulo Leal and António Menezes Leitão and Xavier Gómez Guinovart (eds) , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 62, pp.15:1–15:15, 2018.
André Silva and José Paulo Leal and José Carlos Paiva "Raccode: An Eclipse Plugin for Assessment of Programming Exercises (Short Paper)", in "7th Symposium on Languages, Applications and Technologies (SLATE 2018)" Pedro Rangel Henriques and José Paulo Leal and António Menezes Leitão and Xavier Gómez Guinovart (eds) , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 62, pp.4:1–4:8, 2018.
FN Nwebonyi and Rolando Martins and Manuel Eduardo Correia "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" Sebastian Doerr and Mathias Fischer and Sebastian Schrittwieser and Dominik Herrmann (eds) , Springer, pp.39:1-39:8, 2018. Abstract
Miguel Areias and Ricardo Rocha, "Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation", in Theory and Practice of Logic Programming, vol. 18, pp.950–992, 2018.
Sandra Alves and Besik Dundua and Mário Florido and Temur Kutsia, "Pattern-based calculi with finitary matching", in Logic Journal of the IGPL, Oxford University Press, vol. 26, pp.203-243, 2018. Abstract
Sandra Alves and Iliano Cervesato "Preface to special issue: LINEARITY 2014", CAMBRIDGE UNIV PRESS, Address32 AVENUE OF THE AMERICAS, NEW YORK, NY 10013-2473 USA, 2018.
Sandra Alves and Sabine Broda "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" Hélène Kirchner (eds) , Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, vol. 108, pp.5:1-5:16, 2018.
2017
Ricardo Queirós and Mário Pinto and Alberto Simões and José Paulo Leal and Maria João Varanda (eds) "Front Matter, Table of Contents, Preface, Conference Organization", Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 56, pp.0:i–0:xvi, September 2017.
Joana Côrte-Real and Inês Dutra and Ricardo Rocha "Probabilistic Logic Models and Their Application to Breast Cancer", in "27th International Conference on Inductive Logic Programming (ILP 2017) - Late-Breaking Papers" , September 2017.
André Rei and Álvaro Reis Figueira and Luciana Oliveira "A system for visualization and analysis of online pedagogical interactions", in "International Conference on E-Education, E-Business and E-Technology (ICEBT 2017)" , ACM, pp.42–46, September 2017.
Joana Costa and Catarina Silva and Mário Antunes and Bernardete Ribeiro, "Adaptive Learning for Dynamic Environments: a Comparative Approach", in Engineering Applications of Artificial Intelligence (EAAI), vol. 65, pp.336–345, October 2017.
João Santos and Catarina Silva and Mário Antunes "Generating Benchmark Datasets for Intrusion Detection Systems", in "23th edition of the Portuguese Conference on Pattern Recognition (RecPad'17)" , October 2017.