Faculdade de Ciências e Tecnologia (FCTUNL)
AuthID: I-000-01J
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: 12208
445 Team MembersFilters -> Year: 2026
2641
TITLE: Variability and Complexity in Software Design: Towards Quality through Modeling and Testing. Towards Quality through Modeling and Testing
AUTHORS: Matthias Galster; Danny Weyns; Michael Goedicke; Uwe Zdun; Jácome Cunha ; Jaime Chavarriaga;
PUBLISHED: 2017, SOURCE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 42, ISSUE: 4, PAGES: 35-37
AUTHORS: Matthias Galster; Danny Weyns; Michael Goedicke; Uwe Zdun; Jácome Cunha ; Jaime Chavarriaga;
PUBLISHED: 2017, SOURCE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 42, ISSUE: 4, PAGES: 35-37
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef2642
TITLE: Verifying Concurrent Programs Using Contracts
AUTHORS: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; João M Lourenço ; Ales Smrcka; Diogo G Sousa; Tomás Vojnar;
PUBLISHED: 2017, SOURCE: ICST, PAGES: 196-206
AUTHORS: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; João M Lourenço ; Ales Smrcka; Diogo G Sousa; Tomás Vojnar;
PUBLISHED: 2017, SOURCE: ICST, PAGES: 196-206
2643
TITLE: Von Dedekind zu Zermelo versus Peano zu Gödel
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2017, SOURCE: Mathematische Semesterberichte, VOLUME: 64, ISSUE: 2, PAGES: 159-167
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2017, SOURCE: Mathematische Semesterberichte, VOLUME: 64, ISSUE: 2, PAGES: 159-167
2644
TITLE: WELL-POSEDNESS AND NUMERICAL APPROXIMATION OF TEMPERED FRACTIONAL TERMINAL VALUE PROBLEMS
AUTHORS: Maria Luisa Morgado ; Magda Rebelo ;
PUBLISHED: 2017, SOURCE: 8th International Conference on Transform Methods and Special Function (TMSF) in FRACTIONAL CALCULUS AND APPLIED ANALYSIS, VOLUME: 20, ISSUE: 5, PAGES: 1239-1262
AUTHORS: Maria Luisa Morgado ; Magda Rebelo ;
PUBLISHED: 2017, SOURCE: 8th International Conference on Transform Methods and Special Function (TMSF) in FRACTIONAL CALCULUS AND APPLIED ANALYSIS, VOLUME: 20, ISSUE: 5, PAGES: 1239-1262
2645
TITLE: 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems
AUTHORS: Alexey Gotsman; Hongseok Yang; Carla Ferreira ; Mahsa Najafzadeh; Marc Shapiro;
PUBLISHED: 2016, SOURCE: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 1, PAGES: 371-384
AUTHORS: Alexey Gotsman; Hongseok Yang; Carla Ferreira ; Mahsa Najafzadeh; Marc Shapiro;
PUBLISHED: 2016, SOURCE: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 1, PAGES: 371-384
2646
TITLE: 'Cause i'm strong enough: Reasoning about consistency choices in distributed systems
AUTHORS: Alexey Gotsman; Hongseok Yang; Carla Ferreira ; Mahsa Najafzadeh; Marc Shapiro;
PUBLISHED: 2016, SOURCE: ACM SIGPLAN Notices, VOLUME: 51, ISSUE: 1, PAGES: 371-384
AUTHORS: Alexey Gotsman; Hongseok Yang; Carla Ferreira ; Mahsa Najafzadeh; Marc Shapiro;
PUBLISHED: 2016, SOURCE: ACM SIGPLAN Notices, VOLUME: 51, ISSUE: 1, PAGES: 371-384
INDEXED IN: 
Scopus
Scopus2647
TITLE: 25 W/m(2) collection efficiency solar-pumped Nd:YAG laser by a heliostat-parabolic mirror system
AUTHORS: Liang, D ; Almeida, J. ; Vistas, CR;
PUBLISHED: 2016, SOURCE: APPLIED OPTICS, VOLUME: 55, ISSUE: 27, PAGES: 7712-7717
AUTHORS: Liang, D ; Almeida, J. ; Vistas, CR;
PUBLISHED: 2016, SOURCE: APPLIED OPTICS, VOLUME: 55, ISSUE: 27, PAGES: 7712-7717
2648
TITLE: 8-hydroxy-2 '-deoxyguanosine (8-OHdG) biomarker detection down to picoMolar level on a plastic antibody film Full Text
AUTHORS: Gabriela V Martins; Ana C Marques; Elvira Fortunato ; Goreti G F Sales ;
PUBLISHED: 2016, SOURCE: BIOSENSORS & BIOELECTRONICS, VOLUME: 86, PAGES: 225-234
AUTHORS: Gabriela V Martins; Ana C Marques; Elvira Fortunato ; Goreti G F Sales ;
PUBLISHED: 2016, SOURCE: BIOSENSORS & BIOELECTRONICS, VOLUME: 86, PAGES: 225-234
2649
TITLE: A compact model and direct parameters extraction techniques For amorphous gallium-indium-zinc-oxide thin film transistors Full Text
AUTHORS: Moldovan, O; Castro Carranza, A; Cerdeira, A; Estrada, M; Barquinha, P; Martins, R; Fortunato, E ; Miljakovic, S; Iniguez, B;
PUBLISHED: 2016, SOURCE: SOLID-STATE ELECTRONICS, VOLUME: 126, PAGES: 81-86
AUTHORS: Moldovan, O; Castro Carranza, A; Cerdeira, A; Estrada, M; Barquinha, P; Martins, R; Fortunato, E ; Miljakovic, S; Iniguez, B;
PUBLISHED: 2016, SOURCE: SOLID-STATE ELECTRONICS, VOLUME: 126, PAGES: 81-86
2650
TITLE: A cost-effective method to get insight into the peritoneal dialysate effluent proteome Full Text
AUTHORS: Araujo, JE; Jorge, S; Costa, FTE; Ramos, A ; Lodeiro, C; Santos, HM; Capelo, JL;
PUBLISHED: 2016, SOURCE: JOURNAL OF PROTEOMICS, VOLUME: 145, PAGES: 207-213
AUTHORS: Araujo, JE; Jorge, S; Costa, FTE; Ramos, A ; Lodeiro, C; Santos, HM; Capelo, JL;
PUBLISHED: 2016, SOURCE: JOURNAL OF PROTEOMICS, VOLUME: 145, PAGES: 207-213
2651
TITLE: A Dataset for the Automatic Assessment of Functional Senior Fitness Tests using Kinect and Physiological Sensors
AUTHORS: Bernardino, A ; Vismara, C; Baptista, F ; Carnide, F; Oom, S; Badia, SI ; Gouveia, E; Gamboa, H ;
PUBLISHED: 2016, SOURCE: 1st International Conference on Technology and Innovation in Sports, Health and Wellbeing (TISHW) in PROCEEDINGS OF THE 2016 1ST INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING (TISHW 2016)
AUTHORS: Bernardino, A ; Vismara, C; Baptista, F ; Carnide, F; Oom, S; Badia, SI ; Gouveia, E; Gamboa, H ;
PUBLISHED: 2016, SOURCE: 1st International Conference on Technology and Innovation in Sports, Health and Wellbeing (TISHW) in PROCEEDINGS OF THE 2016 1ST INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING (TISHW 2016)
2652
TITLE: A game-theoretic approach to digital marketing and lead generation for duopoly markets
AUTHORS: Mota, D; Grilo, A; Faias, M ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Industrial Engineering and Operations Management in Kuala Lumpur, IEOM 2016 in Proceedings of the International Conference on Industrial Engineering and Operations Management, VOLUME: 8-10 March 2016, PAGES: 133-142
AUTHORS: Mota, D; Grilo, A; Faias, M ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Industrial Engineering and Operations Management in Kuala Lumpur, IEOM 2016 in Proceedings of the International Conference on Industrial Engineering and Operations Management, VOLUME: 8-10 March 2016, PAGES: 133-142
INDEXED IN: Scopus
Scopus2653
TITLE: A geometrically exact Kirchhoff beam model including torsion warping Full Text
AUTHORS: Manta, D; Goncalves, R ;
PUBLISHED: 2016, SOURCE: COMPUTERS & STRUCTURES, VOLUME: 177, PAGES: 192-203
AUTHORS: Manta, D; Goncalves, R ;
PUBLISHED: 2016, SOURCE: COMPUTERS & STRUCTURES, VOLUME: 177, PAGES: 192-203
2654
TITLE: A Hardware Approach to Detect, Expose and Tolerate High Level Data Races
AUTHORS: Orosa, L; Lourenço, J ;
PUBLISHED: 2016, SOURCE: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 2016 24TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP), PAGES: 159-167
AUTHORS: Orosa, L; Lourenço, J ;
PUBLISHED: 2016, SOURCE: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 2016 24TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP), PAGES: 159-167
2655
TITLE: A location-invariant probability weighted moment estimation of the Extreme Value Index Full Text
AUTHORS: Frederico Caeiro ; Ivette Gomes, MI; Ligia Henriques Rodrigues;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, VOLUME: 93, ISSUE: 4, PAGES: 676-695
AUTHORS: Frederico Caeiro ; Ivette Gomes, MI; Ligia Henriques Rodrigues;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, VOLUME: 93, ISSUE: 4, PAGES: 676-695
2656
TITLE: A motion tracking solution for indoor localization using smartphones
AUTHORS: Vania Guimaraes; Lourenco Castro; Susana Carneiro; Manuel Monteiro; Tiago Rocha; Marilia Barandas; Joao Machado; Maria Vasconcelos; Hugo Gamboa ; Dirk Elias;
PUBLISHED: 2016, SOURCE: 2016 International Conference on Indoor Positioning and Indoor Navigation (IPIN)
AUTHORS: Vania Guimaraes; Lourenco Castro; Susana Carneiro; Manuel Monteiro; Tiago Rocha; Marilia Barandas; Joao Machado; Maria Vasconcelos; Hugo Gamboa ; Dirk Elias;
PUBLISHED: 2016, SOURCE: 2016 International Conference on Indoor Positioning and Indoor Navigation (IPIN)
INDEXED IN: CrossRef
CrossRef2657
TITLE: A motion tracking solution for indoor localization using smartphones
AUTHORS: Guimarães, V; Castro, L; Carneiro, S; Monteiro, M; Rocha, T; Barandas, M; Machado, J; Vasconcelos, M; Gamboa, H ; Elias, D;
PUBLISHED: 2016, SOURCE: 2016 International Conference on Indoor Positioning and Indoor Navigation, IPIN 2016 in 2016 International Conference on Indoor Positioning and Indoor Navigation, IPIN 2016
AUTHORS: Guimarães, V; Castro, L; Carneiro, S; Monteiro, M; Rocha, T; Barandas, M; Machado, J; Vasconcelos, M; Gamboa, H ; Elias, D;
PUBLISHED: 2016, SOURCE: 2016 International Conference on Indoor Positioning and Indoor Navigation, IPIN 2016 in 2016 International Conference on Indoor Positioning and Indoor Navigation, IPIN 2016
INDEXED IN: Scopus
Scopus2658
TITLE: A multi-objective meta-heuristic approach for the design and planning of green supply chains - MBSA Full Text
AUTHORS: Chibeles-Martins, Nelson ; Tania Pinto Varela; Ana P Barbosa Povoa ; Augusto Q Novais;
PUBLISHED: 2016, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 47, PAGES: 71-84
AUTHORS: Chibeles-Martins, Nelson ; Tania Pinto Varela; Ana P Barbosa Povoa ; Augusto Q Novais;
PUBLISHED: 2016, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 47, PAGES: 71-84
2659
TITLE: A multiobjective placement of switching devices in distribution networks incorporating distributed energy resources Full Text
AUTHORS: Vieira Pombo, AV; Joao Murta Pina ; Fernao Pires, VF ;
PUBLISHED: 2016, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 130, PAGES: 34-45
AUTHORS: Vieira Pombo, AV; Joao Murta Pina ; Fernao Pires, VF ;
PUBLISHED: 2016, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 130, PAGES: 34-45
2660
TITLE: A nonlinear analytical model to predict the full-range debonding process of FRP-to-parent material interfaces free of any mechanical anchorage devices Full Text
AUTHORS: Hugo C Biscaia ; Isabel S Borba; Cinderela Silva; Carlos Chastre ;
PUBLISHED: 2016, SOURCE: COMPOSITE STRUCTURES, VOLUME: 138, PAGES: 52-63
AUTHORS: Hugo C Biscaia ; Isabel S Borba; Cinderela Silva; Carlos Chastre ;
PUBLISHED: 2016, SOURCE: COMPOSITE STRUCTURES, VOLUME: 138, PAGES: 52-63
