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: 1133
37 Team MembersFilters -> Year: 2025
581
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 DBLP582
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)
583
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
584
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
586
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
Scopus587
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
588
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
589
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
590
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
DBLP591
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)
592
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
593
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
594
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
595
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
596
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
Scopus597
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
Scopus598
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
599
TITLE: A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling PDF
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.2850
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.2850
INDEXED IN: DBLP 
arXiv
DBLP arXiv600
TITLE: A study of machine learning methods for detecting user interest during web sessions
AUTHORS: Jorge, AM ; Leal, JP ; Anand, SS; Dias, H;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 149-157
AUTHORS: Jorge, AM ; Leal, JP ; Anand, SS; Dias, H;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 149-157
