Search this site:
Cracs
Home
Sobre Cracs
Temas de investigação
Publicações
Publications by Year
Publications by Type
Publications Filter
Publications at Authenticus
Atividades
Members
Software
Opportunities
Contactos
Site Map
Documentos
Affiliation
DCC
FCUP
Universidade do Porto
Inesc-Porto LA
Agenda
Latest News
Eventos
Cracs Calendar
Username:
*
Password:
*
Request new password
Home
›
Publicações
› Publications by Year
CRACS Publicatons
List
Filter
Export 246 results:
BibTex
Sort by:
Author
Title
[
Year
]
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
Á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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
Á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.
BibTex
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
BibTex
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.
BibTex
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
BibTex
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.
BibTex
Á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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
Mai Elezaby
and
Finn Kuusisto
and
Jude Shavlik
and
Yirong Wu
and
Inês Dutra
et al.
"
Discordant Core Needle Biopsies: A Predictive Model that Identifies Low Probability (≤2%) Lesions to Safely Avoid Surgical Excision
"
, in "Radiological Society of North America Annual Meeting (RSNA 2015)"
, November 2015.
BibTex
José Paulo Leal
and
Rúben Sousa
"
Assessing computer science exercises using graphs
"
, in "ACM-ICPC Collaborative Learning Institute Symposium (CLIS 2015)"
, May 2015.
BibTex
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.
BibTex
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
BibTex
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.
BibTex
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.
BibTex
Á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.
BibTex
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.
BibTex
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.
BibTex
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
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
Download:
THESIS_FINAL-1.pdf
(1.29 MB)
André Pereira
and
Manuel Eduardo Correia
and
Pedro Brandão
"
Charge your device with the latest malware
"
, in "Black Hat Europe 2014"
, October 2014.
Abstract
BibTex
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.
BibTex
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.
BibTex
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
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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
BibTex
Download:
c2013_eneto_sensornets.pdf
(397.41 KB)
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 (Poster)
"
, 2014.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
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.
BibTex
Download:
1
2
3
4
5
next ›
last »
Cracs Calendar
«
December
»
M
T
W
T
F
S
S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31