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

536 Team Members
Filters -> Year: 2026
8601
TITLE: AN ARCHITECTURE FOR COLLABORATIVE DATA MINING
AUTHORS: Correia, F; Camacho, R ; Lopes, JC ;
PUBLISHED: 2010, SOURCE: International Conference on Knowledge Discovery and Information Retrieval (KDIR 2010) in KDIR 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE DISCOVERY AND INFORMATION RETRIEVAL, PAGES: 467-470
INDEXED IN: Scopus WOS DBLP Handle
8602
TITLE: An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 279-+
INDEXED IN: Scopus WOS DBLP CrossRef: 1
8603
TITLE: An integrated system for submission, assessment, feedback and publication of online digital portfolios
AUTHORS: Figueira, A ; Felix, C ; Ferreira, C;
PUBLISHED: 2010, SOURCE: 8th IASTED International Conference on Web-Based Education, WBE 2010 in Proceedings of the 8th IASTED International Conference on Web-Based Education, WBE 2010, PAGES: 108-113
INDEXED IN: Scopus CrossRef: 1
8604
TITLE: An integrated system to support electricity tariff contract definition
AUTHORS: Rodrigues, F ; Figueiredo, V; Vale, Z ;
PUBLISHED: 2010, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 218, PAGES: 99-109
INDEXED IN: Scopus CrossRef
8605
TITLE: AN INTELLIGENT FRAMEWORK FOR AUTOMATIC EVENT DETECTION IN ROBOTIC SOCCER GAMES <i>An Auxiliar Tool to Help Coaches Improve their Teams</i>' <i>Performance</i>
AUTHORS: Portela, J; Abreu, P ; Reis, LP ; Oliveira, E ; Garganta, J ;
PUBLISHED: 2010, SOURCE: 12th International Conference on Enterprise Information Systems (ICEIS 2010) in ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 2: ARTIFICIAL INTELLIGENCE AND DECISION SUPPORT SYSTEMS, VOLUME: 2 AIDSS, PAGES: 244-249
INDEXED IN: Scopus WOS DBLP
8606
TITLE: Arc exchange systems and renormalization  Full Text
AUTHORS: Pinto, AA ; Rand, DA; Ferreira, F ;
PUBLISHED: 2010, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 16, ISSUE: 4, PAGES: 347-371
INDEXED IN: Scopus WOS CrossRef: 3
8607
TITLE: Architecture for transparent helpdesk system with multimodal presence
AUTHORS: Leonel Morgado ; Paulo Reis; Fausto de Carvalho; Tiago Ribeiro; Pedro Mestre ; C. Serôdio ;
PUBLISHED: 2010, SOURCE: SOCA, PAGES: 1-4
INDEXED IN: Scopus DBLP CrossRef
8608
TITLE: Assertion-based Slicing and Slice Graphs
AUTHORS: José Bernardo Barros ; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: SEFM, PAGES: 93-102
INDEXED IN: Scopus DBLP CrossRef: 6
8609
TITLE: Automated endoscopic capsule analysis using a Grid computing environment
AUTHORS: Ilidio C Oliveira ; Luis Alves; Eduardo Dias; David Pacheco; Sergio Lima; Joao Barros; Miguel P Monteiro ; Jorge A Silva ; Jose Maria Fernandes ; Cunha, JPS ; Antonio Sousa Pereira;
PUBLISHED: 2010, SOURCE: 4th Iberian Grid Infrastructure Conference (IBERGRID) in IBERGRID: 4TH IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PAGES: 319-330
INDEXED IN: WOS
8610
TITLE: Automatic identification of drops in images of agitated liquid-liquid dispersion
AUTHORS: Gomes, EF ; Bras, LMR; M. M. M. Ribeiro ;
PUBLISHED: 2010, SOURCE: International Journal of Imaging, VOLUME: 4, ISSUE: 10 A, PAGES: 2-17
INDEXED IN: Scopus
8611
TITLE: Automatically Inferring ClassSheet Models from Spreadsheets
AUTHORS: Jácome Cunha ; Martin Erwig; João Saraiva ;
PUBLISHED: 2010, SOURCE: VL/HCC, PAGES: 93-100
INDEXED IN: Scopus DBLP CrossRef: 41
8612
TITLE: Beam search heuristics for quadratic earliness and tardiness scheduling
AUTHORS: Valente, JMS ;
PUBLISHED: 2010, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 61, ISSUE: 4, PAGES: 620-631
INDEXED IN: Scopus WOS CrossRef: 14
8613
TITLE: Bigorna - a toolkit for orthography migration challenges
AUTHORS: Almeida, JJ ; Santos, A ; Simoes, A ;
PUBLISHED: 2010, SOURCE: 7th International Conference on Language Resources and Evaluation (LREC) in LREC 2010 - SEVENTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, PAGES: 227-232
INDEXED IN: Scopus WOS DBLP Handle
8614
TITLE: Bipartite Graphs for Monitoring Clusters Transitions
AUTHORS: Oliveira, M ; Gama, J ;
PUBLISHED: 2010, SOURCE: 9th International Symposium on Intelligent Data Analysis in ADVANCES IN INTELLIGENT DATA ANALYSIS IX, PROCEEDINGS, VOLUME: 6065, PAGES: 114-124
INDEXED IN: Scopus WOS DBLP CrossRef: 14
8615
TITLE: Brain's Electrical Response To Visual And Auditory Stimuli Relations Between The Two Stimuli Modalities
AUTHORS: Bruno Giesteira ; Joao Travassos; Diamantino Freitas ; Diana Tavares;
PUBLISHED: 2010, SOURCE: 2010 3rd International Conference on Biomedical Engineering and Informatics (BMEI 2010) in 2010 3RD INTERNATIONAL CONFERENCE ON BIOMEDICAL ENGINEERING AND INFORMATICS (BMEI 2010), VOLS 1-7, VOLUME: 2, PAGES: 782-786
INDEXED IN: Scopus WOS CrossRef
8616
TITLE: Bringing class diagrams to life
AUTHORS: Luís Soares Barbosa ; Sun Meng;
PUBLISHED: 2010, SOURCE: Innov. Syst. Softw. Eng., VOLUME: 6, ISSUE: 1-2, PAGES: 91-98
INDEXED IN: Scopus DBLP CrossRef
8617
TITLE: Case-based Reasoning for Self-Optimizing Behavior  Full Text
AUTHORS: Pereira, I ; Madureira, A ;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Systems, Man and Cybernetics in IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2010), PAGES: 4236-4243
INDEXED IN: Scopus WOS DBLP CrossRef Handle
8618
TITLE: Certification of open-source software: A role for formal methods?
AUTHORS: Barbosa, LS ; Cerone, A; Petrenko, AK; Shaikh, SA;
PUBLISHED: 2010, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, ISSUE: 4, PAGES: 273-281
INDEXED IN: Scopus WOS DBLP
8619
TITLE: Change Detection with Kalman Filter and CUSUM
AUTHORS: Milton Severo ; João Gama ;
PUBLISHED: 2010, SOURCE: Ubiquitous Knowledge Discovery, VOLUME: 6202 LNAI, PAGES: 148-162
INDEXED IN: Scopus DBLP CrossRef: 7
8620
TITLE: Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples
AUTHORS: Muggleton, S; Paes, A; Costa, VS ; Zaverucha, G;
PUBLISHED: 2010, SOURCE: 19th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 5989, PAGES: 123-+
INDEXED IN: Scopus WOS DBLP CrossRef: 7

Results per Page: 20.
Page 431 of 532. Total results: 10637.