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
12541
TITLE: An approach to model checking Ada programs
AUTHORS: Faria, JM; Martins, J; Pinto, JS ;
PUBLISHED: 2012, SOURCE: 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7308 LNCS, PAGES: 105-118
AUTHORS: Faria, JM; Martins, J; Pinto, JS ;
PUBLISHED: 2012, SOURCE: 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7308 LNCS, PAGES: 105-118
12542
TITLE: An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs Full Text
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: IEEE 18th International Conference on Parallel and Distributed Systems (ICPADS) in PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012), PAGES: 636-643
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: IEEE 18th International Conference on Parallel and Distributed Systems (ICPADS) in PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012), PAGES: 636-643
12543
TITLE: An enterprise architecture approach for designing an integrated wood supply management system
AUTHORS: Marques, AF ; Borges, JG; Sousa, PM; Fonseca, M; Goncalves, J; Oliveira, J;
PUBLISHED: 2012, SOURCE: Organizational Integration of Enterprise Systems and Resources: Advancements and Applications, PAGES: 1-21
AUTHORS: Marques, AF ; Borges, JG; Sousa, PM; Fonseca, M; Goncalves, J; Oliveira, J;
PUBLISHED: 2012, SOURCE: Organizational Integration of Enterprise Systems and Resources: Advancements and Applications, PAGES: 1-21
12544
TITLE: An Evolutionary Approach to Generate Solutions for Conflict Scenarios
AUTHORS: Carneiro, D ; Cesar Analide ; Paulo Novais ; Neves, J ;
PUBLISHED: 2012, SOURCE: 7th International Conference on Hybrid Artificial Intelligent Systems (HAIS) in HYBRID ARTIFICIAL INTELLIGENT SYSTEMS, PT I, VOLUME: 7208, ISSUE: PART 1, PAGES: 440-451
AUTHORS: Carneiro, D ; Cesar Analide ; Paulo Novais ; Neves, J ;
PUBLISHED: 2012, SOURCE: 7th International Conference on Hybrid Artificial Intelligent Systems (HAIS) in HYBRID ARTIFICIAL INTELLIGENT SYSTEMS, PT I, VOLUME: 7208, ISSUE: PART 1, PAGES: 440-451
12545
TITLE: An evolutionary model of industry dynamics and firms' institutional behavior with job search, bargaining and matching Full Text
AUTHORS: Sandra Tavares Silva ; Jorge M S Valente ; Aurora A C Teixeira ;
PUBLISHED: 2012, SOURCE: JOURNAL OF ECONOMIC INTERACTION AND COORDINATION, VOLUME: 7, ISSUE: 1, PAGES: 23-61
AUTHORS: Sandra Tavares Silva ; Jorge M S Valente ; Aurora A C Teixeira ;
PUBLISHED: 2012, SOURCE: JOURNAL OF ECONOMIC INTERACTION AND COORDINATION, VOLUME: 7, ISSUE: 1, PAGES: 23-61
12546
TITLE: An Information Infrastructure to Support the Prescription Process of Specific Customer-oriented Products
AUTHORS: Pedro Meneses; Americo Azevedo ; Joao Bastos ;
PUBLISHED: 2012, SOURCE: 4th Conference on ENTERprise Information Systems (CENTERIS) - Aligning Technology, Organizations and People / International Conference on Health and Social Care Information Systems and Technologies (HCIST) in 4TH CONFERENCE OF ENTERPRISE INFORMATION SYSTEMS - ALIGNING TECHNOLOGY, ORGANIZATIONS AND PEOPLE (CENTERIS 2012), VOLUME: 5, PAGES: 607-615
AUTHORS: Pedro Meneses; Americo Azevedo ; Joao Bastos ;
PUBLISHED: 2012, SOURCE: 4th Conference on ENTERprise Information Systems (CENTERIS) - Aligning Technology, Organizations and People / International Conference on Health and Social Care Information Systems and Technologies (HCIST) in 4TH CONFERENCE OF ENTERPRISE INFORMATION SYSTEMS - ALIGNING TECHNOLOGY, ORGANIZATIONS AND PEOPLE (CENTERIS 2012), VOLUME: 5, PAGES: 607-615
12547
TITLE: An integer programming model for a forest harvest problem in Pinus pinaster stands Full Text
AUTHORS: Fonseca, TF ; Cerveira, A ; Mota, A;
PUBLISHED: 2012, SOURCE: FOREST SYSTEMS, VOLUME: 21, ISSUE: 2, PAGES: 272-283
AUTHORS: Fonseca, TF ; Cerveira, A ; Mota, A;
PUBLISHED: 2012, SOURCE: FOREST SYSTEMS, VOLUME: 21, ISSUE: 2, PAGES: 272-283
12548
TITLE: An integrated approach to develop professional and technical skills for informatics engineering students Full Text
AUTHORS: Fernandes, JM ; van Hattum Janssen, N; Ribeiro, AN ; Fonte, V ; Santos, LP ; Sousa, P ;
PUBLISHED: 2012, SOURCE: European Journal of Engineering Education, VOLUME: 37, ISSUE: 2, PAGES: 167-177
AUTHORS: Fernandes, JM ; van Hattum Janssen, N; Ribeiro, AN ; Fonte, V ; Santos, LP ; Sousa, P ;
PUBLISHED: 2012, SOURCE: European Journal of Engineering Education, VOLUME: 37, ISSUE: 2, PAGES: 167-177
12549
TITLE: An integrated encyclopedia of DNA elements in the human genome Full Text
AUTHORS: Ian Dunham; Anshul Kundaje; Shelley F Aldred; Patrick J Collins; CarrieA. Davis; Francis Doyle; Charles B Epstein; Seth Frietze; Jennifer Harrow; Rajinder Kaul; Jainab Khatun; Bryan R Lajoie; Stephen G Landt; Bum Kyu Lee; Florencia Pauli; Kate R Rosenbloom; Peter Sabo; Alexias Safi; Amartya Sanyal; Noam Shoresh; ...More
PUBLISHED: 2012, SOURCE: NATURE, VOLUME: 489, ISSUE: 7414, PAGES: 57-74
AUTHORS: Ian Dunham; Anshul Kundaje; Shelley F Aldred; Patrick J Collins; CarrieA. Davis; Francis Doyle; Charles B Epstein; Seth Frietze; Jennifer Harrow; Rajinder Kaul; Jainab Khatun; Bryan R Lajoie; Stephen G Landt; Bum Kyu Lee; Florencia Pauli; Kate R Rosenbloom; Peter Sabo; Alexias Safi; Amartya Sanyal; Noam Shoresh; ...More
PUBLISHED: 2012, SOURCE: NATURE, VOLUME: 489, ISSUE: 7414, PAGES: 57-74
12550
TITLE: An integrative approach to diagram-based collaborative brainstorming: A case study
AUTHORS: Azevedo, D; Fonseca, B ; Lukosch, S; Paredes, H ; Janeiro, J; Briggs, RO;
PUBLISHED: 2012, SOURCE: 1st International Workshop on Interaction Design in Educational Environments, IDEE 2012, in Conjunction with ICEIS 2012 in Proceedings of the 1st International Workshop on Interaction Design in Educational Environments, IDEE 2012, in Conjunction with ICEIS 2012, PAGES: 110-121
AUTHORS: Azevedo, D; Fonseca, B ; Lukosch, S; Paredes, H ; Janeiro, J; Briggs, RO;
PUBLISHED: 2012, SOURCE: 1st International Workshop on Interaction Design in Educational Environments, IDEE 2012, in Conjunction with ICEIS 2012 in Proceedings of the 1st International Workshop on Interaction Design in Educational Environments, IDEE 2012, in Conjunction with ICEIS 2012, PAGES: 110-121
INDEXED IN: 
Scopus
Scopus12551
TITLE: An ns-3 architecture for simulating joint radio resource management strategies in interconnected WLAN and UMTS networks Full Text
AUTHORS: Hermes Del Monego; Gustavo Carneiro; Jose Manuel Oliveira ; Manuel Ricardo ;
PUBLISHED: 2012, SOURCE: TRANSACTIONS ON EMERGING TELECOMMUNICATIONS TECHNOLOGIES, VOLUME: 23, ISSUE: 6, PAGES: 537-549
AUTHORS: Hermes Del Monego; Gustavo Carneiro; Jose Manuel Oliveira ; Manuel Ricardo ;
PUBLISHED: 2012, SOURCE: TRANSACTIONS ON EMERGING TELECOMMUNICATIONS TECHNOLOGIES, VOLUME: 23, ISSUE: 6, PAGES: 537-549
12552
TITLE: An Online Recommendation System for the Taxi Stand choice Problem
AUTHORS: Luis Moreira Matias ; Ricardo Fernandes; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas ;
PUBLISHED: 2012, SOURCE: IEEE Vehicular Networking Conference (VNC) in 2012 IEEE VEHICULAR NETWORKING CONFERENCE (VNC), PAGES: 173-180
AUTHORS: Luis Moreira Matias ; Ricardo Fernandes; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas ;
PUBLISHED: 2012, SOURCE: IEEE Vehicular Networking Conference (VNC) in 2012 IEEE VEHICULAR NETWORKING CONFERENCE (VNC), PAGES: 173-180
12553
TITLE: An Optimal Control Approach to the Unit Commitment Problem
AUTHORS: Fontes, FACC ; Fontes, DBMM ; Roque, LA ;
PUBLISHED: 2012, SOURCE: 51st IEEE Annual Conference on Decision and Control (CDC) in 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), PAGES: 7069-7074
AUTHORS: Fontes, FACC ; Fontes, DBMM ; Roque, LA ;
PUBLISHED: 2012, SOURCE: 51st IEEE Annual Conference on Decision and Control (CDC) in 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), PAGES: 7069-7074
12554
TITLE: An optimized conflict-free replicated set PDF
AUTHORS: Annette Bieniusa; Marek Zawirski; Nuno M. Preguiça; Marc Shapiro; Carlos Baquero ; Valter Balegas; Sérgio Duarte;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1210.3368
AUTHORS: Annette Bieniusa; Marek Zawirski; Nuno M. Preguiça; Marc Shapiro; Carlos Baquero ; Valter Balegas; Sérgio Duarte;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1210.3368
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv12555
TITLE: An overview of social network analysis Full Text
AUTHORS: Marcia Oliveira ; Joao Gama ;
PUBLISHED: 2012, SOURCE: WILEY INTERDISCIPLINARY REVIEWS-DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 2, ISSUE: 2, PAGES: 99-115
AUTHORS: Marcia Oliveira ; Joao Gama ;
PUBLISHED: 2012, SOURCE: WILEY INTERDISCIPLINARY REVIEWS-DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 2, ISSUE: 2, PAGES: 99-115
12556
TITLE: An Urban Ontology to Generate Collaborative Virtual Environments for Municipal Planning and Management
AUTHORS: Tiago Martins; Pedro Brandão Silva; António Coelho ; Augusto A de Sousa ;
PUBLISHED: 2012, SOURCE: International Conference on Computer Graphics Theory and Applications, GRAPP 2012 and International Conference on Information Visualization Theory and Applications, IVAPP 2012 in GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, Rome, Italy, 24-26 February, 2012, PAGES: 507-510
AUTHORS: Tiago Martins; Pedro Brandão Silva; António Coelho ; Augusto A de Sousa ;
PUBLISHED: 2012, SOURCE: International Conference on Computer Graphics Theory and Applications, GRAPP 2012 and International Conference on Information Visualization Theory and Applications, IVAPP 2012 in GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, Rome, Italy, 24-26 February, 2012, PAGES: 507-510
INDEXED IN: Scopus DBLP
Scopus DBLP12557
TITLE: Análise exploratória de hierarquias em base de dados multidimensionais
AUTHORS: Nuno Ferreira; João Gama ;
PUBLISHED: 2012, SOURCE: Revista de Ciências da Computação
AUTHORS: Nuno Ferreira; João Gama ;
PUBLISHED: 2012, SOURCE: Revista de Ciências da Computação
INDEXED IN: 
Handle
Handle12558
TITLE: Analysing Tactics in Architectural Patterns
AUTHORS: Sanchez, A ; Aguiar, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012), PAGES: 32-41
AUTHORS: Sanchez, A ; Aguiar, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012), PAGES: 32-41
12559
TITLE: Analysis of Electricity Markets Using Multidimensional Scaling
AUTHORS: Filipe Azevedo ; Tenreiro T Machado;
PUBLISHED: 2012, SOURCE: 9th International Conference on the European Energy Market (EEM) in 2012 9TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET (EEM)
AUTHORS: Filipe Azevedo ; Tenreiro T Machado;
PUBLISHED: 2012, SOURCE: 9th International Conference on the European Energy Market (EEM) in 2012 9TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET (EEM)
12560
TITLE: Analysis of error detection schemes: Toolchain support and hardware/software implications
AUTHORS: Ali Azarian ; João Canas Ferreira ; Stephan Werner; Zlatko Petrov; João M P Cardoso ; Michael Hübner;
PUBLISHED: 2012, SOURCE: 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012 in 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012, Erlangen, Germany, June 25-28, 2012, PAGES: 62-69
AUTHORS: Ali Azarian ; João Canas Ferreira ; Stephan Werner; Zlatko Petrov; João M P Cardoso ; Michael Hübner;
PUBLISHED: 2012, SOURCE: 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012 in 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012, Erlangen, Germany, June 25-28, 2012, PAGES: 62-69
