Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
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: 2644
43 Team MembersFilters -> Year: 2025
1201
TITLE: Feature Nets: behavioural modelling of software product lines Full Text
AUTHORS: Radu Muschevici; Jose Proenca ; Dave Clarke;
PUBLISHED: 2016, SOURCE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, ISSUE: 4, PAGES: 1181-1206
AUTHORS: Radu Muschevici; Jose Proenca ; Dave Clarke;
PUBLISHED: 2016, SOURCE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, ISSUE: 4, PAGES: 1181-1206
1202
TITLE: Fitting of Breast Data Using Free Form Deformation Technique
AUTHORS: Hooshiar Zolfagharnasab ; Jaime S Cardoso ; Helder P Oliveira ;
PUBLISHED: 2016, SOURCE: 13th International Conference on Image Analysis and Recognition in Memory of Mohamed Kamel (ICIAR) in IMAGE ANALYSIS AND RECOGNITION (ICIAR 2016), VOLUME: 9730, PAGES: 608-615
AUTHORS: Hooshiar Zolfagharnasab ; Jaime S Cardoso ; Helder P Oliveira ;
PUBLISHED: 2016, SOURCE: 13th International Conference on Image Analysis and Recognition in Memory of Mohamed Kamel (ICIAR) in IMAGE ANALYSIS AND RECOGNITION (ICIAR 2016), VOLUME: 9730, PAGES: 608-615
1203
TITLE: Formalization of the Pumping Lemma for Context-Free Languages
AUTHORS: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2016, SOURCE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, ISSUE: 2, PAGES: 53-68
AUTHORS: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2016, SOURCE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, ISSUE: 2, PAGES: 53-68
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP1204
TITLE: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTHORS: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2016, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2016, PAGES: 14
AUTHORS: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2016, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2016, PAGES: 14
INDEXED IN: DBLP
DBLP1205
TITLE: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTHORS: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2016, SOURCE: 1st IEEE European Symposium on Security and Privacy (Euro S&P) in 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, PAGES: 245-260
AUTHORS: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2016, SOURCE: 1st IEEE European Symposium on Security and Privacy (Euro S&P) in 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, PAGES: 245-260
1206
TITLE: Gamification of Learning Activities with the Odin service Full Text
AUTHORS: Paiva, JC ; Leal, JP ; Queiros, R ;
PUBLISHED: 2016, SOURCE: PTI 17th KKIO Software Engineering Conference in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, ISSUE: 3, PAGES: 809-826
AUTHORS: Paiva, JC ; Leal, JP ; Queiros, R ;
PUBLISHED: 2016, SOURCE: PTI 17th KKIO Software Engineering Conference in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, ISSUE: 3, PAGES: 809-826
1207
TITLE: Generating error control codes with automata and transducers
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings, VOLUME: 321, PAGES: 211-226
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings, VOLUME: 321, PAGES: 211-226
INDEXED IN: DBLP
DBLP1208
TITLE: Geometry-Based Propagation Modeling and Simulation of Vehicle-to-Infrastructure Links
AUTHORS: Bengi Aygun; Mate Boban; Joao P Vilela ; Alexander M Wyglinski;
PUBLISHED: 2016, SOURCE: IEEE 83rd Vehicular Technology Conference (VTC Spring) in 2016 IEEE 83RD VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), VOLUME: 2016-July
AUTHORS: Bengi Aygun; Mate Boban; Joao P Vilela ; Alexander M Wyglinski;
PUBLISHED: 2016, SOURCE: IEEE 83rd Vehicular Technology Conference (VTC Spring) in 2016 IEEE 83RD VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), VOLUME: 2016-July
1209
TITLE: GTE-Rank: A time-aware search engine to answer time-sensitive queries Full Text
AUTHORS: Ricardo Campos ; Gael Dias; Alipio Jorge ; Celia Nunes ;
PUBLISHED: 2016, SOURCE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 52, ISSUE: 2, PAGES: 273-298
AUTHORS: Ricardo Campos ; Gael Dias; Alipio Jorge ; Celia Nunes ;
PUBLISHED: 2016, SOURCE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 52, ISSUE: 2, PAGES: 273-298
1210
TITLE: Hail-a-Drone: Enabling teleoperated taxi fleets
AUTHORS: Pedro M d'Orey ; Amin Hosseini; Jose Azevedo; Frank Diermeyer; Michel Ferreira ; Markus Lienkamp;
PUBLISHED: 2016, SOURCE: IEEE Intelligent Vehicles Symposium (IV) in 2016 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), PAGES: 774-781
AUTHORS: Pedro M d'Orey ; Amin Hosseini; Jose Azevedo; Frank Diermeyer; Michel Ferreira ; Markus Lienkamp;
PUBLISHED: 2016, SOURCE: IEEE Intelligent Vehicles Symposium (IV) in 2016 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), PAGES: 774-781
1211
TITLE: Hierarchical time series forecast in electrical grids
AUTHORS: Almeida, V ; Ribeiro, R ; Gama, J ;
PUBLISHED: 2016, SOURCE: International Conference on Information Science and Applications, ICISA 2016 in Lecture Notes in Electrical Engineering, VOLUME: 376, PAGES: 995-1005
AUTHORS: Almeida, V ; Ribeiro, R ; Gama, J ;
PUBLISHED: 2016, SOURCE: International Conference on Information Science and Applications, ICISA 2016 in Lecture Notes in Electrical Engineering, VOLUME: 376, PAGES: 995-1005
1212
TITLE: Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things
AUTHORS: Gowri Sankar Ramachandran; Jose Proenca ; Wilfried Daniels; Mario Pickavet; Dimitri Staessens; Christophe Huygens; Wouter Joosen; Danny Hughes;
PUBLISHED: 2016, SOURCE: JOURNAL OF INTERNET SERVICES AND APPLICATIONS, VOLUME: 7, ISSUE: 1, PAGES: 4:1-4:15
AUTHORS: Gowri Sankar Ramachandran; Jose Proenca ; Wilfried Daniels; Mario Pickavet; Dimitri Staessens; Christophe Huygens; Wouter Joosen; Danny Hughes;
PUBLISHED: 2016, SOURCE: JOURNAL OF INTERNET SERVICES AND APPLICATIONS, VOLUME: 7, ISSUE: 1, PAGES: 4:1-4:15
1213
TITLE: How Well Can The Fusion of Gabor Filters And Local Binary Patterns Help In Identifying Gastric Lesions?
AUTHORS: Farhan Riaz; Ali Hassan; Pedro Pimentel Nunes ; Diogo L E J Libnio e Jorge Lage; Miguel Tavares Coimbra ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 1204-1207
AUTHORS: Farhan Riaz; Ali Hassan; Pedro Pimentel Nunes ; Diogo L E J Libnio e Jorge Lage; Miguel Tavares Coimbra ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 1204-1207
1215
TITLE: Implementation of Code Properties via Transducers Full Text
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2016, SOURCE: 21st International Conference on Implementation and Application of Automata (CIAA) in Implementation and Application of Automata, VOLUME: 9705, PAGES: 189-201
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2016, SOURCE: 21st International Conference on Implementation and Application of Automata (CIAA) in Implementation and Application of Automata, VOLUME: 9705, PAGES: 189-201
1216
TITLE: Inferring Exhaust Gases Levels using Taxi Service and Meteorological Data: An Experiment in the City of Porto, Portugal
AUTHORS: Veloso, M; d'Orey, PM ; Phithakkitnukoon, S; Bento, C; Ferreira, M ;
PUBLISHED: 2016, SOURCE: 19th IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2016 IEEE 19TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 1970-1975
AUTHORS: Veloso, M; d'Orey, PM ; Phithakkitnukoon, S; Bento, C; Ferreira, M ;
PUBLISHED: 2016, SOURCE: 19th IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2016 IEEE 19TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 1970-1975
1217
TITLE: Integrating Rich Learning Applications in LMS
AUTHORS: Queiros, R ; Leal, JP ; Paiva, JC ;
PUBLISHED: 2016, SOURCE: 2nd International Conference on Smart Learning Environments (ICSLE) in STATE-OF-THE-ART AND FUTURE DIRECTIONS OF SMART LEARNING, ISSUE: 9789812878663, PAGES: 381-386
AUTHORS: Queiros, R ; Leal, JP ; Paiva, JC ;
PUBLISHED: 2016, SOURCE: 2nd International Conference on Smart Learning Environments (ICSLE) in STATE-OF-THE-ART AND FUTURE DIRECTIONS OF SMART LEARNING, ISSUE: 9789812878663, PAGES: 381-386
1218
TITLE: Interleaved Concatenated Coding for Secrecy in the Finite Blocklength Regime Full Text
AUTHORS: Joao P Vilela ; Marco Gomes; Willie K Harrison; Dinis Sarmento; Fabio Dias;
PUBLISHED: 2016, SOURCE: IEEE SIGNAL PROCESSING LETTERS, VOLUME: 23, ISSUE: 3, PAGES: 356-360
AUTHORS: Joao P Vilela ; Marco Gomes; Willie K Harrison; Dinis Sarmento; Fabio Dias;
PUBLISHED: 2016, SOURCE: IEEE SIGNAL PROCESSING LETTERS, VOLUME: 23, ISSUE: 3, PAGES: 356-360
1219
TITLE: Interpretable Models to Predict Breast Cancer
AUTHORS: Ferreira, P ; Dutra, I ; Salvini, R; Burnside, E;
PUBLISHED: 2016, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2016 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), PAGES: 1507-1511
AUTHORS: Ferreira, P ; Dutra, I ; Salvini, R; Burnside, E;
PUBLISHED: 2016, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2016 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), PAGES: 1507-1511
1220
TITLE: Lambda Calculus with Regular Types
AUTHORS: Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2016, SOURCE: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 2015 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), PAGES: 129-136
AUTHORS: Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2016, SOURCE: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 2015 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), PAGES: 129-136
