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: 13219
451 Team MembersFilters -> Year: 2025
3221
TITLE: Gentzen's Centenary. The Quest for Consistency
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2015
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2015
INDEXED IN: 
Openlibrary
Openlibrary3222
TITLE: Gentzen's Centenary. The Quest for Consistency
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2015
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2015
INDEXED IN: Openlibrary
Openlibrary3223
TITLE: Gentzen’s centenary: The quest for consistency
AUTHORS: Reinhard Kahle ; Rathjen, M;
PUBLISHED: 2015, SOURCE: Gentzen's Centenary: The Quest for Consistency, PAGES: 1-561
AUTHORS: Reinhard Kahle ; Rathjen, M;
PUBLISHED: 2015, SOURCE: Gentzen's Centenary: The Quest for Consistency, PAGES: 1-561
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef3224
TITLE: Gentzen’s consistency proof in context
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2015, SOURCE: Gentzen's Centenary: The Quest for Consistency, PAGES: 3-24
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2015, SOURCE: Gentzen's Centenary: The Quest for Consistency, PAGES: 3-24
3225
TITLE: Geotechnical and Geological Characterization and Ambient Vibration Study of Shallow Geological Units in Barreiro and Setubal Areas (Portugal)
AUTHORS: Vicencio, H; Costa, PT; Caetano, PS ;
PUBLISHED: 2015, SOURCE: 1st World Multidisciplinary Earth Sciences Symposium (WMESS) in WORLD MULTIDISCIPLINARY EARTH SCIENCES SYMPOSIUM, WMESS 2015, VOLUME: 15, PAGES: 187-192
AUTHORS: Vicencio, H; Costa, PT; Caetano, PS ;
PUBLISHED: 2015, SOURCE: 1st World Multidisciplinary Earth Sciences Symposium (WMESS) in WORLD MULTIDISCIPLINARY EARTH SCIENCES SYMPOSIUM, WMESS 2015, VOLUME: 15, PAGES: 187-192
INDEXED IN: 
WOS
WOS3226
TITLE: Global-Local-Distortional Vibration of Thin-Walled Rectangular Multi-Cell Beams
AUTHORS: Goncąlves, R ; Peres, N; Bebiano, R; Camotim, D;
PUBLISHED: 2015, SOURCE: International Journal of Structural Stability and Dynamics, VOLUME: 15, ISSUE: 8
AUTHORS: Goncąlves, R ; Peres, N; Bebiano, R; Camotim, D;
PUBLISHED: 2015, SOURCE: International Journal of Structural Stability and Dynamics, VOLUME: 15, ISSUE: 8
INDEXED IN: Scopus
Scopus3227
TITLE: Global-Local-Distortional Vibration of Thin-Walled Rectangular Multi-Cell Beams
AUTHORS: Rodrigo Goncalves; Nuno Peres; Rui Bebiano; Dinar Camotim ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF STRUCTURAL STABILITY AND DYNAMICS, VOLUME: 15, ISSUE: 8
AUTHORS: Rodrigo Goncalves; Nuno Peres; Rui Bebiano; Dinar Camotim ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF STRUCTURAL STABILITY AND DYNAMICS, VOLUME: 15, ISSUE: 8
INDEXED IN: WOS
WOS3228
TITLE: Global–Local-Distortional Vibration of Thin-Walled Rectangular Multi-Cell Beams
AUTHORS: Rodrigo Gonçalves ; Nuno Peres; Rui Bebiano; Dinar Camotim;
PUBLISHED: 2015, SOURCE: Int. J. Str. Stab. Dyn. - International Journal of Structural Stability and Dynamics, VOLUME: 15, ISSUE: 08, PAGES: 1540022
AUTHORS: Rodrigo Gonçalves ; Nuno Peres; Rui Bebiano; Dinar Camotim;
PUBLISHED: 2015, SOURCE: Int. J. Str. Stab. Dyn. - International Journal of Structural Stability and Dynamics, VOLUME: 15, ISSUE: 08, PAGES: 1540022
INDEXED IN: CrossRef
CrossRef3229
TITLE: GLODS: Global and Local Optimization using Direct Search Full Text
AUTHORS: Custodio, AL ; Madeira, JFA;
PUBLISHED: 2015, SOURCE: JOURNAL OF GLOBAL OPTIMIZATION, VOLUME: 62, ISSUE: 1, PAGES: 1-28
AUTHORS: Custodio, AL ; Madeira, JFA;
PUBLISHED: 2015, SOURCE: JOURNAL OF GLOBAL OPTIMIZATION, VOLUME: 62, ISSUE: 1, PAGES: 1-28
3230
TITLE: Green supply chain design and planning
AUTHORS: Bruna Mota; Ana Carvalho; Ana Barbosa Povoa; Maria Isabel Gomes ;
PUBLISHED: 2015, SOURCE: International Conference on Industrial Engineering and Systems Management in 2015 INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND SYSTEMS MANAGEMENT (IESM), PAGES: 537-545
AUTHORS: Bruna Mota; Ana Carvalho; Ana Barbosa Povoa; Maria Isabel Gomes ;
PUBLISHED: 2015, SOURCE: International Conference on Industrial Engineering and Systems Management in 2015 INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND SYSTEMS MANAGEMENT (IESM), PAGES: 537-545
3231
TITLE: GreenDroid: A Tool for Analysing Power Consumption in the Android Ecosystem
AUTHORS: Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Rui Pereira ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: IEEE 13th International Scientific Conference on Informatics in 2015 IEEE 13th International Scientific Conference on Informatics, PAGES: 67-72
AUTHORS: Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Rui Pereira ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: IEEE 13th International Scientific Conference on Informatics in 2015 IEEE 13th International Scientific Conference on Informatics, PAGES: 67-72
3232
TITLE: Group-to-Group Bidirectional Wi-Fi Direct Communication with Two Relay Nodes
AUTHORS: António Teófilo; Diogo Remédios; Hervé Paulino ; João Lourenço ;
PUBLISHED: 2015, SOURCE: Proceedings of the 12th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2015, Coimbra, Portugal, July 22-24, 2015, PAGES: 275-276
AUTHORS: António Teófilo; Diogo Remédios; Hervé Paulino ; João Lourenço ;
PUBLISHED: 2015, SOURCE: Proceedings of the 12th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2015, Coimbra, Portugal, July 22-24, 2015, PAGES: 275-276
INDEXED IN: 
DBLP CrossRef
DBLP CrossRef3233
TITLE: Handling Non-functional Requirements in Model-Driven Development: An Ongoing Industrial Survey
AUTHORS: David Ameller; Xavier Franch; Cristina Gomez; Joao Araujo; Richard Berntsson Svensson; Stefan Biffl; Jordi Cabot; Vittorio Cortellessa; Maya Daneva; Daniel Mendez Fernandez; Ana Moreira; Henry Muccini; Antonio Vallecillo; Manuel Wimmer; Vasco Amaral ; Hugo Bruneliere; Loli Burgueno; Miguel Goulao ; Bernhard Schaetz; Sabine Teufl;
PUBLISHED: 2015, SOURCE: IEEE 23rd International Requirements Engineering Conference (RE) in 2015 IEEE 23RD INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), PAGES: 208-213
AUTHORS: David Ameller; Xavier Franch; Cristina Gomez; Joao Araujo; Richard Berntsson Svensson; Stefan Biffl; Jordi Cabot; Vittorio Cortellessa; Maya Daneva; Daniel Mendez Fernandez; Ana Moreira; Henry Muccini; Antonio Vallecillo; Manuel Wimmer; Vasco Amaral ; Hugo Bruneliere; Loli Burgueno; Miguel Goulao ; Bernhard Schaetz; Sabine Teufl;
PUBLISHED: 2015, SOURCE: IEEE 23rd International Requirements Engineering Conference (RE) in 2015 IEEE 23RD INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), PAGES: 208-213
3234
TITLE: HCN Channels: The Molecular Basis for their cAMP-TRIP8b Regulation
AUTHORS: Andrea Saponaro; Chiara Donadoni; Sofia R. Pauleta ; Francesca Cantini; Manolis Matzapetakis; Gerhard Thiel; Lucia Banci; Bina Santoro; Anna Moroni;
PUBLISHED: 2015, SOURCE: 59th Annual Meeting of the Biophysical-Society in BIOPHYSICAL JOURNAL, VOLUME: 108, ISSUE: 2, PAGES: 366A-366A
AUTHORS: Andrea Saponaro; Chiara Donadoni; Sofia R. Pauleta ; Francesca Cantini; Manolis Matzapetakis; Gerhard Thiel; Lucia Banci; Bina Santoro; Anna Moroni;
PUBLISHED: 2015, SOURCE: 59th Annual Meeting of the Biophysical-Society in BIOPHYSICAL JOURNAL, VOLUME: 108, ISSUE: 2, PAGES: 366A-366A
INDEXED IN: WOS
WOS3235
TITLE: Heterogeneous programming with Single Operation Multiple Data Full Text
AUTHORS: Herve Paulino ; Eduardo Marques;
PUBLISHED: 2015, SOURCE: 14th IEEE International Conference on High Performance Computing and Communications (HPCC) / IEEE 9th International Conference on Embedded Software and Systems (ICESS) in JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, ISSUE: 1, PAGES: 16-37
AUTHORS: Herve Paulino ; Eduardo Marques;
PUBLISHED: 2015, SOURCE: 14th IEEE International Conference on High Performance Computing and Communications (HPCC) / IEEE 9th International Conference on Embedded Software and Systems (ICESS) in JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, ISSUE: 1, PAGES: 16-37
3236
TITLE: Highly efficient end-side-pumped Nd:YAG solar laser by a heliostat-parabolic mirror system
AUTHORS: Almeida, J. ; Liang, D ; Vistas, CR; Guillot, E;
PUBLISHED: 2015, SOURCE: APPLIED OPTICS, VOLUME: 54, ISSUE: 8, PAGES: 1970-1977
AUTHORS: Almeida, J. ; Liang, D ; Vistas, CR; Guillot, E;
PUBLISHED: 2015, SOURCE: APPLIED OPTICS, VOLUME: 54, ISSUE: 8, PAGES: 1970-1977
3237
TITLE: How to Combine Event Stream Reasoning with Transactions for the Semantic Web
AUTHORS: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLISHED: 2015, SOURCE: 9th International Symposium on Rule Markup and Modeling Initiative (RuleML) in RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS, VOLUME: 9202, PAGES: 258-273
AUTHORS: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLISHED: 2015, SOURCE: 9th International Symposium on Rule Markup and Modeling Initiative (RuleML) in RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS, VOLUME: 9202, PAGES: 258-273
3238
TITLE: Human activity data discovery from triaxial accelerometer sensor: Non-supervised learning sensitivity to feature extraction parametrization Full Text
AUTHORS: Ines P Machado; Luisa L Gomes; Hugo Gamboa ; Vitor Paixdo; Rui M Costa;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 51, ISSUE: 2, PAGES: 204-214
AUTHORS: Ines P Machado; Luisa L Gomes; Hugo Gamboa ; Vitor Paixdo; Rui M Costa;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 51, ISSUE: 2, PAGES: 204-214
3239
TITLE: Human activity recognition based on novel accelerometry features and hidden markov models application
AUTHORS: Gomes, AL; Paixao, V; Gamboa, H ;
PUBLISHED: 2015, SOURCE: 8th International Conference on Bio-Inspired Systems and Signal Processing, BIOSIGNALS 2015 in BIOSIGNALS 2015 - 8th International Conference on Bio-Inspired Systems and Signal Processing, Proceedings; Part of 8th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2015, PAGES: 76-85
AUTHORS: Gomes, AL; Paixao, V; Gamboa, H ;
PUBLISHED: 2015, SOURCE: 8th International Conference on Bio-Inspired Systems and Signal Processing, BIOSIGNALS 2015 in BIOSIGNALS 2015 - 8th International Conference on Bio-Inspired Systems and Signal Processing, Proceedings; Part of 8th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2015, PAGES: 76-85
INDEXED IN: Scopus
Scopus3240
TITLE: Hybrid nanoparticles for photodynamic and targeted cancer therapy: Cytotoxicity studies Full Text
AUTHORS: Silva, CO; Coelho, JP; Vieira, P ; Lopes, J; Costa, J ; Fernandes, AS; Gomes, R; Gabriel, A; Rijo, P ; Molpeceres, J; Reis, CP;
PUBLISHED: 2015, SOURCE: 51st Congress of the European-Societies-of-Toxicology (EUROTOX) in TOXICOLOGY LETTERS, VOLUME: 238, ISSUE: 2
AUTHORS: Silva, CO; Coelho, JP; Vieira, P ; Lopes, J; Costa, J ; Fernandes, AS; Gomes, R; Gabriel, A; Rijo, P ; Molpeceres, J; Reis, CP;
PUBLISHED: 2015, SOURCE: 51st Congress of the European-Societies-of-Toxicology (EUROTOX) in TOXICOLOGY LETTERS, VOLUME: 238, ISSUE: 2
INDEXED IN: WOS CrossRef
WOS CrossRef