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: 13176
451 Team MembersFilters -> Year: 2025
2561
TITLE: Type-Safe Evolution of Web Services
AUTHORS: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLISHED: 2017, SOURCE: 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE 2017 in 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, PAGES: 20-26
AUTHORS: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLISHED: 2017, SOURCE: 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE 2017 in 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, VACE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, PAGES: 20-26
2562
TITLE: Unravelling the dissociation pathways of acetic acid upon electron transfer in potassium collisions: experimental and theoretical studies Full Text
AUTHORS: Meneses, G; Widmann, C; Cunha, T; Gil, A; da Silva, FF ; Calhorda, MJ; Limao Vieira, P ;
PUBLISHED: 2017, SOURCE: PHYSICAL CHEMISTRY CHEMICAL PHYSICS, VOLUME: 19, ISSUE: 2, PAGES: 1083-1088
AUTHORS: Meneses, G; Widmann, C; Cunha, T; Gil, A; da Silva, FF ; Calhorda, MJ; Limao Vieira, P ;
PUBLISHED: 2017, SOURCE: PHYSICAL CHEMISTRY CHEMICAL PHYSICS, VOLUME: 19, ISSUE: 2, PAGES: 1083-1088
2563
TITLE: Unveiling the 6,8-Rearrangement in 8-Phenyl-5,7-dihydroxyflavylium and 8-Methyl-5,7-dihydroxyflavylium through Host-Guest Complexation. Unveiling the 6,8-Rearrangement in 8-Phenyl-5,7-dihydroxyflavylium and 8-Methyl-5,7-dihydroxyflavylium through Host-Guest Complexation Full Text
AUTHORS: Basilio, N; Lima, JC; Cruz, L ; de Freitas, V ; Pina, F; Ando, H; Kimura, Y; Oyama, KI; Yoshida, K;
PUBLISHED: 2017, SOURCE: EUROPEAN JOURNAL OF ORGANIC CHEMISTRY, VOLUME: 2017, ISSUE: 37, PAGES: 5617-5626
AUTHORS: Basilio, N; Lima, JC; Cruz, L ; de Freitas, V ; Pina, F; Ando, H; Kimura, Y; Oyama, KI; Yoshida, K;
PUBLISHED: 2017, SOURCE: EUROPEAN JOURNAL OF ORGANIC CHEMISTRY, VOLUME: 2017, ISSUE: 37, PAGES: 5617-5626
2564
TITLE: Unveiling the Third Secret of Fatima: mu-XRF quantitative characterization and 2D elemental mapping Full Text
AUTHORS: Manso, M ; Pessanha, S ; Guerra, M ; Figueirinhas, JL; Santos, José Paulo ; Carvalho, ML;
PUBLISHED: 2017, SOURCE: SPECTROCHIMICA ACTA PART B-ATOMIC SPECTROSCOPY, VOLUME: 130, PAGES: 35-38
AUTHORS: Manso, M ; Pessanha, S ; Guerra, M ; Figueirinhas, JL; Santos, José Paulo ; Carvalho, ML;
PUBLISHED: 2017, SOURCE: SPECTROCHIMICA ACTA PART B-ATOMIC SPECTROSCOPY, VOLUME: 130, PAGES: 35-38
2565
TITLE: Use of VLC for indoors navigation with RGB LEDs and a-SiC: H photodetector
AUTHORS: Louro, P ; Costa, J; Vieira, M; Vieira, MA; Vygranenko, Y;
PUBLISHED: 2017, SOURCE: OPTICAL SENSORS 2017, VOLUME: 10231
AUTHORS: Louro, P ; Costa, J; Vieira, M; Vieira, MA; Vygranenko, Y;
PUBLISHED: 2017, SOURCE: OPTICAL SENSORS 2017, VOLUME: 10231
2566
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
2567
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
2568
TITLE: Variability and Complexity in Software Design: 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 Software Engineering 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 Software Engineering Notes, VOLUME: 42, ISSUE: 4, PAGES: 35-37
INDEXED IN: 
DBLP
DBLP2569
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
DBLP2570
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
2571
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
2572
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
2573
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
2574
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
2575
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
2576
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
2577
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 CrossRef2578
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
2579
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
Scopus2580
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
