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: 13034
451 Team MembersFilters -> Year: 2024
2481
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
2482
TITLE: Visible Light Communication and Indoor Positioning Using a-SiCH Device as Receiver
AUTHORS: Vieira, MA; Vieira, M; Louro, P ; Vieira, P; Fantoni, A;
PUBLISHED: 2017, SOURCE: 3rd International Conference on Applications of Optics and Photonics in THIRD INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS, VOLUME: 10453
AUTHORS: Vieira, MA; Vieira, M; Louro, P ; Vieira, P; Fantoni, A;
PUBLISHED: 2017, SOURCE: 3rd International Conference on Applications of Optics and Photonics in THIRD INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS, VOLUME: 10453
2483
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
2484
TITLE: VRRRRoom: Virtual Reality for Radiologists in the Reading Room. Virtual Reality for Radiologists in the Reading Room
AUTHORS: Sousa, M; Mendes, D ; Paulo, S; Matela, N; Jorge, J; Lopes, DS;
PUBLISHED: 2017, SOURCE: ACM SIGCHI Conference on Human Factors in Computing Systems (CHI) in PROCEEDINGS OF THE 2017 ACM SIGCHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI'17), VOLUME: 2017-May, PAGES: 4057-4062
AUTHORS: Sousa, M; Mendes, D ; Paulo, S; Matela, N; Jorge, J; Lopes, DS;
PUBLISHED: 2017, SOURCE: ACM SIGCHI Conference on Human Factors in Computing Systems (CHI) in PROCEEDINGS OF THE 2017 ACM SIGCHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI'17), VOLUME: 2017-May, PAGES: 4057-4062
2485
TITLE: VWF collagen (types III and VI)-binding defects in a cohort of type 2M VWD patients - a strategy for improvement of a challenging diagnosis Full Text
AUTHORS: Fidalgo, T; Oliveira, A; Pinto, CS; Martinho, P; Ferreira, G; Salvado, R; Sevivas, T; Catarino, C ; Ribeiro, ML;
PUBLISHED: 2017, SOURCE: HAEMOPHILIA, VOLUME: 23, ISSUE: 2
AUTHORS: Fidalgo, T; Oliveira, A; Pinto, CS; Martinho, P; Ferreira, G; Salvado, R; Sevivas, T; Catarino, C ; Ribeiro, ML;
PUBLISHED: 2017, SOURCE: HAEMOPHILIA, VOLUME: 23, ISSUE: 2
2486
TITLE: WEB PLC Simulator for ST Programming
AUTHORS: Palma, LB ; Brito, V; Rosas, J; Paulo Gil;
PUBLISHED: 2017, SOURCE: 4th Experiment@ International Conference (exp.at) in PROCEEDINGS OF 2017 4TH EXPERIMENT@INTERNATIONAL CONFERENCE (EXP.AT'17), PAGES: 303-308
AUTHORS: Palma, LB ; Brito, V; Rosas, J; Paulo Gil;
PUBLISHED: 2017, SOURCE: 4th Experiment@ International Conference (exp.at) in PROCEEDINGS OF 2017 4TH EXPERIMENT@INTERNATIONAL CONFERENCE (EXP.AT'17), PAGES: 303-308
2487
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
2488
TITLE: XOR-Based Routing Protocols in Vehicular Ad Hoc Networks: How Well Do They Perform?
AUTHORS: Rodolfo Oliveira; Rafael Pasquini; Miguel Luís ; Luis Bernardo;
PUBLISHED: 2017, SOURCE: Wireless Personal Communications, VOLUME: 95, ISSUE: 2, PAGES: 1333-1357
AUTHORS: Rodolfo Oliveira; Rafael Pasquini; Miguel Luís ; Luis Bernardo;
PUBLISHED: 2017, SOURCE: Wireless Personal Communications, VOLUME: 95, ISSUE: 2, PAGES: 1333-1357
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef2489
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
2490
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
Scopus2491
TITLE: 11th National Meeting of Organic Chemistry and 4th Meeting of Therapeutic Chemistry Full Text
AUTHORS: Maria Emilia Sousa ; Araújo, Maria João ; Maria Luisa do Vale ; Paula B Andrade ; Paula Branco; Paula Gomes ; Rui Moreira; Teresa M V D P Pinho e Melo; Victor Freitas ;
PUBLISHED: 2016, SOURCE: PHARMACEUTICALS, VOLUME: 9, ISSUE: 1, PAGES: 15
AUTHORS: Maria Emilia Sousa ; Araújo, Maria João ; Maria Luisa do Vale ; Paula B Andrade ; Paula Branco; Paula Gomes ; Rui Moreira; Teresa M V D P Pinho e Melo; Victor Freitas ;
PUBLISHED: 2016, SOURCE: PHARMACEUTICALS, VOLUME: 9, ISSUE: 1, PAGES: 15
2492
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
2493
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
2494
TITLE: A computational comparison of formulations for the economic lot-sizing with remanufacturing Full Text
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
2495
TITLE: A Computational Framework for Infrastructure Asset Maintenance Scheduling
AUTHORS: Denysiuk, R; Fernandes, J ; Matos, JC; Neves, LC; Berardinelli, U ;
PUBLISHED: 2016, SOURCE: STRUCTURAL ENGINEERING INTERNATIONAL, VOLUME: 26, ISSUE: 2, PAGES: 94-102
AUTHORS: Denysiuk, R; Fernandes, J ; Matos, JC; Neves, LC; Berardinelli, U ;
PUBLISHED: 2016, SOURCE: STRUCTURAL ENGINEERING INTERNATIONAL, VOLUME: 26, ISSUE: 2, PAGES: 94-102
2496
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)
2497
TITLE: A five channels SiC MUX/DEMUX device with channel separation in the visible range
AUTHORS: Vieira, M; Silva, V; Louro, P ; Vieira, MA; Barata, M;
PUBLISHED: 2016, SOURCE: Conference on Silicon Photonics and Photonic Integrated Circuits V in SILICON PHOTONICS AND PHOTONIC INTEGRATED CIRCUITS V, VOLUME: 9891
AUTHORS: Vieira, M; Silva, V; Louro, P ; Vieira, MA; Barata, M;
PUBLISHED: 2016, SOURCE: Conference on Silicon Photonics and Photonic Integrated Circuits V in SILICON PHOTONICS AND PHOTONIC INTEGRATED CIRCUITS V, VOLUME: 9891
2498
TITLE: A Framework for Fast Image Deconvolution With Incomplete Observations Full Text
AUTHORS: Simoes, M; Almeida, LB; Bioucas Dias, J ; Chanussot, J;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON IMAGE PROCESSING, VOLUME: 25, ISSUE: 11, PAGES: 5266-5280
AUTHORS: Simoes, M; Almeida, LB; Bioucas Dias, J ; Chanussot, J;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON IMAGE PROCESSING, VOLUME: 25, ISSUE: 11, PAGES: 5266-5280
2499
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
Scopus2500
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
