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: 1120
37 Team MembersFilters -> Year: 2024
601
TITLE: Design a computer programming learning environment for massive open online courses
AUTHORS: Queirós, R ;
PUBLISHED: 2014, SOURCE: Innovative Teaching Strategies and New Learning Paradigms in Computer Programming, PAGES: 255-274
AUTHORS: Queirós, R ;
PUBLISHED: 2014, SOURCE: Innovative Teaching Strategies and New Learning Paradigms in Computer Programming, PAGES: 255-274
602
TITLE: Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs
AUTHORS: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLISHED: 2014, SOURCE: 16th International Symposium on Principles and Practice of Declarative Programming, PPDP 2014 in Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, PAGES: 43-54
AUTHORS: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLISHED: 2014, SOURCE: 16th International Symposium on Principles and Practice of Declarative Programming, PPDP 2014 in Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, PAGES: 43-54
603
TITLE: Discovering Colored Network Motifs
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2014, SOURCE: Complex Networks V - Proceedings of the 5th Workshop on Complex Networks CompleNet 2014, Bologna, Italy, March 12-14, 2014, VOLUME: 549, PAGES: 107-118
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2014, SOURCE: Complex Networks V - Proceedings of the 5th Workshop on Complex Networks CompleNet 2014, Bologna, Italy, March 12-14, 2014, VOLUME: 549, PAGES: 107-118
604
TITLE: Discovering Differentially Expressed Genes in Yeast Stress Data
AUTHORS: Antonio Goncalves ; Irene Ong; Jeffrey A Lewis; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 27th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 537-538
AUTHORS: Antonio Goncalves ; Irene Ong; Jeffrey A Lewis; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 27th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 537-538
606
TITLE: Ensemble: An innovative approach to practice computer programming. An Innovative Approach to Practice Computer Programming
AUTHORS: Queirós, R ; Leal, JP ;
PUBLISHED: 2014, SOURCE: Innovative Teaching Strategies and New Learning Paradigms in Computer Programming, PAGES: 173-201
AUTHORS: Queirós, R ; Leal, JP ;
PUBLISHED: 2014, SOURCE: Innovative Teaching Strategies and New Learning Paradigms in Computer Programming, PAGES: 173-201
607
TITLE: Envisioning secure and usable access control for patients
AUTHORS: Ana Margarida Ferreira ; Gabriele Lenzini; Cátia Santos Pereira ; Alexandre B Augusto; Manuel E. Correia ;
PUBLISHED: 2014, SOURCE: 3rd IEEE International Conference on Serious Games and Applications for Health, SeGAH 2014 in 3nd IEEE International Conference on Serious Games and Applications for Health, SeGAH 2014, Rio de Janeiro, Brazil, May 14-16, 2014, PAGES: 1-8
AUTHORS: Ana Margarida Ferreira ; Gabriele Lenzini; Cátia Santos Pereira ; Alexandre B Augusto; Manuel E. Correia ;
PUBLISHED: 2014, SOURCE: 3rd IEEE International Conference on Serious Games and Applications for Health, SeGAH 2014 in 3nd IEEE International Conference on Serious Games and Applications for Health, SeGAH 2014, Rio de Janeiro, Brazil, May 14-16, 2014, PAGES: 1-8
608
TITLE: ESEIG Mobile: An M-Learning Approach in a Superior School. An M-Learning Approach in a Superior School
AUTHORS: Ricardo Queirós ; Mário Pinto;
PUBLISHED: 2014, SOURCE: IJKBO, VOLUME: 4, ISSUE: 3, PAGES: 22-38
AUTHORS: Ricardo Queirós ; Mário Pinto;
PUBLISHED: 2014, SOURCE: IJKBO, VOLUME: 4, ISSUE: 3, PAGES: 22-38
609
TITLE: Euro-Par 2014 Parallel Processing - 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings
AUTHORS: Fernando M A Silva ; Inês de Castro Dutra ; Vítor Santos Costa ;
PUBLISHED: 2014, SOURCE: Euro-Par, VOLUME: 8632
AUTHORS: Fernando M A Silva ; Inês de Castro Dutra ; Vítor Santos Costa ;
PUBLISHED: 2014, SOURCE: Euro-Par, VOLUME: 8632
610
TITLE: Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International Workshops Porto, Portugal, August 25-26, 2014 Revised Selected Papers, Part I
AUTHORS: Luís Lopes ; Julius Zilinskas; Alexandru Costan; Roberto G Cascella; Gabor Kecskemeti; Emmanuel Jeannot; Mario Cannataro; Laura Ricci; Siegfried Benkner; Salvador Petit; Vittorio Scarano; José Gracia; Sascha Hunold; Stephen L Scott; Stefan Lankes; Christian Lengauer; Jesús Carretero; Jens Breitbart; Michael Alexander;
PUBLISHED: 2014, SOURCE: International Workshops on Parallel Processing, Euro-Par 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8805
AUTHORS: Luís Lopes ; Julius Zilinskas; Alexandru Costan; Roberto G Cascella; Gabor Kecskemeti; Emmanuel Jeannot; Mario Cannataro; Laura Ricci; Siegfried Benkner; Salvador Petit; Vittorio Scarano; José Gracia; Sascha Hunold; Stephen L Scott; Stefan Lankes; Christian Lengauer; Jesús Carretero; Jens Breitbart; Michael Alexander;
PUBLISHED: 2014, SOURCE: International Workshops on Parallel Processing, Euro-Par 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8805
611
TITLE: Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 InternationalWorkshops Porto, Portugal, August 25-26, 2014 Revised Selected Papers, Part II
AUTHORS: Luís Lopes ; Julius Zilinskas; Alexandru Costan; Roberto G Cascella; Gabor Kecskemeti; Emmanuel Jeannot; Mario Cannataro; Laura Ricci; Siegfried Benkner; Salvador Petit; Vittorio Scarano; José Gracia; Sascha Hunold; Stephen L Scott; Stefan Lankes; Christian Lengauer; Jesús Carretero; Jens Breitbart; Michael Alexander;
PUBLISHED: 2014, SOURCE: International Workshop on Parallel Processing, Euro-Par 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8806
AUTHORS: Luís Lopes ; Julius Zilinskas; Alexandru Costan; Roberto G Cascella; Gabor Kecskemeti; Emmanuel Jeannot; Mario Cannataro; Laura Ricci; Siegfried Benkner; Salvador Petit; Vittorio Scarano; José Gracia; Sascha Hunold; Stephen L Scott; Stefan Lankes; Christian Lengauer; Jesús Carretero; Jens Breitbart; Michael Alexander;
PUBLISHED: 2014, SOURCE: International Workshop on Parallel Processing, Euro-Par 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8806
612
TITLE: G-Tries: a data structure for storing and finding subgraphs Full Text
AUTHORS: Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2014, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 28, ISSUE: 2, PAGES: 337-377
AUTHORS: Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2014, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 28, ISSUE: 2, PAGES: 337-377
613
TITLE: Inductive Logic Programming - 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
AUTHORS: Gerson Zaverucha; Vítor Santos Costa ; Aline Paes;
PUBLISHED: 2014, SOURCE: ILP, VOLUME: 8812
AUTHORS: Gerson Zaverucha; Vítor Santos Costa ; Aline Paes;
PUBLISHED: 2014, SOURCE: ILP, VOLUME: 8812
614
TITLE: Innovative teaching strategies and new learning paradigms in computer programming
AUTHORS: Queirós, R ;
PUBLISHED: 2014, SOURCE: Innovative Teaching Strategies and New Learning Paradigms in Computer Programming, PAGES: 1-313
AUTHORS: Queirós, R ;
PUBLISHED: 2014, SOURCE: Innovative Teaching Strategies and New Learning Paradigms in Computer Programming, PAGES: 1-313
INDEXED IN: Scopus CrossRef
615
TITLE: JSON on mobile: Is there an efficient parser? Full Text
AUTHORS: Queiros, R ;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in OpenAccess Series in Informatics, VOLUME: 38, PAGES: 93-100
AUTHORS: Queiros, R ;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in OpenAccess Series in Informatics, VOLUME: 38, PAGES: 93-100
INDEXED IN: Scopus DBLP
616
TITLE: Late Breaking Papers of the 23rd International Conference on Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th - to - 30th, 2013
AUTHORS: Gerson Zaverucha; Vítor Santos Costa ; Aline Marins Paes;
PUBLISHED: 2014, SOURCE: ILP (Late Breaking Papers), VOLUME: 1187
AUTHORS: Gerson Zaverucha; Vítor Santos Costa ; Aline Marins Paes;
PUBLISHED: 2014, SOURCE: ILP (Late Breaking Papers), VOLUME: 1187
INDEXED IN: DBLP
617
TITLE: Lifted Variable Elimination for Probabilistic Logic Programming
AUTHORS: Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi; Vitor Santos Costa ; Riccardo Zese;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 681-695
AUTHORS: Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi; Vitor Santos Costa ; Riccardo Zese;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 681-695
618
TITLE: Linearity: A Roadmap
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 4, PAGES: 513-529
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 4, PAGES: 513-529
619
TITLE: Management Driven Hybrid Multicast Framework for Content Aware Networks Full Text
AUTHORS: Iorga, R; Borcoci, E; Miruta, R; Pinto, A ; Carneiro, G; Calcada, T;
PUBLISHED: 2014, SOURCE: IEEE COMMUNICATIONS MAGAZINE, VOLUME: 52, ISSUE: 1, PAGES: 158-165
AUTHORS: Iorga, R; Borcoci, E; Miruta, R; Pinto, A ; Carneiro, G; Calcada, T;
PUBLISHED: 2014, SOURCE: IEEE COMMUNICATIONS MAGAZINE, VOLUME: 52, ISSUE: 1, PAGES: 158-165
620
TITLE: Managing and Assessing Group Work from a Distance Full Text
AUTHORS: Alvaro Figueira ; Rui Pereira;
PUBLISHED: 2014, SOURCE: IEEE Frontiers in Education Conference (FIE) in 2014 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), VOLUME: 2015-February, ISSUE: February, PAGES: 27-34
AUTHORS: Alvaro Figueira ; Rui Pereira;
PUBLISHED: 2014, SOURCE: IEEE Frontiers in Education Conference (FIE) in 2014 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), VOLUME: 2015-February, ISSUE: February, PAGES: 27-34