CRACS Publicatons

Export 246 results:
Sort by: Author Title [ Year  (Desc)]
Filters: Taxonomy Term is Proceedings with no main publisher  [Clear All Filters]
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.
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.
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.
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.
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.
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.
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.
Á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.
Maria Inês Maia and José Paulo Leal "An Emotional Word Analyzer for Portuguese", in "6th Symposium on Languages, Applications and Technologies (SLATE 2017)" , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, June 2017.
Ricardo Gonçalves and Miguel Areias and Ricardo Rocha "Towards an Automated Test Bench Environment for Prolog Systems", in "6th Symposium on Languages, Applications and Technologies (SLATE 2017)" R. Queirós and M. Pinto and A. Simões and Paulo J. Leal and João M. Varanda (eds) , pp.2:1–2:13, June 2017.
Miguel Areias and Ricardo Rocha "Simpler is Faster: Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog", in "10th International Symposium on High-level Parallel Programming and Applications (HLPP 2017)" Daniel J. García (eds) , pp.25–42, July 2017.
Helder Correia and José Paulo Leal and José Carlos Paiva "Enhancing Feedback to Students in Automated Diagram Assessment", in "6th Symposium on Languages, Applications and Technologies (SLATE 2017)" Ricardo Queirós and Mário Pinto and Alberto Simões and José Paulo Leal and Maria João Varanda (eds) , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 56, pp.11:1–11:8, 2017.
Ricardo Queirós and Alberto Simões "SOS - Simple Orchestration of Services", in "6th Symposium on Languages, Applications and Technologies (SLATE 2017)" Ricardo Queirós and Mário Pinto and Alberto Simões and José Paulo Leal and Maria João Varanda (eds) , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 56, pp.13:1–13:8, 2017.
Ricardo Queirós "A Survey on CSS Preprocessors", in "6th Symposium on Languages, Applications and Technologies (SLATE 2017)" Ricardo Queirós and Mário Pinto and Alberto Simões and José Paulo Leal and Maria João Varanda (eds) , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 56, pp.8:1–8:12, 2017.
2016
Rafael Vieira and Catarina Silva and Mário Antunes and Ana Assis "Pattern Recognition in Images of Counterfeited Documents", in "22nd Portuguese Conference on Pattern Recognition (RecPad 2016)" , October 2016.
Joana Costa and Catarina Silva and Mário Antunes and Bernardete Ribeiro "Twitter classification: are some examples better than others?", in "22nd Portuguese Conference on Pattern Recognition (RecPad 2016)" , October 2016.
Nuno Guimarães and Luis Torgo and Álvaro Reis Figueira "Lexicon Expansion System for Domain and Time Oriented Sentiment Analysis", in "8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016)" , ScitePress, pp.463–471, November 2016.
Luciana Oliveira and Álvaro Reis Figueira "Analyzing Relevant Interactions by Bridging Facebook and Moodle", in "10th annual International Technology, Education and Development Conference (INTED 2016)" , March 2016.
Álvaro Reis Figueira and Luciana Oliveira "Discovering Similar Organizational Social Media Strategies using Classification and Clustering", in "10th annual International Technology, Education and Development Conference (INTED 2016)" , March 2016.
Teresa Costa and José Paulo Leal "Comparing and Benchmarking Semantic Measures Using SMComp", in "5th Symposium on Languages, Applications and Technologies (SLATE'16)" Marjan Mernik and José Paulo Leal and Hugo Gonçalo Oliveira (eds) , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 51, pp.1–13, June 2016. Abstract
Alexandre F. Pinto and Hugo Gonçalo Oliveira and Ana Oliveira Alves "Comparing the Performance of Different NLP Toolkits in Formal and Social Media Text", in "5th Symposium on Languages, Applications and Technologies (SLATE 2016)" , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, June 2016.
José Paulo Leal and Helder Correia and José Carlos Paiva "Eshu: An Extensible Web Editor for Diagrammatic Languages", in "5th Symposium on Languages, Applications and Technologies (SLATE'16)" Marjan Mernik and José Paulo Leal and Hugo Gonçalo Oliveira (eds) , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 51, pp.1–13, June 2016. Abstract
Ricardo Queirós and Alberto Simões "Sni'per: a Code Snippet RESTful API", in "5th Symposium on Languages, Applications and Technologies (SLATE 2016)" , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, pp.13:1–13:11, June 2016.
Álvaro Reis Figueira and Luciana Oliveira "Analyzing Social Media Discourse - An Approach Using Semi-Supervised Learning", in "12th International Conference on Web Information Systems and Technologies (WebIST 2016)" , ScitePress, pp.188–195, April 2016.
Luciana Oliveira and Álvaro Reis Figueira "EduBridge Social - Bridging Social Networks and Learning Management Systems", in "8th International Conference on Computer Supported Education (CSEdu 2016)" , ScitePress, pp.162–171, 2016.
2015
Joana Costa and Catarina Silva and Mário Antunes and Bernardete Ribeiro "Generating datasets with drift", in "21st Portuguese Conference on Pattern Recognition (RecPad 2015)" , October 2015.
Theofrastos Mantadelis and Ricardo Rocha and Jorge Oliveira and Miguel Coimbra "Using Probabilistic Logic Programming to Find Patterns", in "21st Portuguese Conference on Pattern Recognition (RecPad 2015)" , October 2015.
José Paulo Leal and Rúben Sousa "Assessing computer science exercises using graphs", in "ACM-ICPC Collaborative Learning Institute Symposium (CLIS 2015)" , May 2015.
Amir Nabizadeh and Alípio M. Jorge and José Paulo Leal "Long Term Goal Oriented Recommender Systems", in "11th International Conference on Web Information Systems and Technologies (WEBIST 2015)" , SciTePress, pp.552–557, May 2015.
João Poço and Pedro Faria and Manuel Eduardo Correia "A pure Java cryptographic provider supporting the U.Porto smartcard", in "13th Annual European Campus Card Association Conference (ECCA 2015)" , May 2015. Abstract
Finn Kuusisto and Inês Dutra and Mai Elezaby and Eneida A. Mendonça and Jude Shavlik et al. "Leveraging Expert Knowledge to Improve Machine-Learned Decision Support Systems", in "Summit on Clinical Research Informatics within AMIA 2015 Joint Summits on Translational Science" , AMIA (American Medical Informatics Association), pp.87–91, March 2015.
Mário Pereira and Sandra Alves and Mário Florido "Liquid Intersection Types", in "7th Workshop on Intersection Types and Related Systems (ITRS 2014)" , EPTCS (arXiv.org), vol. 177, pp.24–42, March 2015.
Álvaro Reis Figueira "Orchestrating Online Group Work while Assessing Individual Participations", in "9th International Technology, Education and Development Conference (INTED 2015)" , IATED, pp.2996–3005, March 2015.
Rodrigo Dias and Rogerio Salvini and Inês Dutra and Beny Lafer "A Multi-Relational Model for Depression Relapse in Patients with Bipolar Disorder by Means of a Machine Learning Approach", in "17th Annual Conference of the International Society for Bipolar Disorders (ISBD 2015)" , Wiley: Bipolar Disorders, vol. 17, pp.128, June 2015.
Miguel Areias and Ricardo Rocha "On Extending a Full-Sharing Multithreaded Tabling Design with Batched Scheduling", in "4th Symposium on Languages, Applications and Technologies (SLATE 2015)" , pp.163–172, June 2015.
Ricardo Ferreira and Manuel Eduardo Correia and Francisco Rocha-Gonçalves and Ricardo Cruz-Correia "Visualization of Passively Extracted HL7 Production Metrics", in "8th International Conference on Health Informatics (HEALTHINF 2015)" , SCITEPRESS Digital Library, pp.423–430, January 2015. Abstract  Download: HEALTHINF 2015.pdf (793.85 KB)
Flávio Cruz and Ricardo Rocha and Seth C. Goldstein "Thread-Aware Logic Programming For Data-Driven Parallel Programs", in "31st International Conference on Logic Programming (ICLP 2015) - Technical Communications" , CEUR-WS, vol. 1433, August/September 2015.
Theofrastos Mantadelis and Jorge Oliveira and Miguel Coimbra "Most probable explanation for MetaProbLog and its application in heart sound segmentation", in "2nd International Workshop on Probabilistic Logic Programming (PLP 2015), co-located with ICLP 2015" , CEUR Workshop Proceedings, vol. 1413, pp.39–45, August 2015.
Rogerio Salvini and Rodrigo Dias and Beny Lafer and Inês Dutra "A Multi-Relational Model for Depression Relapse in Patients with Bipolar Disorder", in "15th World Congress on Health and Biomedical Informatics (MEDINFO 2015)" , IOS Press, vol. 216, pp.741–745, August 2015.
2014
Kiran Ali and Marco Amaro Oliveira and Inês Dutra "Grid Scheduling Strategies For Applications That Need Data Transfer", in "8th Iberian GRID Infrastructure Conference (IBERGRID 2014)" , September 2014.  Download: THESIS_FINAL-1.pdf (1.29 MB)
Joana Costa and Catarina Silva and Mário Antunes and Bernardete Ribeiro "Learning with Drift in Twitter", in "20th Portuguese Conference on Pattern Recognition (RecPad 2014)" , October 2014.
Miguel Areias and Ricardo Rocha "On Scaling Dynamic Programming Problems with a Multithreaded Tabling System", in "1st Workshop on Software Engineering for Parallel Systems (SEPS 2014), co-hosted with SPLASH 2014" , pp.103–114, October 2014.
Luís Maia and Pedro Lopes Faria and Luis Valente and Manuel Eduardo Correia and Lígia M. Ribeiro et al. "Exposing vulnerabilities in Academic Information Systems: A Systematic approach", in "20th International Congress of the European University Information Systems organization (EUNIS 2014)" , June 2014. Abstract
Ricardo Queirós "JSON on Mobile: is there an Efficient Parser?", in "3rd Symposium on Languages, Applications and Technologies (SLATE 2014)" , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 38, pp.93–100, June 2014.
José Paulo Leal and Teresa Costa "Multiscale Parameter Tuning of a Semantic Relatedness Algorithm", in "3rd Symposium on Languages, Applications and Technologies (SLATE 2014)" , Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, vol. 38, pp.201–213, June 2014.  Download: 
Miguel Areias and Ricardo Rocha "A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs", in "7th International Symposium on High-level Parallel Programming and Applications (HLPP 2014)" Clemens Grelck (eds) , pp.259–278, July 2014.
Flávio Cruz and Ricardo Rocha and Seth C. Goldstein "A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs", in "International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2014)" Thomas Ströder and Terrance Swift (eds) , pp.125–139, July 2014.
Theofrastos Mantadelis and Ricardo Rocha "A Portable Prolog Predicate for Printing Rational Terms", in "International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2014)" Thomas Ströder and Terrance Swift (eds) , pp.141–153, July 2014.
Carlos A. Martínez-Angeles and Inês Dutra and Vítor Santos Costa and Jorge Buenabad-Chávez "Relational Learning with Datalog and GPUs: Accelerating Rule Coverage", in "7th International Symposium on High-level Parallel Programming and Applications (HLPP 2014)" , July 2014.
Miguel Areias and Ricardo Rocha "A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling", in "30th International Conference on Logic Programming (ICLP 2014) - Technical Communications" Michael Leuschel and Tom Schrijvers (eds) , July 2014.
Edgard Neto and Rui Mendes and Luís Lopes "An Architecture for Seamless Configuration, Deployment, and Management of Wireless Sensor-Actuator Networks", in "3rd International Conference on Sensor Networks (SENSORNETS 2014)" , SciTePress, pp.73–81, January 2014. Abstract  Download: c2013_eneto_sensornets.pdf (397.41 KB)
2013
Elisabete Cunha and Álvaro Reis Figueira and Óscar E. Mealha "Clustering and Classifying Text Documents - a Revisit to Tagging Integration Methods", in "5th International Conference on Knowledge Discovery and Information Retrieval (KDIR 2013)" , September 2013.
Carlos A. Martínez-Angeles and Inês Dutra and Vítor Santos Costa and Jorge Buenabad-Chávez "A Datalog Engine for GPUs", in "22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013), within Kiel Declarative Programming Days 2013 (KDPD 2013, Unifying INAP, WFLP, and WLP) - Local Proceedings" , Kiel University, pp.239–253, September 2013.
João Santos and Ricardo Rocha "An Or-Parallel Prolog Execution Model for Clusters of Multicores", in "16th Portuguese Conference on Artificial Intelligence (EPIA 2013)" , pp.124–135, September 2013.  Download: 
Álvaro Reis Figueira and Helena Leal "An Online Tool to Manage and Assess Collaborative Group Work", in "12th European Conference on e-Learning (ECEL 2013)" , October 2013.  Download: