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: 13210
451 Team MembersFilters -> Year: 2025
2601
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
DBLP2602
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
2603
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
2604
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
2605
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
2606
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
2607
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
2608
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
2609
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 CrossRef2610
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
2611
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
Scopus2612
TITLE: 11th National Meeting of Organic Chemistry and 4th Meeting of Therapeutic Chemistry Full Text
AUTHORS: Sousa, ME ; Araújo, Maria João ; do Vale, ML ; Andrade, PB ; Branco, P; Paula Gomes ; Moreira, R; Melo, TMVDP; Freitas, V ;
PUBLISHED: 2016, SOURCE: PHARMACEUTICALS, VOLUME: 9, ISSUE: 1, PAGES: 15
AUTHORS: Sousa, ME ; Araújo, Maria João ; do Vale, ML ; Andrade, PB ; Branco, P; Paula Gomes ; Moreira, R; Melo, TMVDP; Freitas, V ;
PUBLISHED: 2016, SOURCE: PHARMACEUTICALS, VOLUME: 9, ISSUE: 1, PAGES: 15
2613
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
2614
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
2615
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
2616
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
2617
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)
2618
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
2619
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
2620
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
Scopus