CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 10677
536 Team MembersFilters -> Year: 2026
5321
TITLE: Modelação matemática de epidemias através de cadeias de Markov
AUTHORS: Nicole H D Fidalga; Carlos Balsa; João P Almeida ;
PUBLISHED: 2017, SOURCE: IV Encontro de Jovens Investigadores do Instituto Politécnico de Bragança
AUTHORS: Nicole H D Fidalga; Carlos Balsa; João P Almeida ;
PUBLISHED: 2017, SOURCE: IV Encontro de Jovens Investigadores do Instituto Politécnico de Bragança
INDEXED IN: 
Handle
Handle5322
TITLE: Modeling Families of Public Licensing Services: A Case Study
AUTHORS: Cledou, G ; Barbosa, LS ;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 37-43
AUTHORS: Cledou, G ; Barbosa, LS ;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 37-43
5323
TITLE: Modeling, Dynamics, Optimization and Bioeconomics II. DGS III, Porto, Portugal, February 2014, and Bioeconomy VII, Berkeley, USA, March 2014 - Selected Contributions
AUTHORS: Pinto, AA ; Zilberman, D;
PUBLISHED: 2017, SOURCE: 3rd International Conference on Dynamics, Games and Science, DGS 2014 in Springer Proceedings in Mathematics and Statistics, VOLUME: 195
AUTHORS: Pinto, AA ; Zilberman, D;
PUBLISHED: 2017, SOURCE: 3rd International Conference on Dynamics, Games and Science, DGS 2014 in Springer Proceedings in Mathematics and Statistics, VOLUME: 195
5324
TITLE: Modelling spatio-temporal data with multiple seasonalities: The NO2 Portuguese case Full Text
AUTHORS: Monteiro, Andreia ; Raquel Menezes ; Maria Eduarda Silva ;
PUBLISHED: 2017, SOURCE: SPATIAL STATISTICS, VOLUME: 22, PAGES: 371-387
AUTHORS: Monteiro, Andreia ; Raquel Menezes ; Maria Eduarda Silva ;
PUBLISHED: 2017, SOURCE: SPATIAL STATISTICS, VOLUME: 22, PAGES: 371-387
5325
TITLE: MODUS: model-based user interfaces prototyping. model-based user interfaces prototyping
AUTHORS: Marina Machado; Rui Couto ; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: EICS, PAGES: 111-116
AUTHORS: Marina Machado; Rui Couto ; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: EICS, PAGES: 111-116
5326
TITLE: Monoamines and cortisol as potential mediators of the relationship between exercise and depressive symptoms Full Text
AUTHORS: Lara S F Carneiro; Maria Paula Mota ; Maria Augusta Vieira Coelho ; Rita C. Alves ; Antonio Manuel Fonseca ; Jose Vasconcelos Raposo ;
PUBLISHED: 2017, SOURCE: EUROPEAN ARCHIVES OF PSYCHIATRY AND CLINICAL NEUROSCIENCE, VOLUME: 267, ISSUE: 2, PAGES: 117-121
AUTHORS: Lara S F Carneiro; Maria Paula Mota ; Maria Augusta Vieira Coelho ; Rita C. Alves ; Antonio Manuel Fonseca ; Jose Vasconcelos Raposo ;
PUBLISHED: 2017, SOURCE: EUROPEAN ARCHIVES OF PSYCHIATRY AND CLINICAL NEUROSCIENCE, VOLUME: 267, ISSUE: 2, PAGES: 117-121
5327
TITLE: Multi-view data types for scalable concurrency in the multi-core era
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: PMLDC@ECOOP, PAGES: 3:1
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: PMLDC@ECOOP, PAGES: 3:1
INDEXED IN: 
DBLP
DBLP5328
TITLE: Multidimensional test coverage analysis: PARADIGM-COV tool Full Text
AUTHORS: Ana C R Paiva ; Liliana Vilela;
PUBLISHED: 2017, SOURCE: CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, VOLUME: 20, ISSUE: 1, PAGES: 633-649
AUTHORS: Ana C R Paiva ; Liliana Vilela;
PUBLISHED: 2017, SOURCE: CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, VOLUME: 20, ISSUE: 1, PAGES: 633-649
5329
TITLE: Multirate Adaptive Kalman Filter for Marine Integrated Navigation System
AUTHORS: Narjes Davari ; Asghar Gholami; Mohammad Shabani;
PUBLISHED: 2017, SOURCE: Journal of Navigation, VOLUME: 70, ISSUE: 3, PAGES: 628-647
AUTHORS: Narjes Davari ; Asghar Gholami; Mohammad Shabani;
PUBLISHED: 2017, SOURCE: Journal of Navigation, VOLUME: 70, ISSUE: 3, PAGES: 628-647
5330
TITLE: Multisensory virtual environment for firefighter training simulation Study of the impact of haptic feedback on task execution
AUTHORS: Luis Barbosa ; Pedro Monteiro ; Manuel Pinto; Hugo Coelho ; Miguel Melo ; Maximino Bessa ;
PUBLISHED: 2017, SOURCE: 24th Encontro Portugues de Computacao Grcfica e Interacao (EPCGI) in 2017 24 ENCONTRO PORTUGUES DE COMPUTACAO GRAFICA E INTERACAO (EPCGI), VOLUME: 2017-January, PAGES: 1-7
AUTHORS: Luis Barbosa ; Pedro Monteiro ; Manuel Pinto; Hugo Coelho ; Miguel Melo ; Maximino Bessa ;
PUBLISHED: 2017, SOURCE: 24th Encontro Portugues de Computacao Grcfica e Interacao (EPCGI) in 2017 24 ENCONTRO PORTUGUES DE COMPUTACAO GRAFICA E INTERACAO (EPCGI), VOLUME: 2017-January, PAGES: 1-7
5331
TITLE: MuSec: Sonification of Alarms Generated by a SIEM
AUTHORS: Sousa, L; Pinto, A ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 32-39
AUTHORS: Sousa, L; Pinto, A ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 32-39
5332
TITLE: MyAutoIconPlat: An Automatic Platform for Icons Creation
AUTHORS: Rocha, T ; Pinheiro, P; Santos, J; Marques, A; Paredes, H ; Barroso, J ;
PUBLISHED: 2017, SOURCE: UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: DESIGN AND DEVELOPMENT APPROACHES AND METHODS, PT I, VOLUME: 10277, PAGES: 423-432
AUTHORS: Rocha, T ; Pinheiro, P; Santos, J; Marques, A; Paredes, H ; Barroso, J ;
PUBLISHED: 2017, SOURCE: UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: DESIGN AND DEVELOPMENT APPROACHES AND METHODS, PT I, VOLUME: 10277, PAGES: 423-432
5333
TITLE: MyCarMobile: A Travel Assistance Emergency Mobile App for Deaf People
AUTHORS: Rocha, T ; Paredes, H ; Soares, D; Fonseca, B ; Barroso, J ;
PUBLISHED: 2017, SOURCE: 16th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2017, PT I, VOLUME: 10513, PAGES: 56-65
AUTHORS: Rocha, T ; Paredes, H ; Soares, D; Fonseca, B ; Barroso, J ;
PUBLISHED: 2017, SOURCE: 16th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2017, PT I, VOLUME: 10513, PAGES: 56-65
5334
TITLE: NASH AND SOCIAL WELFARE IMPACT IN AN INTERNATIONAL TRADE MODEL
AUTHORS: Jorge Passamani Zubelli; Alberto A Pinto ; Filipe Martins ;
PUBLISHED: 2017, SOURCE: JOURNAL OF DYNAMICS AND GAMES, VOLUME: 4, ISSUE: 2, PAGES: 149-173
AUTHORS: Jorge Passamani Zubelli; Alberto A Pinto ; Filipe Martins ;
PUBLISHED: 2017, SOURCE: JOURNAL OF DYNAMICS AND GAMES, VOLUME: 4, ISSUE: 2, PAGES: 149-173
5335
TITLE: Network Motifs Detection Using Random Networks with Prescribed Subgraph Frequencies
AUTHORS: Miguel E P Silva ; Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2017, SOURCE: 8th Conference on Complex Networks (CompleNet) in COMPLEX NETWORKS VIII, VOLUME: Part F2, PAGES: 17-29
AUTHORS: Miguel E P Silva ; Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2017, SOURCE: 8th Conference on Complex Networks (CompleNet) in COMPLEX NETWORKS VIII, VOLUME: Part F2, PAGES: 17-29
5336
TITLE: Networks of Universities as a Tool for GCIO Education
AUTHORS: Luís Soares Barbosa ; Luís Paulo Santos ;
PUBLISHED: 2017, SOURCE: EGOV, VOLUME: 10428 LNCS, PAGES: 117-127
AUTHORS: Luís Soares Barbosa ; Luís Paulo Santos ;
PUBLISHED: 2017, SOURCE: EGOV, VOLUME: 10428 LNCS, PAGES: 117-127
5337
TITLE: New Formulations for the Unit Commitment Problem <i>Optimal Control and Switching-Time Parameterization Approaches</i>
AUTHORS: Roque, Luis A. C. ; Fontes, Fernando A. C. C. ; Fontes, Dalila B. M. M. ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Informatics in Control, Automation and Robotics (ICINCO) in ICINCO: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS - VOL 1, VOLUME: 1, PAGES: 326-331
AUTHORS: Roque, Luis A. C. ; Fontes, Fernando A. C. C. ; Fontes, Dalila B. M. M. ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Informatics in Control, Automation and Robotics (ICINCO) in ICINCO: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS - VOL 1, VOLUME: 1, PAGES: 326-331
5338
TITLE: Non-Blocking Concurrent Imperative Programming with Session Types
AUTHORS: Silva, M ; Florido, M ; Pfenning, F ;
PUBLISHED: 2017, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, ISSUE: 238, PAGES: 64-72
AUTHORS: Silva, M ; Florido, M ; Pfenning, F ;
PUBLISHED: 2017, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, ISSUE: 238, PAGES: 64-72
5339
TITLE: NOOA: Maintaining Cultural Identity Through Intergenerational Storytelling and Digital Affinity Spaces
AUTHORS: Monteiro, J ; Morais, C ; Carvalhais, M ;
PUBLISHED: 2017, SOURCE: 10th International Conference on Interactive Digital Storytelling (ICIDS) in INTERACTIVE STORYTELLING, ICIDS 2017, VOLUME: 10690, PAGES: 376-379
AUTHORS: Monteiro, J ; Morais, C ; Carvalhais, M ;
PUBLISHED: 2017, SOURCE: 10th International Conference on Interactive Digital Storytelling (ICIDS) in INTERACTIVE STORYTELLING, ICIDS 2017, VOLUME: 10690, PAGES: 376-379
5340
TITLE: Nord Pool Ontology to Enhance Electricity Markets Simulation in MASCEM
AUTHORS: Santos, G; Pinto, T ; Praca, I ; Vale, Z ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 283-294
AUTHORS: Santos, G; Pinto, T ; Praca, I ; Vale, Z ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 283-294
