Faculdade de Ciências e Tecnologia (FCTUNL)
AuthID: I-000-01J
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: 13111
444 Team MembersFilters -> Year: 2025
2521
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
DBLP2522
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
DBLP2523
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
2524
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
2525
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
2526
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
2527
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
2528
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
2529
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
2530
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 CrossRef2531
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
2532
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
Scopus2533
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
2534
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
2535
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
2536
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
2537
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)
2538
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
2539
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
2540
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