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: 24992
1716 Team MembersFilters -> Year: 2026
16781
TITLE: Alloy Meets the Algebra of Programming: A Case Study
AUTHORS: Oliveira, JN ; Ferreira, MA;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 39, ISSUE: 3, PAGES: 305-326
AUTHORS: Oliveira, JN ; Ferreira, MA;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 39, ISSUE: 3, PAGES: 305-326
16782
TITLE: Ambiente de geração, mutação e execução de casos de teste para aplicações Web
AUTHORS: Paulo J Cruz; Campos, J. Creissac ;
PUBLISHED: 2013
AUTHORS: Paulo J Cruz; Campos, J. Creissac ;
PUBLISHED: 2013
INDEXED IN: 
Handle
Handle16783
TITLE: An Adaptive Duty-Cycle Methodology for PV Power Maximization Using a Single Variable
AUTHORS: Andre A Vidal; Vitor Grade Tavares ; Jose C Principe;
PUBLISHED: 2013, SOURCE: IEEE EUROCON Conference in 2013 IEEE EUROCON, PAGES: 795-802
AUTHORS: Andre A Vidal; Vitor Grade Tavares ; Jose C Principe;
PUBLISHED: 2013, SOURCE: IEEE EUROCON Conference in 2013 IEEE EUROCON, PAGES: 795-802
16784
TITLE: An agent-based architecture for online dispute resolution services
AUTHORS: Davide Carneiro ;
PUBLISHED: 2013
AUTHORS: Davide Carneiro ;
PUBLISHED: 2013
INDEXED IN: 
DBLP Handle
DBLP Handle16785
TITLE: An agent-based electronic market simulator enhanced with ontology matching services and emergent social networks
AUTHORS: Nascimento, V; Viamonte, MJ ; Canito, A; Silva, N ;
PUBLISHED: 2013, SOURCE: 25th European Modeling and Simulation Symposium, EMSS 2013 in 25th European Modeling and Simulation Symposium, EMSS 2013, PAGES: 134-141
AUTHORS: Nascimento, V; Viamonte, MJ ; Canito, A; Silva, N ;
PUBLISHED: 2013, SOURCE: 25th European Modeling and Simulation Symposium, EMSS 2013 in 25th European Modeling and Simulation Symposium, EMSS 2013, PAGES: 134-141
INDEXED IN: 
Scopus
Scopus16786
TITLE: An Agent-based Framework for Intelligent Optimization of Interactive Visualizations
AUTHORS: Pedro Miguel Moreira ; Luís Paulo Reis ; António Augusto de Sousa ;
PUBLISHED: 2013, SOURCE: ICAART (1), VOLUME: 1, PAGES: 154-159
AUTHORS: Pedro Miguel Moreira ; Luís Paulo Reis ; António Augusto de Sousa ;
PUBLISHED: 2013, SOURCE: ICAART (1), VOLUME: 1, PAGES: 154-159
INDEXED IN: Scopus DBLP
Scopus DBLP16787
TITLE: An Agent-Based Security Framework for Cooperative Business Networks
AUTHORS: Carlos R Cunha ; Joao Pedro Gomes; Elisabete Paulo Morais;
PUBLISHED: 2013, SOURCE: 20th International-Business-Information-Management-Assoc Conf on Entrepreneurship Vision 2020: Innovatio, Development Sustainability, and Economic Growth in ENTREPRENEURSHIP VISION 2020: INNOVATION, DEVELOPMENT SUSTAINABILITY, AND ECONOMIC GROWTH, VOLS 1 AND 2, VOLUME: 1, PAGES: 902-907
AUTHORS: Carlos R Cunha ; Joao Pedro Gomes; Elisabete Paulo Morais;
PUBLISHED: 2013, SOURCE: 20th International-Business-Information-Management-Assoc Conf on Entrepreneurship Vision 2020: Innovatio, Development Sustainability, and Economic Growth in ENTREPRENEURSHIP VISION 2020: INNOVATION, DEVELOPMENT SUSTAINABILITY, AND ECONOMIC GROWTH, VOLS 1 AND 2, VOLUME: 1, PAGES: 902-907
INDEXED IN: Scopus 
WOS
Scopus WOS16788
TITLE: An approach for integrated design of flexible production systems
AUTHORS: Alexandra F Marques ; Antonio C Alves; Jorge P Sousa ;
PUBLISHED: 2013, SOURCE: 46th CIRP Conference on Manufacturing Systems (CIRP CMS) in FORTY SIXTH CIRP CONFERENCE ON MANUFACTURING SYSTEMS 2013, VOLUME: 7, PAGES: 586-591
AUTHORS: Alexandra F Marques ; Antonio C Alves; Jorge P Sousa ;
PUBLISHED: 2013, SOURCE: 46th CIRP Conference on Manufacturing Systems (CIRP CMS) in FORTY SIXTH CIRP CONFERENCE ON MANUFACTURING SYSTEMS 2013, VOLUME: 7, PAGES: 586-591
16789
TITLE: An Approach for Populating and Enriching Ontology-based Repositories Full Text
AUTHORS: Alda Canito; Paulo Maio ; Nuno Silva ;
PUBLISHED: 2013, SOURCE: 24th International Workshop on Database and Expert Systems Applications (DEXA) in 2013 24TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA 2013), PAGES: 123-127
AUTHORS: Alda Canito; Paulo Maio ; Nuno Silva ;
PUBLISHED: 2013, SOURCE: 24th International Workshop on Database and Expert Systems Applications (DEXA) in 2013 24TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA 2013), PAGES: 123-127
16790
TITLE: An Aspect-Oriented Approach for Designing Safety-Critical Systems
AUTHORS: Zlatko Petrov; Pavel G Zaykov; Joao M P Cardoso ; Jose G F Coutinho; Pedro C Diniz ; Wayne Luk;
PUBLISHED: 2013, SOURCE: IEEE Aerospace Conference in 2013 IEEE AEROSPACE CONFERENCE
AUTHORS: Zlatko Petrov; Pavel G Zaykov; Joao M P Cardoso ; Jose G F Coutinho; Pedro C Diniz ; Wayne Luk;
PUBLISHED: 2013, SOURCE: IEEE Aerospace Conference in 2013 IEEE AEROSPACE CONFERENCE
16792
TITLE: An automatic clinical document importance estimator for an existing electronic patient record - architecture and implementation
AUTHORS: Santos, B; Rodrigues, P ; Cruz Correia, R ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 537-539
AUTHORS: Santos, B; Rodrigues, P ; Cruz Correia, R ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 537-539
16793
TITLE: An Automatic Method for the Estimation of Arteriolar-to-Venular Ratio in Retinal Images
AUTHORS: Dashtbozorg, B; Mendonça, AM ; Campilho, A ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 512-513
AUTHORS: Dashtbozorg, B; Mendonça, AM ; Campilho, A ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 512-513
16794
TITLE: An automatic tool flow for the combined implementation of multi-mode circuits
AUTHORS: Brahim Al Farisi; Karel Bruneel; João M P Cardoso ; Dirk Stroobandt;
PUBLISHED: 2013, SOURCE: DATE, PAGES: 821-826
AUTHORS: Brahim Al Farisi; Karel Bruneel; João M P Cardoso ; Dirk Stroobandt;
PUBLISHED: 2013, SOURCE: DATE, PAGES: 821-826
16795
TITLE: An automatic tool to Extract, Transform and Load data from real electricity markets
AUTHORS: Ivo F Pereira; Isabel Praça; Tiago Pinto ; Tiago Sousa; Ana Freitas; Zita Vale;
PUBLISHED: 2013, SOURCE: First ELECON Workshop – Towards Efficient European and Brazilian Electricity Markets
AUTHORS: Ivo F Pereira; Isabel Praça; Tiago Pinto ; Tiago Sousa; Ana Freitas; Zita Vale;
PUBLISHED: 2013, SOURCE: First ELECON Workshop – Towards Efficient European and Brazilian Electricity Markets
INDEXED IN: Handle
Handle16796
TITLE: An Effective Scalable SQL Engine for NoSQL Databases
AUTHORS: Ricardo Vilaça ; Francisco Cruz ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2013, SOURCE: DAIS, VOLUME: 7891 LNCS, PAGES: 155-168
AUTHORS: Ricardo Vilaça ; Francisco Cruz ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2013, SOURCE: DAIS, VOLUME: 7891 LNCS, PAGES: 155-168
16797
TITLE: An Empirical Study on Immersive Prototyping Dimensions
AUTHORS: Samuel Moreira; Rui José ; José Creissac Campos ;
PUBLISHED: 2013, SOURCE: HCI (1), VOLUME: 8004 LNCS, ISSUE: PART 1, PAGES: 421-430
AUTHORS: Samuel Moreira; Rui José ; José Creissac Campos ;
PUBLISHED: 2013, SOURCE: HCI (1), VOLUME: 8004 LNCS, ISSUE: PART 1, PAGES: 421-430
16798
TITLE: An evaluation of heuristics for scheduling a non-delay permutation flow shop with family setups to minimize total earliness and tardiness
AUTHORS: Schaller, J; Valente, JMS ;
PUBLISHED: 2013, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 64, ISSUE: 6, PAGES: 805-816
AUTHORS: Schaller, J; Valente, JMS ;
PUBLISHED: 2013, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 64, ISSUE: 6, PAGES: 805-816
16799
TITLE: An Example-Based Generator of XSLT Programs
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 1-20
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 1-20
16800
TITLE: An FPGA-based multi-core approach for pipelining computing stages
AUTHORS: Ali Azarian ; João M P Cardoso ; Stephan Werner; Jürgen Becker;
PUBLISHED: 2013, SOURCE: SAC, PAGES: 1533-1540
AUTHORS: Ali Azarian ; João M P Cardoso ; Stephan Werner; Jürgen Becker;
PUBLISHED: 2013, SOURCE: SAC, PAGES: 1533-1540
