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: 18407
1699 Team MembersFilters -> Year: 2024
11441
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
11442
TITLE: The role of servicescape as a driver of customer value in experience-centric service organizations: the Dragon Football Stadium case Full Text
AUTHORS: Fernandes, T. ; Neves, S ;
PUBLISHED: 2014, SOURCE: Journal of Strategic Marketing, VOLUME: 22, ISSUE: 6, PAGES: 548-560
AUTHORS: Fernandes, T. ; Neves, S ;
PUBLISHED: 2014, SOURCE: Journal of Strategic Marketing, VOLUME: 22, ISSUE: 6, PAGES: 548-560
11443
TITLE: The unimodal model for the classification of ordinal data (vol 21, pg 78, 2008) Full Text
AUTHORS: da Costa, JP ; Alonso, H; Cardoso, JS ;
PUBLISHED: 2014, SOURCE: NEURAL NETWORKS, VOLUME: 59, ISSUE: 1, PAGES: 73-75
AUTHORS: da Costa, JP ; Alonso, H; Cardoso, JS ;
PUBLISHED: 2014, SOURCE: NEURAL NETWORKS, VOLUME: 59, ISSUE: 1, PAGES: 73-75
11444
TITLE: The yeast model system as a tool towards the understanding of apoptosis regulation by sphingolipids Full Text
AUTHORS: Rego, A; Trindade, D; Chaves, SR; Manon, S; Costa, V ; Sousa, MJ; Corte Real, M;
PUBLISHED: 2014, SOURCE: FEMS YEAST RESEARCH, VOLUME: 14, ISSUE: 1, PAGES: 160-178
AUTHORS: Rego, A; Trindade, D; Chaves, SR; Manon, S; Costa, V ; Sousa, MJ; Corte Real, M;
PUBLISHED: 2014, SOURCE: FEMS YEAST RESEARCH, VOLUME: 14, ISSUE: 1, PAGES: 160-178
11445
TITLE: Theoretical interruption model for reliability assessment of power supply systems Full Text
AUTHORS: Irinel Sorin Ilie; Ignacio Hernando Gil ; Sasa Z Djokic;
PUBLISHED: 2014, SOURCE: IET Generation, Transmission and Distribution, VOLUME: 8, ISSUE: 4, PAGES: 670-681
AUTHORS: Irinel Sorin Ilie; Ignacio Hernando Gil ; Sasa Z Djokic;
PUBLISHED: 2014, SOURCE: IET Generation, Transmission and Distribution, VOLUME: 8, ISSUE: 4, PAGES: 670-681
11446
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
11447
TITLE: Towards a dependable cardiovascular surveillance system
AUTHORS: Oliveira, CC; da Silva, JM ;
PUBLISHED: 2014, SOURCE: International Conference on Health Informatics, ICHI 2013 in IFMBE Proceedings, VOLUME: 42, PAGES: 118-121
AUTHORS: Oliveira, CC; da Silva, JM ;
PUBLISHED: 2014, SOURCE: International Conference on Health Informatics, ICHI 2013 in IFMBE Proceedings, VOLUME: 42, PAGES: 118-121
11448
TITLE: Towards a Framework for Adaptive Web Applications
AUTHORS: Sampaio, AI; Campos, JC ;
PUBLISHED: 2014, SOURCE: Communications in Computer and Information Science, VOLUME: 434 PART I, PAGES: 240-245
AUTHORS: Sampaio, AI; Campos, JC ;
PUBLISHED: 2014, SOURCE: Communications in Computer and Information Science, VOLUME: 434 PART I, PAGES: 240-245
11449
TITLE: Towards a framework for multidirectional model transformations PDF
AUTHORS: Macedo, N ; Cunha, A ; Pacheco, H ;
PUBLISHED: 2014, SOURCE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in CEUR Workshop Proceedings, VOLUME: 1133, PAGES: 71-74
AUTHORS: Macedo, N ; Cunha, A ; Pacheco, H ;
PUBLISHED: 2014, SOURCE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in CEUR Workshop Proceedings, VOLUME: 1133, PAGES: 71-74
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP11450
TITLE: Towards a new technological solution for Community Energy Storage
AUTHORS: Diogo Varajao ; Luis M Miranda ; Rui E Araujo ;
PUBLISHED: 2014, SOURCE: 16th European Conference on Power Electronics and Applications (EPE-ECCE Europe) in 2014 16TH EUROPEAN CONFERENCE ON POWER ELECTRONICS AND APPLICATIONS (EPE'14-ECCE EUROPE)
AUTHORS: Diogo Varajao ; Luis M Miranda ; Rui E Araujo ;
PUBLISHED: 2014, SOURCE: 16th European Conference on Power Electronics and Applications (EPE-ECCE Europe) in 2014 16TH EUROPEAN CONFERENCE ON POWER ELECTRONICS AND APPLICATIONS (EPE'14-ECCE EUROPE)
11451
TITLE: Towards a pattern language for model-based GUI testing
AUTHORS: Moreira, RMLM; Paiva, ACR ;
PUBLISHED: 2014, SOURCE: 19th European Conference on Pattern Languages of Programs, EuroPLoP 2014 in ACM International Conference Proceeding Series, VOLUME: 09-13-July-2014, PAGES: 26:1-26:8
AUTHORS: Moreira, RMLM; Paiva, ACR ;
PUBLISHED: 2014, SOURCE: 19th European Conference on Pattern Languages of Programs, EuroPLoP 2014 in ACM International Conference Proceeding Series, VOLUME: 09-13-July-2014, PAGES: 26:1-26:8
11452
TITLE: Towards a Runtime Verification Framework for the Ada Programming Language
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454, PAGES: 58-73
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454, PAGES: 58-73
11453
TITLE: Towards a Unified European Electricity Market: The Contribution of Data-mining to Support Realistic Simulation Studies
AUTHORS: Pinto, T ; Santos, G; Pereira, IF; Fernandes, R; Sousa, TM; Praca, I; Vale, Z; Morais, H;
PUBLISHED: 2014, SOURCE: IEEE PES General Meeting in 2014 IEEE PES GENERAL MEETING - CONFERENCE & EXPOSITION, VOLUME: 2014-October, ISSUE: October
AUTHORS: Pinto, T ; Santos, G; Pereira, IF; Fernandes, R; Sousa, TM; Praca, I; Vale, Z; Morais, H;
PUBLISHED: 2014, SOURCE: IEEE PES General Meeting in 2014 IEEE PES GENERAL MEETING - CONFERENCE & EXPOSITION, VOLUME: 2014-October, ISSUE: October
11454
TITLE: Towards using Probabilities and Logic to Model Regulatory Networks
AUTHORS: Antonio Goncalves ; Irene Ong; Jeffrey A Lewis; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 27th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 239-242
AUTHORS: Antonio Goncalves ; Irene Ong; Jeffrey A Lewis; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 27th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 239-242
11455
TITLE: Trace-Based Reconfigurable Acceleration with Data Cache and External Memory Support
AUTHORS: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) in 2014 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA), PAGES: 158-165
AUTHORS: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) in 2014 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA), PAGES: 158-165
11456
TITLE: Tracking of an underwater visual target with an autonomous surface vehicle
AUTHORS: Andre B Figueiredo ; Bruno M Ferreira ; Anibal C Matos ;
PUBLISHED: 2014, SOURCE: Oceans Conference in 2014 OCEANS - ST. JOHN'S
AUTHORS: Andre B Figueiredo ; Bruno M Ferreira ; Anibal C Matos ;
PUBLISHED: 2014, SOURCE: Oceans Conference in 2014 OCEANS - ST. JOHN'S
11457
TITLE: Traffic Management in Rural Networks
AUTHORS: Rodrigo Emiliano; Fernando Silva; Luis Frazao; Joao Barroso ; Antonio Pereira;
PUBLISHED: 2014, SOURCE: 3rd International Conference on Design, User Experience, and Usability (DUXU) in DESIGN, USER EXPERIENCE, AND USABILITY: USER EXPERIENCE DESIGN FOR EVERYDAY LIFE APPLICATIONS AND SERVICES, PT III, VOLUME: 8519, ISSUE: PART 3, PAGES: 452-461
AUTHORS: Rodrigo Emiliano; Fernando Silva; Luis Frazao; Joao Barroso ; Antonio Pereira;
PUBLISHED: 2014, SOURCE: 3rd International Conference on Design, User Experience, and Usability (DUXU) in DESIGN, USER EXPERIENCE, AND USABILITY: USER EXPERIENCE DESIGN FOR EVERYDAY LIFE APPLICATIONS AND SERVICES, PT III, VOLUME: 8519, ISSUE: PART 3, PAGES: 452-461
11458
TITLE: Traffic Sign Recognition for Autonomous Driving Robot
AUTHORS: Tiago Moura; Antonio Valente ; Antonio Sousa ; Vitor Filipe ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2014 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 303-308
AUTHORS: Tiago Moura; Antonio Valente ; Antonio Sousa ; Vitor Filipe ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2014 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 303-308
11459
TITLE: Training and Support system in the Cloud for improving the situational awareness in Search and Rescue (SAR) operations
AUTHORS: Michal Pelka; Karol Majek; Janusz Bedkowski; Pawel Musialik; Andrzej Maslowski; Geert De Cubber; Haris Balta; António Coelho ; Ricardo Gonçalves; Ricardo Baptista ; Jose M Sanchez; Shashank Govindaraj;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Safety, Security and Rescue Robotics, SSRR 2014 in 2014 IEEE International Symposium on Safety, Security, and Rescue Robotics, SSRR 2014, Toyako-cho, Hokkaido, Japan, October 27-30, 2014, PAGES: 1-6
AUTHORS: Michal Pelka; Karol Majek; Janusz Bedkowski; Pawel Musialik; Andrzej Maslowski; Geert De Cubber; Haris Balta; António Coelho ; Ricardo Gonçalves; Ricardo Baptista ; Jose M Sanchez; Shashank Govindaraj;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Safety, Security and Rescue Robotics, SSRR 2014 in 2014 IEEE International Symposium on Safety, Security, and Rescue Robotics, SSRR 2014, Toyako-cho, Hokkaido, Japan, October 27-30, 2014, PAGES: 1-6
11460
TITLE: Transcriptome characterization by RNA sequencing identifies a major molecular and clinical subdivision in chronic lymphocytic leukemia
AUTHORS: Ferreira, PG ; Jares, P; Rico, D; Gómez López, G; Martínez Trillos, A; Villamor, N; Ecker, S; González Pérez, A; Knowles, DG; Monlong, J; Johnson, R; Quesada, V; Djebali, S; Papasaikas, P; López Guerra, M; Colomer, D; Royo, C; Cazorla, M; Pinyol, M; Clot, G; ...More
PUBLISHED: 2014, SOURCE: Genome Research, VOLUME: 24, ISSUE: 2, PAGES: 212-226
AUTHORS: Ferreira, PG ; Jares, P; Rico, D; Gómez López, G; Martínez Trillos, A; Villamor, N; Ecker, S; González Pérez, A; Knowles, DG; Monlong, J; Johnson, R; Quesada, V; Djebali, S; Papasaikas, P; López Guerra, M; Colomer, D; Royo, C; Cazorla, M; Pinyol, M; Clot, G; ...More
PUBLISHED: 2014, SOURCE: Genome Research, VOLUME: 24, ISSUE: 2, PAGES: 212-226
