CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 8471
531 Team MembersFilters -> Year: 2025
5321
TITLE: Tabling, Rational Terms, and Coinduction Finally Together!
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ; Paulo Moura ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 429-443
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ; Paulo Moura ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 429-443
5322
TITLE: Tandem RNA chimeras contribute to transcriptome diversity in human population and are associated with intronic genetic variants Full Text
AUTHORS: Liliana Greger; Jing Su; Johan Rung; Pedro G Ferreira ; Tuuli Lappalainen; Emmanouil T Dermitzakis; Alvis Brazma; Geuvadis consortium, ;
PUBLISHED: 2014, SOURCE: PLoS ONE, VOLUME: 9, ISSUE: 8
AUTHORS: Liliana Greger; Jing Su; Johan Rung; Pedro G Ferreira ; Tuuli Lappalainen; Emmanouil T Dermitzakis; Alvis Brazma; Geuvadis consortium, ;
PUBLISHED: 2014, SOURCE: PLoS ONE, VOLUME: 9, ISSUE: 8
5323
TITLE: Target Oriented Relational Model Finding
AUTHORS: Alcino Cunha ; Nuno Macedo ; Tiago Guimarães;
PUBLISHED: 2014, SOURCE: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, VOLUME: 8411, PAGES: 17-31
AUTHORS: Alcino Cunha ; Nuno Macedo ; Tiago Guimarães;
PUBLISHED: 2014, SOURCE: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, VOLUME: 8411, PAGES: 17-31
5324
TITLE: Testing Advanced Driver Assistance Systems with a Serious-Game-Based Human Factors Analysis Suite
AUTHORS: Joao S V Goncalves; Rosaldo J F Rossetti ; Jacob, J ; Joel Goncalves; Olaverri Monreal, C; Antonio Coelho ; Rui Rodrigues ;
PUBLISHED: 2014, SOURCE: IEEE Intelligent Vehicles Symposium (IV) in 2014 IEEE INTELLIGENT VEHICLES SYMPOSIUM PROCEEDINGS, PAGES: 13-18
AUTHORS: Joao S V Goncalves; Rosaldo J F Rossetti ; Jacob, J ; Joel Goncalves; Olaverri Monreal, C; Antonio Coelho ; Rui Rodrigues ;
PUBLISHED: 2014, SOURCE: IEEE Intelligent Vehicles Symposium (IV) in 2014 IEEE INTELLIGENT VEHICLES SYMPOSIUM PROCEEDINGS, PAGES: 13-18
5325
TITLE: Testing Advanced Driver Assistance Systems with a serious-game-based human factors analysis suite
AUTHORS: João S V Gonçalves; Rosaldo J F Rossetti ; João Tiago Pinheiro Neto Jacob; Joel Gonçalves; Cristina Olaverri Monreal; António Leça Coelho; Rui Rodrigues ;
PUBLISHED: 2014, SOURCE: 2014 IEEE Intelligent Vehicles Symposium Proceedings, Dearborn, MI, USA, June 8-11, 2014, PAGES: 13-18
AUTHORS: João S V Gonçalves; Rosaldo J F Rossetti ; João Tiago Pinheiro Neto Jacob; Joel Gonçalves; Cristina Olaverri Monreal; António Leça Coelho; Rui Rodrigues ;
PUBLISHED: 2014, SOURCE: 2014 IEEE Intelligent Vehicles Symposium Proceedings, Dearborn, MI, USA, June 8-11, 2014, PAGES: 13-18
INDEXED IN: 
DBLP
DBLP5326
TITLE: The 2nd Workshop on Planetary-Scale Distributed Systems (W-PSDS 2014) Full Text
AUTHORS: Joao Carlos Antunes Leitao; Ricardo Manuel Pereira Vilaça ;
PUBLISHED: 2014, SOURCE: 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops, SRDSW 2014 in 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, SRDS Workshops 2014, Nara, Japan, October 6-9, 2014, PAGES: 1
AUTHORS: Joao Carlos Antunes Leitao; Ricardo Manuel Pereira Vilaça ;
PUBLISHED: 2014, SOURCE: 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops, SRDSW 2014 in 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, SRDS Workshops 2014, Nara, Japan, October 6-9, 2014, PAGES: 1
5327
TITLE: The arrowhead approach for SOA application development and documentation
AUTHORS: Blomstedt, F; Ferreira, LL ; Klisics, M; Chrysoulas, C; De Soria, IM; Morin, B; Zabasta, A; Eliasson, J; Johansson, M; Varga, P;
PUBLISHED: 2014, SOURCE: 40th Annual Conference of the IEEE Industrial Electronics Society, IECON 2014 in Proceedings, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, PAGES: 2631-2637
AUTHORS: Blomstedt, F; Ferreira, LL ; Klisics, M; Chrysoulas, C; De Soria, IM; Morin, B; Zabasta, A; Eliasson, J; Johansson, M; Varga, P;
PUBLISHED: 2014, SOURCE: 40th Annual Conference of the IEEE Industrial Electronics Society, IECON 2014 in Proceedings, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, PAGES: 2631-2637
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef5328
TITLE: The arrowhead approach for SOA application development and documentation
AUTHORS: Blomstedt, F; Ferreira, LL ; Klisics, M; Chrysoulas, C; De Soria, IM; Morin, B; Zabasta, A; Eliasson, J; Johansson, M; Varga, P;
PUBLISHED: 2014, SOURCE: 40th Annual Conference of the IEEE Industrial Electronics Society, IECON 2014 in Proceedings, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, PAGES: 2631-2637
AUTHORS: Blomstedt, F; Ferreira, LL ; Klisics, M; Chrysoulas, C; De Soria, IM; Morin, B; Zabasta, A; Eliasson, J; Johansson, M; Varga, P;
PUBLISHED: 2014, SOURCE: 40th Annual Conference of the IEEE Industrial Electronics Society, IECON 2014 in Proceedings, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, PAGES: 2631-2637
INDEXED IN: Scopus
Scopus5329
TITLE: The Arrowhead Approach for SOA Application Development and Documentation
AUTHORS: Fredrik Blomstedt; Luis Lino Ferreira ; Markus Klisics; Christos Chrysoulas; Iker Martinez de Soria; Brice Morin; Anatolijs Zabasta; Jens Eliasson; Mats Johansson; Pal Varga;
PUBLISHED: 2014, SOURCE: 40th Annual Conference of the IEEE-Industrial-Electronics-Society (IECON) in IECON 2014 - 40TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, PAGES: 2631-2637
AUTHORS: Fredrik Blomstedt; Luis Lino Ferreira ; Markus Klisics; Christos Chrysoulas; Iker Martinez de Soria; Brice Morin; Anatolijs Zabasta; Jens Eliasson; Mats Johansson; Pal Varga;
PUBLISHED: 2014, SOURCE: 40th Annual Conference of the IEEE-Industrial-Electronics-Society (IECON) in IECON 2014 - 40TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, PAGES: 2631-2637
INDEXED IN: 
WOS
WOS5330
TITLE: The challenge of time-predictability in modern many-core architectures
AUTHORS: Nelis, V; Yomsi, PM; Pinho, LM ; Fonseca, JC; Bertogna, M; Quinones, E; Vargas, R; Marongiu, A;
PUBLISHED: 2014, SOURCE: 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014 in OpenAccess Series in Informatics, VOLUME: 39, PAGES: 63-72
AUTHORS: Nelis, V; Yomsi, PM; Pinho, LM ; Fonseca, JC; Bertogna, M; Quinones, E; Vargas, R; Marongiu, A;
PUBLISHED: 2014, SOURCE: 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014 in OpenAccess Series in Informatics, VOLUME: 39, PAGES: 63-72
INDEXED IN: Scopus
Scopus5331
TITLE: The concept of "ba" applied to software knowledge
AUTHORS: Nuno Flores ; Ademar Aguiar ; Hugo Sereno Ferreira ;
PUBLISHED: 2014, SOURCE: 7th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2014 in Proceedings of the 7th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2014, Hyderabad, India, June 2-3, 2014, PAGES: 95-98
AUTHORS: Nuno Flores ; Ademar Aguiar ; Hugo Sereno Ferreira ;
PUBLISHED: 2014, SOURCE: 7th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2014 in Proceedings of the 7th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2014, Hyderabad, India, June 2-3, 2014, PAGES: 95-98
5332
TITLE: The Dendro research data management platform: Applying ontologies to long-term preservation in a collaborative environment
AUTHORS: João Rocha da Silva ; João Aguiar Castro; Cristina Ribeiro ; João Correia Lopes ;
PUBLISHED: 2014, SOURCE: Proceedings of the 11th International Conference on Digital Preservation, iPRES 2014, Melbourne, Australia, October 6 - 10, 2014
AUTHORS: João Rocha da Silva ; João Aguiar Castro; Cristina Ribeiro ; João Correia Lopes ;
PUBLISHED: 2014, SOURCE: Proceedings of the 11th International Conference on Digital Preservation, iPRES 2014, Melbourne, Australia, October 6 - 10, 2014
INDEXED IN: DBLP
DBLP5333
TITLE: The Fifth Empire The reinterpretation of Portuguese and European history in an action adventure game
AUTHORS: Antonio Coelho ; Leonel Dias ; Rui Almeida; Nuno Castro; Pedro Goncalves;
PUBLISHED: 2014, SOURCE: 9th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014)
AUTHORS: Antonio Coelho ; Leonel Dias ; Rui Almeida; Nuno Castro; Pedro Goncalves;
PUBLISHED: 2014, SOURCE: 9th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014)
5334
TITLE: The harmonic and noise information of the glottal pulses in speech Full Text
AUTHORS: Ricardo Sousa ; Anibal Ferreira ; Paavo Alku;
PUBLISHED: 2014, SOURCE: BIOMEDICAL SIGNAL PROCESSING AND CONTROL, VOLUME: 10, ISSUE: 1, PAGES: 137-143
AUTHORS: Ricardo Sousa ; Anibal Ferreira ; Paavo Alku;
PUBLISHED: 2014, SOURCE: BIOMEDICAL SIGNAL PROCESSING AND CONTROL, VOLUME: 10, ISSUE: 1, PAGES: 137-143
5335
TITLE: The influence of internal and external variables in the export performance
AUTHORS: Mafalda Roxo ; Susana C e Silva; Ana Lisboa;
PUBLISHED: 2014
AUTHORS: Mafalda Roxo ; Susana C e Silva; Ana Lisboa;
PUBLISHED: 2014
INDEXED IN: 
Handle
Handle5336
TITLE: The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. teaching algorithmic skills using magic card tricks
AUTHORS: João F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2014, SOURCE: 2014 Innovation and Technology in Computer Science Education Conference, ITICSE 2014 in Innovation and Technology in Computer Science Education Conference 2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014, PAGES: 75-80
AUTHORS: João F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2014, SOURCE: 2014 Innovation and Technology in Computer Science Education Conference, ITICSE 2014 in Innovation and Technology in Computer Science Education Conference 2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014, PAGES: 75-80
5337
TITLE: The Modelery: A Collaborative Web Based Repository
AUTHORS: Rui Couto ; Antonio Nestor Ribeiro ; Jose Creissac Campos ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 1-16
AUTHORS: Rui Couto ; Antonio Nestor Ribeiro ; Jose Creissac Campos ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 1-16
5338
TITLE: The Related-Key Analysis of Feistel Constructions
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2014, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2014, PAGES: 93
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2014, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2014, PAGES: 93
INDEXED IN: DBLP
DBLP5339
TITLE: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT PDF Full Text
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luis S Barbosa ;
PUBLISHED: 2014, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, ISSUE: 1
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luis S Barbosa ;
PUBLISHED: 2014, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, ISSUE: 1
5340
TITLE: ThumbCam: Returning to single touch interactions to explore 3D virtual environments. Returning to single touch interactions to explore 3D virtual environments
AUTHORS: Daniel Mendes ; Maurício Sousa; Alfredo Ferreira ; Joaquim A Jorge;
PUBLISHED: 2014, SOURCE: 9th ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014 in Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014, Dresden, Germany, November 16 - 19, 2014, PAGES: 403-408
AUTHORS: Daniel Mendes ; Maurício Sousa; Alfredo Ferreira ; Joaquim A Jorge;
PUBLISHED: 2014, SOURCE: 9th ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014 in Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014, Dresden, Germany, November 16 - 19, 2014, PAGES: 403-408
