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: 8280
531 Team MembersFilters -> Year: 2024
6381
TITLE: Supporting requirements formulation in software formal verification
AUTHORS: Campos, J. Creissac ; José M Machado;
PUBLISHED: 2011
AUTHORS: Campos, J. Creissac ; José M Machado;
PUBLISHED: 2011
INDEXED IN: 
Handle
Handle6382
TITLE: Tangible Interaction on Tabletops for Elderly People
AUTHORS: Marques, T; Nunes, F; Silva, P; Rodrigues, R ;
PUBLISHED: 2011, SOURCE: 10th International Conference on Entertainment Computing10th Biennial Pan Ocean Remote Sensing Conference (PORSEC) in ENTERTAINMENT COMPUTING - ICEC 2011, VOLUME: 6972, PAGES: 440-443
AUTHORS: Marques, T; Nunes, F; Silva, P; Rodrigues, R ;
PUBLISHED: 2011, SOURCE: 10th International Conference on Entertainment Computing10th Biennial Pan Ocean Remote Sensing Conference (PORSEC) in ENTERTAINMENT COMPUTING - ICEC 2011, VOLUME: 6972, PAGES: 440-443
6383
TITLE: Technical analysis and approaches for game development in second life
AUTHORS: Cruz, A; Coelho, A ; Sousa, A ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
AUTHORS: Cruz, A; Coelho, A ; Sousa, A ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXED IN: 
Scopus
Scopus6384
TITLE: Techniques for Dynamically Mapping Computations to Coprocessors
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2011, SOURCE: 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011 in 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011, Cancun, Mexico, November 30 - December 2, 2011, PAGES: 505-508
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2011, SOURCE: 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011 in 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011, Cancun, Mexico, November 30 - December 2, 2011, PAGES: 505-508
6385
TITLE: Term Weighting Based on Document Revision History
AUTHORS: Nunes, S ; Ribeiro, C ; David, G ;
PUBLISHED: 2011, SOURCE: JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE AND TECHNOLOGY, VOLUME: 62, ISSUE: 12, PAGES: 2471-2478
AUTHORS: Nunes, S ; Ribeiro, C ; David, G ;
PUBLISHED: 2011, SOURCE: JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE AND TECHNOLOGY, VOLUME: 62, ISSUE: 12, PAGES: 2471-2478
6386
TITLE: Test case generation from mutated task models
AUTHORS: Barbosa, A; Paiva, ACR ; Campos, JC ;
PUBLISHED: 2011, SOURCE: 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'11 in Proceedings of the 2011 SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011, PAGES: 175-184
AUTHORS: Barbosa, A; Paiva, ACR ; Campos, JC ;
PUBLISHED: 2011, SOURCE: 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'11 in Proceedings of the 2011 SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011, PAGES: 175-184
6387
TITLE: TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY
AUTHORS: Francisco Rebello de Andrade; Joao Pascoal Faria ; Ana C R Paiva ;
PUBLISHED: 2011, SOURCE: 6th International Conference on Software and Database Technologies (ICSOFT 2011) in ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, VOLUME: 2, PAGES: 192-200
AUTHORS: Francisco Rebello de Andrade; Joao Pascoal Faria ; Ana C R Paiva ;
PUBLISHED: 2011, SOURCE: 6th International Conference on Software and Database Technologies (ICSOFT 2011) in ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, VOLUME: 2, PAGES: 192-200
INDEXED IN: Scopus 
WOS 
DBLP
Scopus WOS DBLP6388
TITLE: Testing for Deterministic Trends in Global Sea Surface Temperature Full Text
AUTHORS: Susana M Barbosa ;
PUBLISHED: 2011, SOURCE: JOURNAL OF CLIMATE, VOLUME: 24, ISSUE: 10, PAGES: 2516-2522
AUTHORS: Susana M Barbosa ;
PUBLISHED: 2011, SOURCE: JOURNAL OF CLIMATE, VOLUME: 24, ISSUE: 10, PAGES: 2516-2522
6389
TITLE: The architecture design for content-aware network security services
AUTHORS: Lupu, R; Borcoci, E; Stanciu, M; Pinto, A ;
PUBLISHED: 2011, SOURCE: UPB Scientific Bulletin, Series C: Electrical Engineering, VOLUME: 73, ISSUE: 3, PAGES: 151-164
AUTHORS: Lupu, R; Borcoci, E; Stanciu, M; Pinto, A ;
PUBLISHED: 2011, SOURCE: UPB Scientific Bulletin, Series C: Electrical Engineering, VOLUME: 73, ISSUE: 3, PAGES: 151-164
INDEXED IN: Scopus
Scopus6390
TITLE: The importance of precision in humour classification
AUTHORS: Costa, J; Silva, C ; Antunes, M ; Bernardete Ribeiro ;
PUBLISHED: 2011, SOURCE: 12th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6936 LNCS, PAGES: 271-278
AUTHORS: Costa, J; Silva, C ; Antunes, M ; Bernardete Ribeiro ;
PUBLISHED: 2011, SOURCE: 12th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6936 LNCS, PAGES: 271-278
6391
TITLE: The importance of qualitative evaluation on E-learning systems
AUTHORS: Luciana Freire; Pedro M Arezes ; Jose C Campos ;
PUBLISHED: 2011, SOURCE: 7th International Symposium on Occupational Safety and Hygiene (SHO) in SHO2011: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PAGES: 278-282
AUTHORS: Luciana Freire; Pedro M Arezes ; Jose C Campos ;
PUBLISHED: 2011, SOURCE: 7th International Symposium on Occupational Safety and Hygiene (SHO) in SHO2011: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PAGES: 278-282
INDEXED IN: WOS
WOS6392
TITLE: The millennium development goals, national statistical offices, the international statistical literacy project and statistical literacy in schools
AUTHORS: Sanchez, J; Forbes, S; Campos, P ; Giacche, P; Townsend, M; Mooney, G; Helenius, R;
PUBLISHED: 2011, SOURCE: Statistical Journal of the IAOS, VOLUME: 27, ISSUE: 3-4, PAGES: 157-171
AUTHORS: Sanchez, J; Forbes, S; Campos, P ; Giacche, P; Townsend, M; Mooney, G; Helenius, R;
PUBLISHED: 2011, SOURCE: Statistical Journal of the IAOS, VOLUME: 27, ISSUE: 3-4, PAGES: 157-171
INDEXED IN: Scopus
Scopus6393
TITLE: The Role of Coordination Analysis in Software Integration Projects
AUTHORS: Nuno F Rodrigues ; Nuno Oliveira; Luis S Barbosa ;
PUBLISHED: 2011, SOURCE: Confederated International Workshops and Posters: EI2N plus NSF ICE, ICSP plus INBAST, ISDE, ORM, OTMA, SWWS plus MONET plus SeDeS, and VADER in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, VOLUME: 7046, PAGES: 83-92
AUTHORS: Nuno F Rodrigues ; Nuno Oliveira; Luis S Barbosa ;
PUBLISHED: 2011, SOURCE: Confederated International Workshops and Posters: EI2N plus NSF ICE, ICSP plus INBAST, ISDE, ORM, OTMA, SWWS plus MONET plus SeDeS, and VADER in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, VOLUME: 7046, PAGES: 83-92
6394
TITLE: Three Behavioural Scenarios for Contingent Claims Valuation in Incomplete Markets
AUTHORS: Boukas, L; Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLISHED: 2011, SOURCE: 2nd Conference on Nonlinear Science and Complexity (NSC'08) in NONLINEAR SCIENCE AND COMPLEXITY, PAGES: 221-228
AUTHORS: Boukas, L; Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLISHED: 2011, SOURCE: 2nd Conference on Nonlinear Science and Complexity (NSC'08) in NONLINEAR SCIENCE AND COMPLEXITY, PAGES: 221-228
6395
TITLE: Tilings and Bussola for Making Decisions
AUTHORS: Alberto A Pinto ; Abdelrahim S Mousa; Mohammad S Mousa; Rasha M Samarah;
PUBLISHED: 2011, SOURCE: International Conference on Dynamical Systems and Game Theory in Honor of Mauricio Peixoto and David Rand in DYNAMICS, GAMES AND SCIENCE I, VOLUME: 1, PAGES: 689-708
AUTHORS: Alberto A Pinto ; Abdelrahim S Mousa; Mohammad S Mousa; Rasha M Samarah;
PUBLISHED: 2011, SOURCE: International Conference on Dynamical Systems and Game Theory in Honor of Mauricio Peixoto and David Rand in DYNAMICS, GAMES AND SCIENCE I, VOLUME: 1, PAGES: 689-708
6396
TITLE: Time series motifs statistical significance
AUTHORS: Castro, N ; Azevedo, PJ ;
PUBLISHED: 2011, SOURCE: 11th SIAM International Conference on Data Mining, SDM 2011 in Proceedings of the 11th SIAM International Conference on Data Mining, SDM 2011, PAGES: 687-698
AUTHORS: Castro, N ; Azevedo, PJ ;
PUBLISHED: 2011, SOURCE: 11th SIAM International Conference on Data Mining, SDM 2011 in Proceedings of the 11th SIAM International Conference on Data Mining, SDM 2011, PAGES: 687-698
6397
TITLE: Transformation of structure-shy programs with application to XPath queries and strategic functions Full Text
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2011, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, ISSUE: 6, PAGES: 516-539
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2011, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, ISSUE: 6, PAGES: 516-539
6398
TITLE: Transformation Rules for Model Migration in Relational Database Preservation
AUTHORS: Arif Ur Rahman; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2011, SOURCE: Proceedings of the 8th International Conference on Digital Preservation, iPRES 2011, Singapore, November 1-4, 2011
AUTHORS: Arif Ur Rahman; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2011, SOURCE: Proceedings of the 8th International Conference on Digital Preservation, iPRES 2011, Singapore, November 1-4, 2011
INDEXED IN: DBLP
DBLP6399
TITLE: Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
AUTHORS: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, VOLUME: 7041, PAGES: 221-236
AUTHORS: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, VOLUME: 7041, PAGES: 221-236
6400
TITLE: Trebuchet: Exploring TLP with dataflow virtualisation
AUTHORS: Alves, TAO; Marzulo, LAJ; Franca, FMG; Costa, VS ;
PUBLISHED: 2011, SOURCE: International Journal of High Performance Systems Architecture, VOLUME: 3, ISSUE: 2-3, PAGES: 137-148
AUTHORS: Alves, TAO; Marzulo, LAJ; Franca, FMG; Costa, VS ;
PUBLISHED: 2011, SOURCE: International Journal of High Performance Systems Architecture, VOLUME: 3, ISSUE: 2-3, PAGES: 137-148
