Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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: 25101
1717 Team MembersFilters -> Year: 2026
16661
TITLE: Tabling, Rational Terms, and Coinduction Finally Together!
AUTHORS: Mantadelis, T ; Rocha, R ; Moura, P ;
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: Mantadelis, T ; Rocha, R ; Moura, P ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 429-443
16662
TITLE: Tactical and Operational Harvest Planning
AUTHORS: Alexandra S Marques ; Jean François Audy; Sophie D’Amours; Mikael Rönnqvist;
PUBLISHED: 2014, SOURCE: The Management of Industrial Forest Plantations - Managing Forest Ecosystems, PAGES: 239-267
AUTHORS: Alexandra S Marques ; Jean François Audy; Sophie D’Amours; Mikael Rönnqvist;
PUBLISHED: 2014, SOURCE: The Management of Industrial Forest Plantations - Managing Forest Ecosystems, PAGES: 239-267
16663
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
16664
TITLE: Target Oriented Relational Model Finding
AUTHORS: Alcino Cunha ; Nuno Macedo ; Tiago Guimarães;
PUBLISHED: 2014, SOURCE: FASE, VOLUME: 8411 LNCS, PAGES: 17-31
AUTHORS: Alcino Cunha ; Nuno Macedo ; Tiago Guimarães;
PUBLISHED: 2014, SOURCE: FASE, VOLUME: 8411 LNCS, PAGES: 17-31
16665
TITLE: Teaching Fourier Series Expansions in Undergraduate Education with the Help of the FouSE Android Application Full Text
AUTHORS: Manuel Cabral Reis ; Soares, Salviano Soares, Pinto Soares ; Simão Cardeal; Raul Morais ; Emanuel Peres ; Paulo Jorge S G Ferreira ;
PUBLISHED: 2014, SOURCE: Int. J. Interact. Mob. Technol., VOLUME: 8, ISSUE: 1, PAGES: 26-31
AUTHORS: Manuel Cabral Reis ; Soares, Salviano Soares, Pinto Soares ; Simão Cardeal; Raul Morais ; Emanuel Peres ; Paulo Jorge S G Ferreira ;
PUBLISHED: 2014, SOURCE: Int. J. Interact. Mob. Technol., VOLUME: 8, ISSUE: 1, PAGES: 26-31
16666
TITLE: Teaching Optics with the centennial universal lantern
AUTHORS: Joao Carvalhal, MJ; Marisa Monteiro; Manuel B Marques ;
PUBLISHED: 2014, SOURCE: 12th Education and Training in Optics and Photonics Conference in 12TH EDUCATION AND TRAINING IN OPTICS AND PHOTONICS CONFERENCE, VOLUME: 9289
AUTHORS: Joao Carvalhal, MJ; Marisa Monteiro; Manuel B Marques ;
PUBLISHED: 2014, SOURCE: 12th Education and Training in Optics and Photonics Conference in 12TH EDUCATION AND TRAINING IN OPTICS AND PHOTONICS CONFERENCE, VOLUME: 9289
16667
TITLE: Teaching particle swarm optimization through an open-loop system identification project Full Text
AUTHORS: Oliveira, PM ; Vrancic, D; Cunha, JB ; Pires, EJS ;
PUBLISHED: 2014, SOURCE: COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, VOLUME: 22, ISSUE: 2, PAGES: 227-237
AUTHORS: Oliveira, PM ; Vrancic, D; Cunha, JB ; Pires, EJS ;
PUBLISHED: 2014, SOURCE: COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, VOLUME: 22, ISSUE: 2, PAGES: 227-237
16668
TITLE: TEC4SEA-A Modular Platform for Research, Test and Validation of Technologies Supporting a Sustainable Blue Economy
AUTHORS: Paulo Monica ; Alfredo Martins ; Augustin Olivier; Anibal Matos ; Jose Miguel Almeida ; Nuno Cruz ; Jose Carlos Alves ; Henrique Salgado ; Luis Pessoa ; Pedro Jorge ; Rui Campos ; Manuel Ricardo ; Carlos Pinho; Antonio Silva ; Sergio Jesus; Eduardo Silva ;
PUBLISHED: 2014, SOURCE: Oceans Conference in 2014 OCEANS - ST. JOHN'S
AUTHORS: Paulo Monica ; Alfredo Martins ; Augustin Olivier; Anibal Matos ; Jose Miguel Almeida ; Nuno Cruz ; Jose Carlos Alves ; Henrique Salgado ; Luis Pessoa ; Pedro Jorge ; Rui Campos ; Manuel Ricardo ; Carlos Pinho; Antonio Silva ; Sergio Jesus; Eduardo Silva ;
PUBLISHED: 2014, SOURCE: Oceans Conference in 2014 OCEANS - ST. JOHN'S
16669
TITLE: Tessellation-based Coarse Registration Method for 3D Reconstruction of the Female Torso
AUTHORS: Pedro Costa; Joao P Monteiro ; Hooshiar Zolfagharnasab ; Helder P Oliveira ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2014 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), PAGES: 301-306
AUTHORS: Pedro Costa; Joao P Monteiro ; Hooshiar Zolfagharnasab ; Helder P Oliveira ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2014 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), PAGES: 301-306
16670
TITLE: Testes de software na redução do consumo energético dos sistemas de informação
AUTHORS: Paulo Matos; José Coelho ; Cristina Carapeto;
PUBLISHED: 2014, SOURCE: Revista de Ciências da Computação
AUTHORS: Paulo Matos; José Coelho ; Cristina Carapeto;
PUBLISHED: 2014, SOURCE: Revista de Ciências da Computação
INDEXED IN: 
Handle
Handle16671
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 Coelho; Rui Rodrigues ;
PUBLISHED: 2014, SOURCE: Intelligent Vehicles Symposium, 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 Coelho; Rui Rodrigues ;
PUBLISHED: 2014, SOURCE: Intelligent Vehicles Symposium, PAGES: 13-18
INDEXED IN: 
DBLP
DBLP16672
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
16673
TITLE: The "Smart Paradox": Stimulate the deployment of smart grids with effective regulatory instruments Full Text
AUTHORS: Vitor Marques; Nuno Bento; Paulo Moises Costa ;
PUBLISHED: 2014, SOURCE: ENERGY, VOLUME: 69, PAGES: 96-103
AUTHORS: Vitor Marques; Nuno Bento; Paulo Moises Costa ;
PUBLISHED: 2014, SOURCE: ENERGY, VOLUME: 69, PAGES: 96-103
16674
TITLE: The 2nd Workshop on Planetary-Scale Distributed Systems (W-PSDS 2014)
AUTHORS: Joao Carlos Antunes Leitao; Ricardo Manuel Pereira Vilaça ;
PUBLISHED: 2014, SOURCE: SRDS Workshops, PAGES: 1
AUTHORS: Joao Carlos Antunes Leitao; Ricardo Manuel Pereira Vilaça ;
PUBLISHED: 2014, SOURCE: SRDS Workshops, PAGES: 1
16675
TITLE: The airport business in a competitive environment
AUTHORS: Edgar Jimenez ; Joao Claro ; Jorge Pinho de Sousa ;
PUBLISHED: 2014, SOURCE: 16th Meeting of the Euro-Working-Group-in-Transportation in TRANSPORTATION: CAN WE DO MORE WITH LESS RESOURCES? - 16TH MEETING OF THE EURO WORKING GROUP ON TRANSPORTATION - PORTO 2013, VOLUME: 111, PAGES: 947-954
AUTHORS: Edgar Jimenez ; Joao Claro ; Jorge Pinho de Sousa ;
PUBLISHED: 2014, SOURCE: 16th Meeting of the Euro-Working-Group-in-Transportation in TRANSPORTATION: CAN WE DO MORE WITH LESS RESOURCES? - 16TH MEETING OF THE EURO WORKING GROUP ON TRANSPORTATION - PORTO 2013, VOLUME: 111, PAGES: 947-954
16676
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) in 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) in IECON 2014 - 40TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, PAGES: 2631-2637
16677
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
Scopus16678
TITLE: The concept of "ba" applied to software knowledge Full Text
AUTHORS: Nuno Flores ; Ademar Aguiar ; Hugo Sereno Ferreira ;
PUBLISHED: 2014, SOURCE: CHASE, PAGES: 95-98
AUTHORS: Nuno Flores ; Ademar Aguiar ; Hugo Sereno Ferreira ;
PUBLISHED: 2014, SOURCE: CHASE, PAGES: 95-98
16679
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: iPRES
AUTHORS: João Rocha da Silva ; João Aguiar Castro; Cristina Ribeiro ; João Correia Lopes ;
PUBLISHED: 2014, SOURCE: iPRES
INDEXED IN: DBLP
DBLP16680
TITLE: The determinants of the internationalization speed of Portuguese university spin-offs: An empirical investigation Full Text
AUTHORS: Teixeira, AAC ; Coimbra, C;
PUBLISHED: 2014, SOURCE: Journal of International Entrepreneurship, VOLUME: 12, ISSUE: 3, PAGES: 270-308
AUTHORS: Teixeira, AAC ; Coimbra, C;
PUBLISHED: 2014, SOURCE: Journal of International Entrepreneurship, VOLUME: 12, ISSUE: 3, PAGES: 270-308
