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: 1094
37 Team MembersFilters -> Year: 2024
541
TITLE: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014 Full Text
AUTHORS: Sandra Alves ; Iliano Cervesato;
PUBLISHED: 2015, SOURCE: LINEARITY, VOLUME: 176
AUTHORS: Sandra Alves ; Iliano Cervesato;
PUBLISHED: 2015, SOURCE: LINEARITY, VOLUME: 176
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef542
TITLE: Protocol-Based Verification of Message-Passing Parallel Programs Full Text
AUTHORS: Hugo A Lopez; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Cesar Santos; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 10, PAGES: 280-298
AUTHORS: Hugo A Lopez; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Cesar Santos; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 10, PAGES: 280-298
543
TITLE: Rand-FaSE: fast approximate subgraph census
AUTHORS: Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2015, SOURCE: SOCIAL NETWORK ANALYSIS AND MINING, VOLUME: 5, ISSUE: 1, PAGES: 17:1-17:18
AUTHORS: Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2015, SOURCE: SOCIAL NETWORK ANALYSIS AND MINING, VOLUME: 5, ISSUE: 1, PAGES: 17:1-17:18
544
TITLE: Reducing Large Semantic Graphs to Improve Semantic Relatedness
AUTHORS: Teresa Costa ; Jose Paulo Leal ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 236-245
AUTHORS: Teresa Costa ; Jose Paulo Leal ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 236-245
545
TITLE: Reducing simulation runtime in wireless sensor networks: A simulation framework to reduce wsn simulation runtime by using multiple simultaneous instances. A Simulation Framework to Reduce WSN Simulation Runtime by Using Multiple Simultaneous Instances
AUTHORS: Pinto, P ; Pinto, AA ; Ricardo, M ;
PUBLISHED: 2015, SOURCE: Handbook of Research on Computational Simulation and Modeling in Engineering, PAGES: 726-741
AUTHORS: Pinto, P ; Pinto, AA ; Ricardo, M ;
PUBLISHED: 2015, SOURCE: Handbook of Research on Computational Simulation and Modeling in Engineering, PAGES: 726-741
546
TITLE: Reducing WSN Simulation Runtime by using Multiple Simultaneous Instances Full Text
AUTHORS: Pedro Pinto ; Antnio Pinto ; Manuel Ricardo ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
AUTHORS: Pedro Pinto ; Antnio Pinto ; Manuel Ricardo ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
547
TITLE: SkILL - a Stochastic Inductive Logic Learner
AUTHORS: Joana Corte Real ; Theofrastos Mantadelis ; Ines Dutra ; Ricardo Rocha ; Elizabeth Burnside;
PUBLISHED: 2015, SOURCE: IEEE 14th International Conference on Machine Learning and Applications ICMLA in 2015 IEEE 14TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA), PAGES: 555-558
AUTHORS: Joana Corte Real ; Theofrastos Mantadelis ; Ines Dutra ; Ricardo Rocha ; Elizabeth Burnside;
PUBLISHED: 2015, SOURCE: IEEE 14th International Conference on Machine Learning and Applications ICMLA in 2015 IEEE 14TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA), PAGES: 555-558
548
TITLE: Social Media Content Analysis in the Higher Education Sector: From Content to Strategy. From Content to Strategy
AUTHORS: Luciana Oliveira ; Álvaro Figueira ;
PUBLISHED: 2015, SOURCE: IJWP, VOLUME: 7, ISSUE: 2, PAGES: 16-32
AUTHORS: Luciana Oliveira ; Álvaro Figueira ;
PUBLISHED: 2015, SOURCE: IJWP, VOLUME: 7, ISSUE: 2, PAGES: 16-32
549
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
550
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
551
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 DBLP552
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)
553
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
554
TITLE: Towards programmable coordination of unmanned vehicle networks
AUTHORS: Marques, ERB ; João Manuel R. S. Tavares ; Pinto, J ; Sousa, JB ; Martins, F;
PUBLISHED: 2015, SOURCE: 4th IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles, NGCUV 2015 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 48, ISSUE: 2, PAGES: 256-261
AUTHORS: Marques, ERB ; João Manuel R. S. Tavares ; Pinto, J ; Sousa, JB ; Martins, F;
PUBLISHED: 2015, SOURCE: 4th IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles, NGCUV 2015 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 48, ISSUE: 2, PAGES: 256-261
556
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
Scopus557
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
558
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
559
TITLE: When Good-Enough is Enough: Complex Queries at Fixed Cost
AUTHORS: Nathan D Mickulicz; Rolando Martins ; Priya Narasimhan; Rajeev Gandhi;
PUBLISHED: 2015, SOURCE: 1st IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2015 in First IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2015, Redwood City, CA, USA, March 30 - April 2, 2015, PAGES: 89-98
AUTHORS: Nathan D Mickulicz; Rolando Martins ; Priya Narasimhan; Rajeev Gandhi;
PUBLISHED: 2015, SOURCE: 1st IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2015 in First IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2015, Redwood City, CA, USA, March 30 - April 2, 2015, PAGES: 89-98
560
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
DBLP