Universidade Nova de Lisboa (UNL)
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: 12153
452 Team MembersFilters -> Year: 2026
2561
TITLE: Using Biotechnology to Solve Engineering Problems: Non-Destructive Testing of Microfabrication Components Full Text
AUTHORS: de Carvalho, CCCR; Inácio, PL; Miranda, RM; Santos, TG ;
PUBLISHED: 2017, SOURCE: MATERIALS, VOLUME: 10, ISSUE: 7, PAGES: 788
AUTHORS: de Carvalho, CCCR; Inácio, PL; Miranda, RM; Santos, TG ;
PUBLISHED: 2017, SOURCE: MATERIALS, VOLUME: 10, ISSUE: 7, PAGES: 788
2562
TITLE: Validation of the Geant4 Monte Carlo package for X-ray fluorescence spectroscopy in triaxial geometry Full Text
AUTHORS: Pedro Amaro ; Santos, José Paulo ; Ana Samouco; Ricardo Adao; Luis Souto Martins; Sebastian Weber; Stanislav Tashenov; Maria Luisa Carvalho; Sofia Pessanha ;
PUBLISHED: 2017, SOURCE: SPECTROCHIMICA ACTA PART B-ATOMIC SPECTROSCOPY, VOLUME: 130, PAGES: 60-66
AUTHORS: Pedro Amaro ; Santos, José Paulo ; Ana Samouco; Ricardo Adao; Luis Souto Martins; Sebastian Weber; Stanislav Tashenov; Maria Luisa Carvalho; Sofia Pessanha ;
PUBLISHED: 2017, SOURCE: SPECTROCHIMICA ACTA PART B-ATOMIC SPECTROSCOPY, VOLUME: 130, PAGES: 60-66
2563
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 CrossRef2564
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: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, 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: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, PAGES: 196-206
INDEXED IN: DBLP
DBLP2565
TITLE: Verifying Concurrent Programs Using Contracts
AUTHORS: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; Joao M Lourenco ; Ales Smrcka; Diogo G Sousa; Tomas Vojnar;
PUBLISHED: 2017, SOURCE: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, PAGES: 196-206
AUTHORS: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; Joao M Lourenco ; Ales Smrcka; Diogo G Sousa; Tomas Vojnar;
PUBLISHED: 2017, SOURCE: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, PAGES: 196-206
2566
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
2567
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
2568
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
2569
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
Scopus2570
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
2571
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
2572
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
2573
TITLE: A computational comparison of formulations for the economic lot-sizing with remanufacturing
AUTHORS: Cunha, J. O. ; Melo, RA;
PUBLISHED: 2016, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 92, PAGES: 72-81
AUTHORS: Cunha, J. O. ; Melo, RA;
PUBLISHED: 2016, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 92, PAGES: 72-81
2574
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
2575
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)
2576
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
Scopus2577
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
2578
TITLE: A Hardware Approach to Detect, Expose and Tolerate High Level Data Races
AUTHORS: Lois Orosa; Joao Lourenco ;
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: Lois Orosa; Joao Lourenco ;
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
2579
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
2580
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
CrossRef