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: 8111
531 Team MembersFilters -> Year: 2024
5861
TITLE: The role of social networks in distributed informal information systems for innovation
AUTHORS: Vasconcelos, V; Campos, P ;
PUBLISHED: 2012, SOURCE: Organizational Integration of Enterprise Systems and Resources: Advancements and Applications, PAGES: 60-75
AUTHORS: Vasconcelos, V; Campos, P ;
PUBLISHED: 2012, SOURCE: Organizational Integration of Enterprise Systems and Resources: Advancements and Applications, PAGES: 60-75
5862
TITLE: The YAP Prolog system
AUTHORS: Vitor Santos Costa ; Ricardo Rocha ; Luis Damas ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2, PAGES: 5-34
AUTHORS: Vitor Santos Costa ; Ricardo Rocha ; Luis Damas ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2, PAGES: 5-34
5863
TITLE: Thoracic wall reconstruction using ultrasound images to model/bend the thoracic prosthesis for correction of pectus excavatum
AUTHORS: Joao Gomes Fonseca; Antonio H J Moreira; Pedro L Rodrigues; Jaime C Fonseca ; Pinho, ACM ; Jorge Correia Pinto ; Nuno F Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2012, SOURCE: Conference on Medical Imaging - Ultrasonic Imaging, Tomography, and Therapy in MEDICAL IMAGING 2012: ULTRASONIC IMAGING, TOMOGRAPHY, AND THERAPY, VOLUME: 8320
AUTHORS: Joao Gomes Fonseca; Antonio H J Moreira; Pedro L Rodrigues; Jaime C Fonseca ; Pinho, ACM ; Jorge Correia Pinto ; Nuno F Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2012, SOURCE: Conference on Medical Imaging - Ultrasonic Imaging, Tomography, and Therapy in MEDICAL IMAGING 2012: ULTRASONIC IMAGING, TOMOGRAPHY, AND THERAPY, VOLUME: 8320
5864
TITLE: Time mesh: An educational historical game
AUTHORS: David Gouveia; Duarte Lopes; Carlos Vaz De Carvalho; Ricardo Batista ;
PUBLISHED: 2012, SOURCE: Proceedings 2012 4th IEEE International Conference on Digital Game and Intelligent Toy Enhanced Learning, DIGITEL 2012, PAGES: 171-173
AUTHORS: David Gouveia; Duarte Lopes; Carlos Vaz De Carvalho; Ricardo Batista ;
PUBLISHED: 2012, SOURCE: Proceedings 2012 4th IEEE International Conference on Digital Game and Intelligent Toy Enhanced Learning, DIGITEL 2012, PAGES: 171-173
5865
TITLE: Towards a Catalog of Spreadsheet Smells
AUTHORS: Cunha, J ; Fernandes, JP ; Ribeiro, H; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, ISSUE: PART 4, PAGES: 202-216
AUTHORS: Cunha, J ; Fernandes, JP ; Ribeiro, H; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, ISSUE: PART 4, PAGES: 202-216
5866
TITLE: Towards a framework to evaluate and improve the quality of implementation of CMMI® practices
AUTHORS: Lopes Margarido, I; Pascoal Faria, J ; Moreira Vidal, R; Vieira, M ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Product-Focused Software Process Improvement, PROFES 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7343 LNCS, PAGES: 361-365
AUTHORS: Lopes Margarido, I; Pascoal Faria, J ; Moreira Vidal, R; Vieira, M ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Product-Focused Software Process Improvement, PROFES 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7343 LNCS, PAGES: 361-365
5867
TITLE: Towards a linear algebra of programming Full Text
AUTHORS: Jose N Oliveira ;
PUBLISHED: 2012, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, ISSUE: 4-6, PAGES: 433-458
AUTHORS: Jose N Oliveira ;
PUBLISHED: 2012, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, ISSUE: 4-6, PAGES: 433-458
5868
TITLE: TOWARDS A SERIOUS GAMES EVACUATION SIMULATOR
AUTHORS: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PAGES: 697-702
AUTHORS: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PAGES: 697-702
5869
TITLE: Towards an evaluation of bidirectional model-driven spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 in 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 - Proceedings, PAGES: 25-28
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 in 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 - Proceedings, PAGES: 25-28
5870
TITLE: Towards an overarching classification model of CSCW and groupware: A socio-technical perspective
AUTHORS: Cruz, A ; Correia, A ; Paredes, H ; Fonseca, B ; Morgado, L ; Martins, P ;
PUBLISHED: 2012, SOURCE: 18th International Conference on Collaboration and Technology, CRIWG 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7493 LNCS, PAGES: 41-56
AUTHORS: Cruz, A ; Correia, A ; Paredes, H ; Fonseca, B ; Morgado, L ; Martins, P ;
PUBLISHED: 2012, SOURCE: 18th International Conference on Collaboration and Technology, CRIWG 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7493 LNCS, PAGES: 41-56
5871
TITLE: Towards linear algebras of components
AUTHORS: Macedo, HD; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS, PAGES: 300-303
AUTHORS: Macedo, HD; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS, PAGES: 300-303
5872
TITLE: Towards Location-based Augmented Reality games
AUTHORS: Jacob, J ; da Silva, H; Coelho, A ; Rodrigues, R ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES) in 4TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES'12), VOLUME: 15, PAGES: 318-319
AUTHORS: Jacob, J ; da Silva, H; Coelho, A ; Rodrigues, R ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES) in 4TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES'12), VOLUME: 15, PAGES: 318-319
5873
TITLE: Towards multi-threaded local tabling using a common table space
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 4-5, PAGES: 427-443
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 4-5, PAGES: 427-443
5874
TITLE: TOWARDS THE IMPLEMENTATION OF A HANDBALL PLAYER AGENT FRAMEWORK
AUTHORS: Jacob, J ; Rosaldo J F Rossetti ; Antonio Coelho ; Rui Rodrigues ;
PUBLISHED: 2012, SOURCE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), PAGES: 204-209
AUTHORS: Jacob, J ; Rosaldo J F Rossetti ; Antonio Coelho ; Rui Rodrigues ;
PUBLISHED: 2012, SOURCE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), PAGES: 204-209
INDEXED IN: 
Scopus 
WOS
Scopus WOS5875
TITLE: Towards the Improvement of Diagnostic Metrics Fault Diagnosis for DSL-Based IPTV Networks using the Renyi Entropy
AUTHORS: Angelos K Marnerides; Simon Malinowski; Ricardo Morla ; Miguel R D Rodrigues ; Hyong S Kim;
PUBLISHED: 2012, SOURCE: IEEE Global Communications Conference (GLOBECOM) in 2012 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), PAGES: 2779-2784
AUTHORS: Angelos K Marnerides; Simon Malinowski; Ricardo Morla ; Miguel R D Rodrigues ; Hyong S Kim;
PUBLISHED: 2012, SOURCE: IEEE Global Communications Conference (GLOBECOM) in 2012 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), PAGES: 2779-2784
5876
TITLE: Towards Utility Maximization in Regression
AUTHORS: Rita P Ribeiro ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Data Mining (ICDM) in 12TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW 2012), PAGES: 179-186
AUTHORS: Rita P Ribeiro ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Data Mining (ICDM) in 12TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW 2012), PAGES: 179-186
5877
TITLE: Trends in ozone concentrations in the Iberian Peninsula by quantile regression and clustering Full Text
AUTHORS: Monteiro, A ; Carvalho, A; Ribeiro, I; Scotto, M ; Barbosa, S ; Alonso, A; Baldasano, JM; Pay, MT; Miranda, AI ; Borrego, C ;
PUBLISHED: 2012, SOURCE: ATMOSPHERIC ENVIRONMENT, VOLUME: 56, PAGES: 184-193
AUTHORS: Monteiro, A ; Carvalho, A; Ribeiro, I; Scotto, M ; Barbosa, S ; Alonso, A; Baldasano, JM; Pay, MT; Miranda, AI ; Borrego, C ;
PUBLISHED: 2012, SOURCE: ATMOSPHERIC ENVIRONMENT, VOLUME: 56, PAGES: 184-193
5878
TITLE: Tweens' characterization of digital technologies Full Text
AUTHORS: Pedro Quelhas Brito ;
PUBLISHED: 2012, SOURCE: COMPUTERS & EDUCATION, VOLUME: 59, ISSUE: 2, PAGES: 580-593
AUTHORS: Pedro Quelhas Brito ;
PUBLISHED: 2012, SOURCE: COMPUTERS & EDUCATION, VOLUME: 59, ISSUE: 2, PAGES: 580-593
5879
TITLE: Type checking cryptography implementations
AUTHORS: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLISHED: 2012, SOURCE: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7141 LNCS, PAGES: 316-334
AUTHORS: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLISHED: 2012, SOURCE: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7141 LNCS, PAGES: 316-334
5880
TITLE: Typed linear algebra for weigthed (probabilistic) automata
AUTHORS: Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 17th International Conference on Implementation and Application of Automata, CIAA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7381 LNCS, PAGES: 52-65
AUTHORS: Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 17th International Conference on Implementation and Application of Automata, CIAA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7381 LNCS, PAGES: 52-65
