Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

1706 Team Members
Filters -> Year: 2025
18881
TITLE: Weak reduction and garbage collection in interaction nets
AUTHORS: Pinto, JS ;
PUBLISHED: 2003, SOURCE: WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings in Electronic Notes in Theoretical Computer Science, VOLUME: 86, ISSUE: 4, PAGES: 625-640
INDEXED IN: Scopus DBLP CrossRef: 3
18882
TITLE: What can we learn from a measurement of sin(2 beta+gamma)?
AUTHORS: Silva, JP ; Soffer, A; Wolfenstein, L; Wu, F;
PUBLISHED: 2003, SOURCE: PHYSICAL REVIEW D, VOLUME: 67, ISSUE: 3
INDEXED IN: Scopus WOS
18883
TITLE: Workshop on Language Descriptions, Tools and Applications, LDTA@ETAPS 2003, Warsaw, Poland, April 12-13, 2003
AUTHORS: Barrett R Bryant; João Saraiva ;
PUBLISHED: 2003, SOURCE: LDTA@ETAPS, VOLUME: 82, ISSUE: 3
INDEXED IN: DBLP
18884
TITLE: XSDoc: an Extensible Wiki-based Infrastructure for Framework Documentation
AUTHORS: Ademar Aguiar ; Gabriel David ; Manuel Padilha;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 11-24
INDEXED IN: DBLP
18885
TITLE: YapDss: An Or-parallel prolog system for scalable Beowulf clusters  Full Text
AUTHORS: Rocha, R ; Silva, F ; Martins, R ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, ISSUE: 2902, PAGES: 136-150
INDEXED IN: Scopus WOS DBLP CrossRef: 2
18886
TITLE: [NO TITLE AVAILABLE]
AUTHORS: Jorge M S Valente ; Rui A F S Alves;
PUBLISHED: 2003, SOURCE: Pesquisa Operacional, VOLUME: 23, ISSUE: 3, PAGES: 443-456
INDEXED IN: CrossRef: 2
18887
TITLE: A 2-exchange heuristic for nesting problems  Full Text
AUTHORS: Gomes, AM ; Oliveira, JF ;
PUBLISHED: 2002, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 141, ISSUE: 2, PAGES: 359-370
INDEXED IN: Scopus WOS CrossRef: 112
18888
TITLE: A comparative morphologic analysis of benchmark sets of project networks  Full Text
AUTHORS: Valadares Tavares, L ; Antunes Ferreira, J ; Silva Coelho, J ;
PUBLISHED: 2002, SOURCE: International Journal of Project Management, VOLUME: 20, ISSUE: 6, PAGES: 475-485
INDEXED IN: Scopus CrossRef: 18
18889
TITLE: A comparative study of some issues concerning algorithm recommendation using ranking methods
AUTHORS: Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 8th Ibero-American Conference on Artifical Intelligence (IBERAMIA 02) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS, VOLUME: 2527, PAGES: 80-89
INDEXED IN: Scopus WOS DBLP CrossRef: 2
18892
TITLE: A new quantified approach to video-EEG analysis in epileptic seizures
AUTHORS: Cunha, JP ; Li, ZJ; da Silva, AM;
PUBLISHED: 2002, SOURCE: 6th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2002)/8th International Conference on Information Systems Analysis and Synthesis (ISAS 2002) in 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: CONCEPTS AND APPLICATIONS OF SYSTEMICS, CYBERNETICS AND INFORMATICS III, PAGES: 203-207
INDEXED IN: WOS
18893
TITLE: A real-time estimator of electrical parameters for vector controlled induction motor using a reduced order extended Kalman filter
AUTHORS: V. Leite; Rui E Araújo ; Diamantino S Freitas;
PUBLISHED: 2002, SOURCE: Proceedings of 10th International Power Electronics and Motion Control Conference - EPE-PEMC’02
INDEXED IN: Handle
18894
TITLE: A social actors network approach for the design of networked and virtual enterprises
AUTHORS: Soares, AL ; Toscano, CA ; de Sousa, JP ;
PUBLISHED: 2002, SOURCE: 11th International Prolamat Conference on Digital Enterprise - New Challenges in DIGITAL ENTERPRISE CHALLENGES: LIFE-CYCLE APPROACH TO MANAGEMENT AND PRODUCTION, VOLUME: 77, PAGES: 337-348
INDEXED IN: WOS CrossRef
18895
TITLE: A study of the optical properties of photopolymer Fabry-Perot microcavities by a dual-wavelength fibre optic architecture
AUTHORS: Heredero, RL; Martin, S; de Caleya, RF; Antonio Lobo ; Araujo, FM; Ferreira, LA; Santos, JL ; Guerrero, H;
PUBLISHED: 2002, SOURCE: MEASUREMENT SCIENCE & TECHNOLOGY, VOLUME: 13, ISSUE: 7, PAGES: 1094-1099
INDEXED IN: Scopus WOS CrossRef: 5 Handle
18896
TITLE: A tool to support the shared understanding of manufacturing systems organization in innovation processes  Full Text
AUTHORS: Soares, AL ;
PUBLISHED: 2002, SOURCE: INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, VOLUME: 15, ISSUE: 5, PAGES: 394-412
INDEXED IN: Scopus WOS CrossRef: 5
18897
TITLE: Achieving Scalability in Parallel Tabled Logic Programs
AUTHORS: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
PUBLISHED: 2002, SOURCE: 16th International Parallel and Distributed Processing Symposium, IPDPS 2002 in 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, PAGES: 148-154
INDEXED IN: Scopus DBLP CrossRef
18898
TITLE: Adaptive Bayes
AUTHORS: Gama, J ; Castillo, G;
PUBLISHED: 2002, SOURCE: 8th Ibero-American Conference on Artifical Intelligence (IBERAMIA 02) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS, VOLUME: 2527, PAGES: 765-774
INDEXED IN: Scopus WOS DBLP CrossRef: 11
18899
TITLE: Aesthetic evaluation of conservative breast cancer treatment: trying to optimize results  Full Text
AUTHORS: Cardoso, MJ ; Preto, J ; Queiros, H; Garrido, V; Moura, AJ; Pinto de Sousa, J; Ayres de Campos, D ; Cardoso, J ;
PUBLISHED: 2002, SOURCE: EUROPEAN JOURNAL OF CANCER, VOLUME: 38, ISSUE: 11
INDEXED IN: WOS CrossRef
18900
TITLE: An Analysis of Functional Trees
AUTHORS: João Gama ;
PUBLISHED: 2002, SOURCE: Machine Learning, Proceedings of the Nineteenth International Conference (ICML 2002), University of New South Wales, Sydney, Australia, July 8-12, 2002, PAGES: 155-162
INDEXED IN: DBLP

Results per Page: 20.
Page 945 of 998. Total results: 19945.