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: 8104
531 Team MembersFilters -> Year: 2024
5861
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
5862
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
5863
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
5864
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
5865
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
5866
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
5867
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
5868
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 WOS5869
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
5870
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
5871
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
5872
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
5873
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
5874
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
5875
TITLE: Uma reflexão crítica sobre a prática científica e o seu contributo para a qualidade de vida da sociedade Full Text
AUTHORS: José Vasconcelos-Raposo ; Carla Maria Teixeira; Fernandes, HM ;
PUBLISHED: 2012, SOURCE: Motricidade, VOLUME: 8, ISSUE: 1
AUTHORS: José Vasconcelos-Raposo ; Carla Maria Teixeira; Fernandes, HM ;
PUBLISHED: 2012, SOURCE: Motricidade, VOLUME: 8, ISSUE: 1
INDEXED IN: 
CrossRef
CrossRef5876
TITLE: Unachievable region in precision-recall space and its effect on empirical evaluation
AUTHORS: Kendrick Boyd; Jesse Davis; David Page; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 1, PAGES: 639-646
AUTHORS: Kendrick Boyd; Jesse Davis; David Page; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 1, PAGES: 639-646
INDEXED IN: Scopus 
DBLP
Scopus DBLP5877
TITLE: Usability test of 3Dconnexion 3D mice versus keyboard plus mouse in Second Life undertaken by people with motor disabilities due to medullary lesions
AUTHORS: Marcio Martins ; Antonio Cunha ; Leonel Morgado ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 119-127
AUTHORS: Marcio Martins ; Antonio Cunha ; Leonel Morgado ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 119-127
5878
TITLE: Using Peano-Hilbert space filling curves for fast bidimensional ensemble EMD realization Full Text
AUTHORS: Paulo Costa; Joao Barroso ; Hugo Fernandes ; Leontios J Hadjileontiadis;
PUBLISHED: 2012, SOURCE: EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, VOLUME: 2012, ISSUE: 1, PAGES: 181
AUTHORS: Paulo Costa; Joao Barroso ; Hugo Fernandes ; Leontios J Hadjileontiadis;
PUBLISHED: 2012, SOURCE: EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, VOLUME: 2012, ISSUE: 1, PAGES: 181
5879
TITLE: Using Serious Games to Train Evacuation Behaviour PDF
AUTHORS: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, VOLUME: abs/1303.3828, PAGES: 771-776
AUTHORS: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, VOLUME: abs/1303.3828, PAGES: 771-776
INDEXED IN: Scopus WOS DBLP 
arXiv
Scopus WOS DBLP arXiv5880
TITLE: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)
AUTHORS: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317, PAGES: 493-495
AUTHORS: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317, PAGES: 493-495
