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: 10649

536 Team Members
Filters -> Year: 2026
8861
TITLE: Strong Knowledge Extractors for Public-Key Encryption Schemes
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 164-+
INDEXED IN: Scopus WOS DBLP CrossRef: 3
8862
TITLE: Studying blog features over link popularity
AUTHORS: José Luís Devezas ; Cristina Ribeiro ; Sérgio Nunes ;
PUBLISHED: 2010, SOURCE: SOMA@KDD, PAGES: 31-34
INDEXED IN: Scopus DBLP CrossRef: 1
8863
TITLE: Supporting the evolution of software knowledge with adaptive software artifacts
AUTHORS: Filipe Figueiredo Correia ;
PUBLISHED: 2010, SOURCE: ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, SPLASH '10 in Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA, PAGES: 231-232
INDEXED IN: Scopus DBLP CrossRef: 1
8864
TITLE: TALM: A Hybrid Execution Model with Distributed Speculation Support
AUTHORS: Leandro A J Marzulo; Tiago A O Alves; Felipe M G França; Vítor Santos Costa ;
PUBLISHED: 2010, SOURCE: SBAC-PAD (Workshops), PAGES: 31-36
INDEXED IN: Scopus DBLP CrossRef: 11
8865
TITLE: Temporal Anomaly Detection: An Artificial Immune Approach Based on T Cell Activation, Clonal Size Regulation and Homeostasis
AUTHORS: Antunes, MJ ; Correia, ME ;
PUBLISHED: 2010, SOURCE: ADVANCES IN COMPUTATIONAL BIOLOGY, VOLUME: 680, PAGES: 291-298
INDEXED IN: Scopus WOS CrossRef: 3 Handle
8866
TITLE: Term Frequency Dynamics in Collaborative Articles
AUTHORS: Nunes, S ; Ribeiro, C ; David, G ;
PUBLISHED: 2010, SOURCE: 10th ACM Symposium on Document Engineering in DOCENG2010: PROCEEDINGS OF THE 2010 ACM SYMPOSIUM ON DOCUMENT ENGINEERING, PAGES: 267-270
INDEXED IN: Scopus WOS DBLP CrossRef Handle
8867
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
8868
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
8869
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
8870
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
8871
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
8873
TITLE: The Feasibility of Navigation Algorithms on Smartphones using J2ME
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
8874
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
8875
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
8876
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
8877
TITLE: The next generation of transportation systems, greenhouse emissions, and data mining
AUTHORS: Hillol Kargupta; João Gama ; Wei Fan;
PUBLISHED: 2010, SOURCE: KDD, PAGES: 1209-1212
INDEXED IN: Scopus DBLP CrossRef: 17
8878
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
8879
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
8880
TITLE: Thresholds for epidemiological outbreaks
AUTHORS: José M G Martins ;
PUBLISHED: 2010
INDEXED IN: Handle

Results per Page: 20.
Page 444 of 533. Total results: 10649.