Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-1RA
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 1280
43 Team MembersFilters -> Year: 2026
1041
TITLE: Programming Patterns for Logtalk Parametric Objects
AUTHORS: Paulo Moura ;
PUBLISHED: 2009, SOURCE: 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009 in Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, VOLUME: 6547, PAGES: 52-69
AUTHORS: Paulo Moura ;
PUBLISHED: 2009, SOURCE: 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009 in Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers, VOLUME: 6547, PAGES: 52-69
1042
TITLE: Programming Wireless Sensor Networks
AUTHORS: Luís M B Lopes ; Francisco Martins ; João Barros;
PUBLISHED: 2009, SOURCE: Middleware for Network Eccentric and Mobile Applications, PAGES: 25-41
AUTHORS: Luís M B Lopes ; Francisco Martins ; João Barros;
PUBLISHED: 2009, SOURCE: Middleware for Network Eccentric and Mobile Applications, PAGES: 25-41
1043
TITLE: Relational Models for Tabling Logic Programs in a Database
AUTHORS: Costa, P ; Rocha, R ; Ferreira, M ;
PUBLISHED: 2009, SOURCE: 17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming in APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 5437, PAGES: 99-+
AUTHORS: Costa, P ; Rocha, R ; Ferreira, M ;
PUBLISHED: 2009, SOURCE: 17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming in APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 5437, PAGES: 99-+
1044
TITLE: Responding to questionnaires on the Web using XwQuest
AUTHORS: Leal, JP ;
PUBLISHED: 2009, SOURCE: IADIS International Conference WWW/Internet 2009, ICWI 2009 in Proceedings of the IADIS International Conference WWW/Internet 2009, ICWI 2009, VOLUME: 1, PAGES: 149-156
AUTHORS: Leal, JP ;
PUBLISHED: 2009, SOURCE: IADIS International Conference WWW/Internet 2009, ICWI 2009 in Proceedings of the IADIS International Conference WWW/Internet 2009, ICWI 2009, VOLUME: 1, PAGES: 149-156
INDEXED IN: 
Scopus
Scopus1045
TITLE: Schem@Doc: a web-based XML schema visualizer
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2009, SOURCE: Actas do INForum Simpósio de Informática: XML Aplicações e Tecnologias Associadas
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2009, SOURCE: Actas do INForum Simpósio de Informática: XML Aplicações e Tecnologias Associadas
INDEXED IN: 
Handle
Handle1046
TITLE: Secure Implementation of Meta-predicates Full Text
AUTHORS: Paulo Moura ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418, PAGES: 269-283
AUTHORS: Paulo Moura ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418, PAGES: 269-283
1047
TITLE: Strategies for Network Motifs Discovery
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ; Marcus Kaiser;
PUBLISHED: 2009, SOURCE: eScience, PAGES: 80-87
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ; Marcus Kaiser;
PUBLISHED: 2009, SOURCE: eScience, PAGES: 80-87
1048
TITLE: TAT-NIDS: An Immune-Based Anomaly Detection Architecture for Network Intrusion Detection
AUTHORS: Antunes, M ; Correia, M ;
PUBLISHED: 2009, SOURCE: 2nd International Workshop on Practical Applications of Computational Biology and Bioinformatics (IWPACBB 08) in 2ND INTERNATIONAL WORKSHOP ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY AND BIOINFORMATICS (IWPACBB 2008), VOLUME: 49, PAGES: 60-+
AUTHORS: Antunes, M ; Correia, M ;
PUBLISHED: 2009, SOURCE: 2nd International Workshop on Practical Applications of Computational Biology and Bioinformatics (IWPACBB 08) in 2ND INTERNATIONAL WORKSHOP ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY AND BIOINFORMATICS (IWPACBB 2008), VOLUME: 49, PAGES: 60-+
1049
TITLE: Teaching Artificial Intelligence and Logic Programming in a Competitive Environment
AUTHORS: Pedro Manuel Pinto Ribeiro ; Hugo Simões; Michel Ferreira ;
PUBLISHED: 2009, SOURCE: Informatics Educ., VOLUME: 8, ISSUE: 1, PAGES: 85-100
AUTHORS: Pedro Manuel Pinto Ribeiro ; Hugo Simões; Michel Ferreira ;
PUBLISHED: 2009, SOURCE: Informatics Educ., VOLUME: 8, ISSUE: 1, PAGES: 85-100
1050
TITLE: Telephone Interface for the Email Service
AUTHORS: Nuno Baptista; Rui Prior ; Manuel E Correia ;
PUBLISHED: 2009, SOURCE: Computation World - Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns Conference in 2009 COMPUTATION WORLD: FUTURE COMPUTING, SERVICE COMPUTATION, COGNITIVE, ADAPTIVE, CONTENT, PATTERNS, PAGES: 437-442
AUTHORS: Nuno Baptista; Rui Prior ; Manuel E Correia ;
PUBLISHED: 2009, SOURCE: Computation World - Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns Conference in 2009 COMPUTATION WORLD: FUTURE COMPUTING, SERVICE COMPUTATION, COGNITIVE, ADAPTIVE, CONTENT, PATTERNS, PAGES: 437-442
1051
TITLE: Temporal Online Interactions Using Social Network Analysis
AUTHORS: Alvaro Figueira ;
PUBLISHED: 2009, SOURCE: 4th European Conference on Technology Enhanced Learning in LEARNING IN THE SYNERGY OF MULTIPLE DISCIPLINES, PROCEEDINGS, VOLUME: 5794, PAGES: 776-781
AUTHORS: Alvaro Figueira ;
PUBLISHED: 2009, SOURCE: 4th European Conference on Technology Enhanced Learning in LEARNING IN THE SYNERGY OF MULTIPLE DISCIPLINES, PROCEEDINGS, VOLUME: 5794, PAGES: 776-781
1052
TITLE: The Diversity Present in 5140 Human Mitochondrial Genomes
AUTHORS: Luisa Pereira ; Fernando Freitas; Veronica Fernandes; Joana B Pereira ; Marta D Costa; Stephanie Costa; Valdemar Maximo ; Vincent Macaulay; Ricardo Rocha ; David C Samuels;
PUBLISHED: 2009, SOURCE: AMERICAN JOURNAL OF HUMAN GENETICS, VOLUME: 84, ISSUE: 5, PAGES: 628-640
AUTHORS: Luisa Pereira ; Fernando Freitas; Veronica Fernandes; Joana B Pereira ; Marta D Costa; Stephanie Costa; Valdemar Maximo ; Vincent Macaulay; Ricardo Rocha ; David C Samuels;
PUBLISHED: 2009, SOURCE: AMERICAN JOURNAL OF HUMAN GENETICS, VOLUME: 84, ISSUE: 5, PAGES: 628-640
1053
TITLE: TOWARDS AN IMMUNE-INSPIRED TEMPORAL ANOMALY DETECTION ALGORITHM BASED ON TUNABLE ACTIVATION THRESHOLDS
AUTHORS: Antunes, M ; Correia, M ; Carneiro, J ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Bio-Inspired Systems and Signal Processing in BIOSIGNALS 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON BIO-INSPIRED SYSTEMS AND SIGNAL PROCESSING, PAGES: 357-+
AUTHORS: Antunes, M ; Correia, M ; Carneiro, J ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Bio-Inspired Systems and Signal Processing in BIOSIGNALS 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON BIO-INSPIRED SYSTEMS AND SIGNAL PROCESSING, PAGES: 357-+
INDEXED IN: Scopus 
WOS 
DBLP
Scopus WOS DBLP1054
TITLE: Towards Patient Empowerment - Can the Patient Really Decide?
AUTHORS: Falcao Reis, F; Correia, ME ; Sousa, L;
PUBLISHED: 2009, SOURCE: World Congress on Medical Physics and Biomedical Engineering in WORLD CONGRESS ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING, VOL 25, PT 12, VOLUME: 25, ISSUE: 12, PAGES: 345-+
AUTHORS: Falcao Reis, F; Correia, ME ; Sousa, L;
PUBLISHED: 2009, SOURCE: World Congress on Medical Physics and Biomedical Engineering in WORLD CONGRESS ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING, VOL 25, PT 12, VOLUME: 25, ISSUE: 12, PAGES: 345-+
1055
TITLE: Towards the Safe Programming of Wireless Sensor Networks
AUTHORS: Francisco Martins ; Luís M B Lopes ; João Barros;
PUBLISHED: 2009, SOURCE: PLACES, VOLUME: 17, PAGES: 49-62
AUTHORS: Francisco Martins ; Luís M B Lopes ; João Barros;
PUBLISHED: 2009, SOURCE: PLACES, VOLUME: 17, PAGES: 49-62
1056
TITLE: Trading Memory for Answers: Towards Tabling ProbLog
AUTHORS: Angelika Kimmig; Bernd Gutmann; Vítor Santos Costa ;
PUBLISHED: 2009, SOURCE: MLG/SRL@ILP
AUTHORS: Angelika Kimmig; Bernd Gutmann; Vítor Santos Costa ;
PUBLISHED: 2009, SOURCE: MLG/SRL@ILP
INDEXED IN: DBLP
DBLP1057
TITLE: UbiDis: a Flexible and General top-level Middleware to Manage Applications in Grids and Clusters
AUTHORS: Nuno A Fonseca ; Ines Dutra ;
PUBLISHED: 2009, SOURCE: 3rd Iberian Grid Infrastructure Conference (IBERGRID) in IBERGRID: 3RD IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PAGES: 247-255
AUTHORS: Nuno A Fonseca ; Ines Dutra ;
PUBLISHED: 2009, SOURCE: 3rd Iberian Grid Infrastructure Conference (IBERGRID) in IBERGRID: 3RD IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PAGES: 247-255
INDEXED IN: WOS
WOS1058
TITLE: User Defined Indexing
AUTHORS: Vaz, D; Costa, VS ; Ferreira, M ;
PUBLISHED: 2009, SOURCE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649, PAGES: 372-+
AUTHORS: Vaz, D; Costa, VS ; Ferreira, M ;
PUBLISHED: 2009, SOURCE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649, PAGES: 372-+
1059
TITLE: Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: implementation and experiments
AUTHORS: Tinka, A; Diemer, S; Madureira, L; Marques, EB ; de Sousa, JB; Martins, R; Pinto, J ; da Silva, JE ; Sousa, A; Saint Pierre, P; Bayen, AM;
PUBLISHED: 2009, SOURCE: American Control Conference 2009 in 2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, PAGES: 3603-+
AUTHORS: Tinka, A; Diemer, S; Madureira, L; Marques, EB ; de Sousa, JB; Martins, R; Pinto, J ; da Silva, JE ; Sousa, A; Saint Pierre, P; Bayen, AM;
PUBLISHED: 2009, SOURCE: American Control Conference 2009 in 2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, PAGES: 3603-+
1060
TITLE: Visually Guiding and Controlling the Search While Mining Chemical Structures
AUTHORS: Pereira, M; Costa, VS ; Camacho, R ; Fonseca, NA ;
PUBLISHED: 2009, SOURCE: 10th International Work-Conference on Artificial Neural Networks (IWANN 2009) in DISTRIBUTED COMPUTING, ARTIFICIAL INTELLIGENCE, BIOINFORMATICS, SOFT COMPUTING, AND AMBIENT ASSISTED LIVING, PT II, PROCEEDINGS, VOLUME: 5518, ISSUE: PART 2, PAGES: 1043-+
AUTHORS: Pereira, M; Costa, VS ; Camacho, R ; Fonseca, NA ;
PUBLISHED: 2009, SOURCE: 10th International Work-Conference on Artificial Neural Networks (IWANN 2009) in DISTRIBUTED COMPUTING, ARTIFICIAL INTELLIGENCE, BIOINFORMATICS, SOFT COMPUTING, AND AMBIENT ASSISTED LIVING, PT II, PROCEEDINGS, VOLUME: 5518, ISSUE: PART 2, PAGES: 1043-+
