CRACS Publicatons

Export 820 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.
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.
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.
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.
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.
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.
Miguel Areias and Ricardo Rocha "Towards a Lock-Free, Fixed Size and Persistent Hash Map Design", in "International Symposium on Computer Architecture and High Performance Computing Applications and Technologies (SBAC-PAD 2017)" M. Valero and A. Melo (eds) , IEEE Computer Society, pp.145–152, October 2017.
David Aparício and Pedro Ribeiro and Fernando Silva, "Extending the Applicability of Graphlets to Directed Networks", in IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 14, pp.1302–1315, November 2017.
Luís Antunes and André Souto and Paul Vitányi, "On the Rate of Decrease in Logical Depth", in Theoretical Computer Science, vol. 702, pp.60–64, November 2017.
Arkadev Chattopadhyay and Michal Koucky and Bruno Loff and Sagnik Mukhopadhyay, "Simulation Beats Richness: New Data-Structure Lower Bounds", in Electronic Colloquium on Computational Complexity, vol. 24, November 2017.
Miguel Araújo and Pedro Ribeiro and Christos Faloutsos "TensorCast: Forecasting with Context Using Coupled Tensors (Best Paper Award)", in "IEEE International Conference on Data Mining (ICDM)" , IEEE, pp.71--80, November 2017.
Álvaro Reis Figueira and Luciana Oliveira "A Learning And Social Management System – Version 3.0", in "11th International Technology, Education and Development Conference (INTED 2017)" , IATED Digital Library, March 2017.
Miguel Areias and Ricardo Rocha, "On Scaling Dynamic Programming Problems with a Multithreaded Tabling System", in Journal of Systems and Software, vol. 125, pp.417–426, March 2017. Abstract
Rafael Vieira and Mário Antunes and Catarina Silva and Ana Assis "Automatic documents counterfeit classification using image processing and analysis", in "8th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA'17)" , Springer, June 2017.