CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 10703

536 Team Members
Filters -> Year: 2026
8921
TITLE: Test Coverage Analysis of UML Activity Diagrams for Interactive Systems
AUTHORS: Ferreira, RDF; Faria, JP ; Paiva, ACR ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PAGES: 268-273
INDEXED IN: Scopus WOS DBLP CrossRef
8922
TITLE: Test Coverage Analysis of UML State Machines
AUTHORS: Ricardo D F Ferreira; João C P Faria ; Ana C R Paiva ;
PUBLISHED: 2010, SOURCE: ICST Workshops, PAGES: 284-289
INDEXED IN: Scopus DBLP CrossRef: 11
8923
TITLE: Testing Aspect-Oriented Programs
AUTHORS: Moreira, RMLM; Paiva, ACR ; Aguiar, A ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 271-276
INDEXED IN: Scopus WOS Handle
8924
TITLE: The "digitalisation" of youth: How do they manage and integrate digital technologies?. How Do They Manage and Integrate Digital Technologies?
AUTHORS: Brito, PQ ;
PUBLISHED: 2010, SOURCE: Handbook of Research on Digital Media and Advertising: User Generated Content Consumption, PAGES: 345-373
INDEXED IN: Scopus CrossRef: 1
8925
TITLE: The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
AUTHORS: Silva, JL ; Ribeiro, OR; Fernandes, JM ; Campos, JC ; Harrison, MD ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Human-Centred Software Engineering in HUMAN-CENTRED SOFTWARE ENGINEERING, VOLUME: 6409, PAGES: 6-+
INDEXED IN: Scopus WOS DBLP CrossRef: 10
8927
TITLE: The Feasibility of Navigation Algorithms on Smartphones using J2ME  Full Text
AUTHORS: Santos, AC; Tarrataca, L; Cardoso, JMP ;
PUBLISHED: 2010, SOURCE: MOBILE NETWORKS & APPLICATIONS, VOLUME: 15, ISSUE: 6, PAGES: 819-830
INDEXED IN: Scopus WOS DBLP CrossRef: 9
8928
TITLE: The GUISurfer Tool: Towards a Language Independent Approach to Reverse Engineering GUI Code. towards a language independent approach to reverse engineering GUI code
AUTHORS: Silva, JC; Silva, C; Gonçalo, R; Saraiva, J ; Campos, JC ;
PUBLISHED: 2010, SOURCE: 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems in EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, PAGES: 181-186
INDEXED IN: Scopus WOS DBLP CrossRef: 27
8929
TITLE: The Impact of Pre-processing on the Classification of MEDLINE Documents
AUTHORS: Gonçalves, CA ; Gonçalves, CT ; Camacho, R ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: 10th International Workshop on Pattern Recognition in Information Systems, PRIS 2010 / ICEIS 2010 in PATTERN RECOGNITION IN INFORMATION SYSTEMS, PAGES: 53-61
INDEXED IN: Scopus WOS DBLP
8930
TITLE: The implementation of lean Six Sigma in financial services organizations
AUTHORS: Delgado, C ; Ferreira, M; Branco, MC ;
PUBLISHED: 2010, SOURCE: Journal of Manufacturing Technology Management, VOLUME: 21, ISSUE: 4, PAGES: 512-523
INDEXED IN: Scopus CrossRef: 135
8931
TITLE: The next generation of transportation systems, greenhouse emissions, and data mining  Full Text
AUTHORS: Hillol Kargupta; João Gama ; Wei Fan;
PUBLISHED: 2010, SOURCE: KDD, PAGES: 1209-1212
INDEXED IN: Scopus DBLP CrossRef: 17
8932
TITLE: The SmartVision Navigation Prototype for the Blind
AUTHORS: du Buf, JMH; Barroso, J ; Rodrigues, JMF ; Paredes, H ; Farrajota, M; Fernandes, H ; Jose, J; Teixeira, V; Saleiro, M;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2010), VOLUME: 5, ISSUE: 5, PAGES: 167-174
INDEXED IN: Scopus WOS CrossRef: 31
8933
TITLE: Threads and or-parallelism unified
AUTHORS: Costa, VS ; Dutra, I ; Rocha, R ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, ISSUE: 4-6, PAGES: 417-432
INDEXED IN: Scopus WOS DBLP CrossRef: 6
8934
TITLE: Thresholds for epidemiological outbreaks
AUTHORS: José M G Martins ;
PUBLISHED: 2010
INDEXED IN: Handle
8935
TITLE: Time Domain BRS Estimation: Least Squares versus Quantile Regression
AUTHORS: Gouveia, S ; Rocha, C ; Rocha, AP ; Silva, ME ;
PUBLISHED: 2010, SOURCE: 37th Annual Conference of the Computing-in-Cardiology in COMPUTING IN CARDIOLOGY 2010, VOL 37, VOLUME: 37, PAGES: 931-934
INDEXED IN: Scopus WOS
8936
TITLE: Tone Mapping Operators on Small Screen Devices: An Evaluation Study  Full Text
AUTHORS: Urbano, C; Magalhaes, L ; Moura, J.P. ; Bessa, M ; Marcos, A ; Chalmers, A;
PUBLISHED: 2010, SOURCE: COMPUTER GRAPHICS FORUM, VOLUME: 29, ISSUE: 8, PAGES: 2469-2478
INDEXED IN: Scopus WOS DBLP CrossRef: 10
8937
TITLE: Towards a study of meta-predicate semantics PDF
AUTHORS: Moura, P ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming, ICLP 2010 - Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments - CICLOPS-WLPE 2010 in Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010, VOLUME: abs/1009.3773, PAGES: 04
INDEXED IN: Scopus DBLP arXiv
8938
TITLE: Towards a Theory of Views for Feature Models PDF
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2010, SOURCE: SPLC Workshops, PAGES: 91-98
INDEXED IN: DBLP
8939
TITLE: Towards e-learning 2.0: case study of an e-learning environment
AUTHORS: Ricardo Queirós ; Lino Oliveira; Mário Pinto; Cândida Silva;
PUBLISHED: 2010, SOURCE: Proceedings of the 9th European Conference on e-Learning
INDEXED IN: Handle
8940
TITLE: Towards eLearning 2.0: Case Study of an eLearning Environment
AUTHORS: Ricardo Queiros ; Lino Oliveira ; Mario Pinto; Candida Silva;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 812-815
INDEXED IN: Scopus WOS

Results per Page: 20.
Page 447 of 536. Total results: 10703.