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 9 results:
BibTex
Sort by:
Author
Title
[
Year
]
Filters:
Taxonomy Term
is
Proceedings with no main publisher
and
Year
is
2017
[Clear All Filters]
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
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