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
15561
TITLE: A genetic algorithm for optimization of integrated scheduling of cranes, vehicles, and storage platforms at automated container terminals Full Text
AUTHORS: Seyed Mandi Homayouni ; Sai Hong Tang; Omid Motlagh;
PUBLISHED: 2014, SOURCE: 4th international conference on finite element methods in engineering and sciences (FEMTEC) in JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, VOLUME: 270, PAGES: 545-556
AUTHORS: Seyed Mandi Homayouni ; Sai Hong Tang; Omid Motlagh;
PUBLISHED: 2014, SOURCE: 4th international conference on finite element methods in engineering and sciences (FEMTEC) in JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, VOLUME: 270, PAGES: 545-556
15562
TITLE: A graph-based approach for interference free integration of commercial off-the-shelf elements in pervasive computing systems
AUTHORS: Christophe Soares ; Moreira, RS ; Morla, R ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2014, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 39, PAGES: 3-15
AUTHORS: Christophe Soares ; Moreira, RS ; Morla, R ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2014, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 39, PAGES: 3-15
15563
TITLE: A GRASP-based Approach for Demand Responsive Transportation
AUTHORS: Rui Gomes ; Jorge Pinho de Sousa; Teresa Galvão Dias ;
PUBLISHED: 2014, SOURCE: International Journal of Transportation, VOLUME: 2, ISSUE: 1, PAGES: 21-32
AUTHORS: Rui Gomes ; Jorge Pinho de Sousa; Teresa Galvão Dias ;
PUBLISHED: 2014, SOURCE: International Journal of Transportation, VOLUME: 2, ISSUE: 1, PAGES: 21-32
15564
TITLE: A GUI Modeling DSL for Pattern-Based GUI Testing <i>PARADIGM</i>
AUTHORS: Moreira, RMLM; Paiva, ACR ;
PUBLISHED: 2014, SOURCE: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), PAGES: 126-135
AUTHORS: Moreira, RMLM; Paiva, ACR ;
PUBLISHED: 2014, SOURCE: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), PAGES: 126-135
15565
TITLE: A Hilbert-Style Axiomatisation for Equational Hybrid Logic
AUTHORS: Barbosa, LS ; Martins, MA ; Carreteiro, M;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1, PAGES: 31-52
AUTHORS: Barbosa, LS ; Martins, MA ; Carreteiro, M;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1, PAGES: 31-52
15566
TITLE: A hybrid approach for integrated healthcare cooperative purchasing and supply chain configuration Full Text
AUTHORS: Nazare Rego ; Joao Claro ; Jorge Pinho de Sousa ;
PUBLISHED: 2014, SOURCE: HEALTH CARE MANAGEMENT SCIENCE, VOLUME: 17, ISSUE: 4, PAGES: 303-320
AUTHORS: Nazare Rego ; Joao Claro ; Jorge Pinho de Sousa ;
PUBLISHED: 2014, SOURCE: HEALTH CARE MANAGEMENT SCIENCE, VOLUME: 17, ISSUE: 4, PAGES: 303-320
15567
TITLE: A hybrid biased random key genetic algorithm approach for the unit commitment problem
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2014, SOURCE: JOURNAL OF COMBINATORIAL OPTIMIZATION, VOLUME: 28, ISSUE: 1, PAGES: 140-166
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2014, SOURCE: JOURNAL OF COMBINATORIAL OPTIMIZATION, VOLUME: 28, ISSUE: 1, PAGES: 140-166
15568
TITLE: A hybrid framework for supporting scheduling in extended manufacturing environments
AUTHORS: Santos, AS; Madureira, AM ; Varela, MLR ; Putnik, GD; Abraham, A;
PUBLISHED: 2014, SOURCE: 2014 14th International Conference on Hybrid Intelligent Systems, HIS 2014 in 2014 14th International Conference on Hybrid Intelligent Systems, HIS 2014, PAGES: 213-218
AUTHORS: Santos, AS; Madureira, AM ; Varela, MLR ; Putnik, GD; Abraham, A;
PUBLISHED: 2014, SOURCE: 2014 14th International Conference on Hybrid Intelligent Systems, HIS 2014 in 2014 14th International Conference on Hybrid Intelligent Systems, HIS 2014, PAGES: 213-218
15569
TITLE: A Hybrid Framework for Supporting Scheduling in Extended Manufacturing Environments
AUTHORS: Santos, AS; Madureira, AM ; Varela, MLR ; Putnik, GD; Abraham, A;
PUBLISHED: 2014, SOURCE: 14th International Conference Hybrid Intelligent Systems in 2014 14TH INTERNATIONAL CONFERENCE ON HYBRID INTELLIGENT SYSTEMS (HIS), PAGES: 213-218
AUTHORS: Santos, AS; Madureira, AM ; Varela, MLR ; Putnik, GD; Abraham, A;
PUBLISHED: 2014, SOURCE: 14th International Conference Hybrid Intelligent Systems in 2014 14TH INTERNATIONAL CONFERENCE ON HYBRID INTELLIGENT SYSTEMS (HIS), PAGES: 213-218
INDEXED IN: 
WOS 
DBLP
WOS DBLP15570
TITLE: A Hybrid Heuristic Based on Column Generation for Two- and Three- Stage Bin Packing Problems
AUTHORS: Alvelos, F ; Silva, E ; de Carvalho, JMV ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT II, VOLUME: 8580, ISSUE: PART 2, PAGES: 211-+
AUTHORS: Alvelos, F ; Silva, E ; de Carvalho, JMV ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT II, VOLUME: 8580, ISSUE: PART 2, PAGES: 211-+
15571
TITLE: A Hybrid MapReduce Model for Prolog
AUTHORS: Côrte Real, J ; Dutra, I ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 14 International Symposium on Integrated Circuits (ISIC) in 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), PAGES: 340-343
AUTHORS: Côrte Real, J ; Dutra, I ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 14 International Symposium on Integrated Circuits (ISIC) in 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), PAGES: 340-343
15572
TITLE: A hybrid meta-learning architecture for multi-objective optimization of SVM parameters
AUTHORS: Miranda, PBC; Prudêncio, RBC; de Carvalho, APLF; Soares, C ;
PUBLISHED: 2014, SOURCE: NEUROCOMPUTING, VOLUME: 143, PAGES: 27-43
AUTHORS: Miranda, PBC; Prudêncio, RBC; de Carvalho, APLF; Soares, C ;
PUBLISHED: 2014, SOURCE: NEUROCOMPUTING, VOLUME: 143, PAGES: 27-43
15573
TITLE: A hybrid simulated annealing approach to handle energy resource management considering an intensive use of electric vehicles Full Text
AUTHORS: Tiago Sousa; Zita Vale ; Joao Paulo Carvalho ; Tiago Pinto ; Hugo Morais;
PUBLISHED: 2014, SOURCE: ENERGY, VOLUME: 67, PAGES: 81-96
AUTHORS: Tiago Sousa; Zita Vale ; Joao Paulo Carvalho ; Tiago Pinto ; Hugo Morais;
PUBLISHED: 2014, SOURCE: ENERGY, VOLUME: 67, PAGES: 81-96
15574
TITLE: A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC; Pfenning, F ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 493-507
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC; Pfenning, F ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 493-507
15575
TITLE: A linearized approach to the Symmetric Fuzzy Power Flow for the application to real systems Full Text
AUTHORS: Miguel Heleno ; Jean Sumaili ; Jose Meirinhos ; Mauro A da Rosa;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 54, PAGES: 610-618
AUTHORS: Miguel Heleno ; Jean Sumaili ; Jose Meirinhos ; Mauro A da Rosa;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 54, PAGES: 610-618
15576
TITLE: A method for defining human-machine micro-task workflows for gathering legal information
AUTHORS: Luz, N; Silva, N ; Paulo Novais ;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8929, PAGES: 275-289
AUTHORS: Luz, N; Silva, N ; Paulo Novais ;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8929, PAGES: 275-289
15577
TITLE: A MILP-Based Approach for Hydrothermal Scheduling
AUTHORS: Rahman, DF ; Viana, A ; Pedroso, JP ;
PUBLISHED: 2014, SOURCE: International Annual Conference of the German-Operations-Research-Society (GOR) in OPERATIONS RESEARCH PROCEEDINGS 2012, PAGES: 157-162
AUTHORS: Rahman, DF ; Viana, A ; Pedroso, JP ;
PUBLISHED: 2014, SOURCE: International Annual Conference of the German-Operations-Research-Society (GOR) in OPERATIONS RESEARCH PROCEEDINGS 2012, PAGES: 157-162
15578
TITLE: A Mission Programming System for an Autonomous Sailboat
AUTHORS: Jose C Alves ; Nuno A Cruz ;
PUBLISHED: 2014, SOURCE: Oceans Conference in 2014 OCEANS - ST. JOHN'S
AUTHORS: Jose C Alves ; Nuno A Cruz ;
PUBLISHED: 2014, SOURCE: Oceans Conference in 2014 OCEANS - ST. JOHN'S
15579
TITLE: A model for analyzing estimation, productivity, and quality performance in the personal software process
AUTHORS: Mushtaq Raza ; João Pascoal Faria ;
PUBLISHED: 2014, SOURCE: ICSSP, PAGES: 10-19
AUTHORS: Mushtaq Raza ; João Pascoal Faria ;
PUBLISHED: 2014, SOURCE: ICSSP, PAGES: 10-19
15580
TITLE: A Modular Architecture for Deploying Self-adaptive Traffic Sampling
AUTHORS: Joao Marco C Silva ; Paulo Carvalho ; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security (AIMS) in MONITORING AND SECURING VIRTUALIZED NETWORKS AND SERVICES, VOLUME: 8508, PAGES: 179-183
AUTHORS: Joao Marco C Silva ; Paulo Carvalho ; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security (AIMS) in MONITORING AND SECURING VIRTUALIZED NETWORKS AND SERVICES, VOLUME: 8508, PAGES: 179-183
