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: 1135
37 Team MembersFilters -> Year: 2025
581
TITLE: Special Issue: Euro-Par 2014 Full Text
AUTHORS: Christian Lengauer; Luc Bouge; Fernando Silva ;
PUBLISHED: 2015, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 27, ISSUE: 16, PAGES: 4073-4074
AUTHORS: Christian Lengauer; Luc Bouge; Fernando Silva ;
PUBLISHED: 2015, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 27, ISSUE: 16, PAGES: 4073-4074
582
TITLE: The Impact of Longstanding Messages In Micro-Blogging Classification
AUTHORS: Joana Costa; Catarina Silva ; Mario Antunes ; Bernardete Ribeiro ;
PUBLISHED: 2015, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2015 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2015-September, PAGES: 1-8
AUTHORS: Joana Costa; Catarina Silva ; Mario Antunes ; Bernardete Ribeiro ;
PUBLISHED: 2015, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2015 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2015-September, PAGES: 1-8
583
TITLE: Thread-aware logic programming for data-driven parallel programs PDF
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2015, SOURCE: 31st International Conference on Logic Programming, ICLP 2015 in CEUR Workshop Proceedings, VOLUME: 1433
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2015, SOURCE: 31st International Conference on Logic Programming, ICLP 2015 in CEUR Workshop Proceedings, VOLUME: 1433
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP584
TITLE: Time/Space based Biometric Handwritten Signature Verification
AUTHORS: Ricardo P Goncalves ; Alexandre B Augusto; Manuel E. Correia ;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
AUTHORS: Ricardo P Goncalves ; Alexandre B Augusto; Manuel E. Correia ;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
585
TITLE: Towards Out-of-the-Box Programming of Wireless Sensor-Actuator Networks
AUTHORS: Gil Ferro ; Roberto Silva; Luis Lopes ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 110-119
AUTHORS: Gil Ferro ; Roberto Silva; Luis Lopes ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 110-119
586
TITLE: Towards programmable coordination of unmanned vehicle networks
AUTHORS: Eduardo R B Marques ; João Manuel R. S. Tavares ; José Pinto ; João B Sousa ; Francisco Martins;
PUBLISHED: 2015, SOURCE: IFAC-PapersOnLine, VOLUME: 28, ISSUE: 2, PAGES: 256-261
AUTHORS: Eduardo R B Marques ; João Manuel R. S. Tavares ; José Pinto ; João B Sousa ; Francisco Martins;
PUBLISHED: 2015, SOURCE: IFAC-PapersOnLine, VOLUME: 28, ISSUE: 2, PAGES: 256-261
588
TITLE: Uncoordinated Frequency Hopping for secrecy with broadband jammers and eavesdroppers
AUTHORS: Sousa, JS; Vilela, JP ;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Communications, ICC 2015 in IEEE International Conference on Communications, VOLUME: 2015-September, PAGES: 7252-7256
AUTHORS: Sousa, JS; Vilela, JP ;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Communications, ICC 2015 in IEEE International Conference on Communications, VOLUME: 2015-September, PAGES: 7252-7256
INDEXED IN: Scopus
Scopus589
TITLE: Uncoordinated Frequency Hopping for Secrecy with Broadband Jammers and Eavesdroppers
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Communications (ICC) in 2015 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 7252-7256
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Communications (ICC) in 2015 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 7252-7256
590
TITLE: Visualization of Passively Extracted HL7 Production Metrics
AUTHORS: Ricardo Ferreira ; Manuel E. Correia ; Francisco Nuno Rocha Goncalves ; Ricardo João Cruz Correia ;
PUBLISHED: 2015, SOURCE: 8th International Conference on Health Informatics, HEALTHINF 2015 in HEALTHINF 2015 - Proceedings of the International Conference on Health Informatics, Lisbon, Portugal, 12-15 January, 2015., PAGES: 423-430
AUTHORS: Ricardo Ferreira ; Manuel E. Correia ; Francisco Nuno Rocha Goncalves ; Ricardo João Cruz Correia ;
PUBLISHED: 2015, SOURCE: 8th International Conference on Health Informatics, HEALTHINF 2015 in HEALTHINF 2015 - Proceedings of the International Conference on Health Informatics, Lisbon, Portugal, 12-15 January, 2015., PAGES: 423-430
591
TITLE: When Good-Enough is Enough: Complex Queries at Fixed Cost
AUTHORS: Mickulicz, ND; Rolando Martins ; Narasimhan, P; Gandhi, R;
PUBLISHED: 2015, SOURCE: 1st IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2015 in 2015 IEEE FIRST INTERNATIONAL CONFERENCE ON BIG DATA COMPUTING SERVICE AND APPLICATIONS (BIGDATASERVICE 2015), PAGES: 89-98
AUTHORS: Mickulicz, ND; Rolando Martins ; Narasimhan, P; Gandhi, R;
PUBLISHED: 2015, SOURCE: 1st IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2015 in 2015 IEEE FIRST INTERNATIONAL CONFERENCE ON BIG DATA COMPUTING SERVICE AND APPLICATIONS (BIGDATASERVICE 2015), PAGES: 89-98
592
TITLE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal
AUTHORS: Maria João Varanda Pereira; José Paulo Leal ; Alberto Simões;
PUBLISHED: 2014, SOURCE: SLATE, VOLUME: 38
AUTHORS: Maria João Varanda Pereira; José Paulo Leal ; Alberto Simões;
PUBLISHED: 2014, SOURCE: SLATE, VOLUME: 38
INDEXED IN: DBLP
DBLP593
TITLE: A Characterization of Uncoordinated Frequency Hopping for Wireless Secrecy
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2014, SOURCE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC)
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2014, SOURCE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC)
594
TITLE: A Datalog Engine for GPUs
AUTHORS: Carlos A Alberto Martinez Angeles; Ines Dutra ; Vitor Santos Costa ; Jorge Buenabad Chavez;
PUBLISHED: 2014, SOURCE: Kiel Declarative Programming Days (KDPD) in DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 8439, PAGES: 152-168
AUTHORS: Carlos A Alberto Martinez Angeles; Ines Dutra ; Vitor Santos Costa ; Jorge Buenabad Chavez;
PUBLISHED: 2014, SOURCE: Kiel Declarative Programming Days (KDPD) in DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 8439, PAGES: 152-168
595
TITLE: A Distributed Architecture for Remote Validation of Software Licenses Using USB/IP Protocol
AUTHORS: Mario J Antunes ; Albano Afonso; Filipe Mota Pinto;
PUBLISHED: 2014, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 276, PAGES: 269-279
AUTHORS: Mario J Antunes ; Albano Afonso; Filipe Mota Pinto;
PUBLISHED: 2014, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 276, PAGES: 269-279
596
TITLE: A Hybrid MapReduce Model for Prolog
AUTHORS: Joana Corte Real ; Ines Dutra ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: 14 International Symposium on Integrated Circuits (ISIC) in 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), PAGES: 340-343
AUTHORS: Joana Corte Real ; Ines Dutra ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: 14 International Symposium on Integrated Circuits (ISIC) in 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), PAGES: 340-343
597
TITLE: A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AUTHORS: Flavio Cruz ; Ricardo Rocha ; Seth Copen Goldstein; Frank Pfenning ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 493-507
AUTHORS: Flavio Cruz ; Ricardo Rocha ; Seth Copen Goldstein; Frank Pfenning ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 493-507
598
TITLE: A parallel virtual machine for executing forward-chaining linear logic programs
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 125-140
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 125-140
INDEXED IN: Scopus
Scopus599
TITLE: A portable prolog predicate for printing rational terms
AUTHORS: Mantadelis, T ; Rocha, R ;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 141-154
AUTHORS: Mantadelis, T ; Rocha, R ;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 141-154
INDEXED IN: Scopus
Scopus600
TITLE: A Scalable Parallel Approach for Subgraph Census Computation
AUTHORS: David Aparicio ; Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 194-205
AUTHORS: David Aparicio ; Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 194-205
