CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 8952

531 Team Members
Filters -> Year: 2024
8741
TITLE: Constructor subtyping  Full Text
AUTHORS: Barthe, G; Frade, MJ ;
PUBLISHED: 1999, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 1576, PAGES: 109-127
INDEXED IN: WOS
8742
TITLE: Constructor subtyping
AUTHORS: Barthe, G; Frade, MJ ;
PUBLISHED: 1999, SOURCE: 8th European Symposium on Programming, ESOP 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1576, PAGES: 109-127
INDEXED IN: Scopus CrossRef: 6
8743
TITLE: Constructor Subtyping
AUTHORS: Gilles Barthe; Maria João Frade ;
PUBLISHED: 1999, SOURCE: Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, VOLUME: 1576, PAGES: 109-127
INDEXED IN: DBLP
8744
TITLE: COWL: Copy-on-write for logic programs  Full Text
AUTHORS: Costa, VS ;
PUBLISHED: 1999, SOURCE: 13th Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS/SPDP 1999) in IPPS/SPDP 1999: 13TH INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM & 10TH SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, PAGES: 720-727
INDEXED IN: Scopus WOS DBLP CrossRef: 1
8745
TITLE: DAOS - Scalable And-Or parallelism
AUTHORS: Castro, LF; Costa, VS ; Geyer, CFR; Silva, F ; Vargas, PK; Correia, ME ;
PUBLISHED: 1999, SOURCE: 5th International Euro-Par Conference in EURO-PAR'99: PARALLEL PROCESSING, VOLUME: 1685, PAGES: 899-908
INDEXED IN: Scopus WOS DBLP CrossRef: 3
8746
TITLE: Data structure free compilation  Full Text
AUTHORS: Saraiva, J ; Swierstra, D;
PUBLISHED: 1999, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in COMPILER CONSTRUCTION, VOLUME: 1575, PAGES: 1-16
INDEXED IN: Scopus WOS DBLP CrossRef: 3
8747
TITLE: Data-driven Active Rules for the Maintenance of Derived Data and Integrity Constraints in User Interfaces to Databases
AUTHORS: João Pascoal Faria ; Raul Moreira Vidal ;
PUBLISHED: 1999, SOURCE: XIV Simpósio Brasileiro de Banco de Dados, 11-13 Outubro 1999, Florianópolis, Santa Catarina, Brasil, Anais/Proceedings, PAGES: 11-25
INDEXED IN: DBLP
8748
TITLE: Designing and implementing combinator languages  Full Text
AUTHORS: Swierstra, SD; Alcocer, PRA; Saraiva, J ;
PUBLISHED: 1999, SOURCE: 3rd International School on Advanced Functional Programming (AFP 98) in ADVANCED FUNCTIONAL PROGRAMMING, VOLUME: 1608, PAGES: 150-206
INDEXED IN: WOS DBLP CrossRef: 29
8749
TITLE: Discriminant trees
AUTHORS: Gama, J ;
PUBLISHED: 1999, SOURCE: 16th International Conference on Machine Learning (ICML 99) in MACHINE LEARNING, PROCEEDINGS, PAGES: 134-142
INDEXED IN: WOS DBLP
8750
TITLE: Distance: A New Metric for Controlling Granularity for Parallel Execution
AUTHORS: Kish Shen; Vítor Santos Costa ; Andy King;
PUBLISHED: 1999, SOURCE: Journal of Functional and Logic Programming, VOLUME: 1999, ISSUE: Special Issue 1
INDEXED IN: DBLP
8751
TITLE: Di_pSystem: A Parallel Programming System for Distributed Memory Architectures
AUTHORS: Fernando M A Silva ; Hervé Paulino ; Luís M B Lopes ;
PUBLISHED: 1999, SOURCE: 6th European Parallel Virtual Machine and Message Passing Interface Users’ Group Meeting, 1999 in Recent Advances in Parallel Virtual Machine and Message Passing Interface, 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, Proceedings, VOLUME: 1697, PAGES: 525-532
INDEXED IN: Scopus DBLP CrossRef: 2
8752
TITLE: Infrastructures and scheduling method for holonic manufacturing systems
AUTHORS: Nuno Silva ; Carlos Ramos;
PUBLISHED: 1999, SOURCE: Proceedings of the 1999 3rd IEEE International Symposium on Assembly and Task Planning (ISATP '99) in Proceedings of the IEEE International Symposium on Assembly and Task Planning, PAGES: 442-447
INDEXED IN: Scopus
8753
TITLE: Integrating agent based information outsourcing techniques on data warehousing systems
AUTHORS: Orlando Belo ; Alcino Cunha ;
PUBLISHED: 1999, SOURCE: 1999 IEEE International Conference on Systems, Man, and Cybernetics 'Human Communication and Cybernetics' in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, VOLUME: 1
INDEXED IN: Scopus
8754
TITLE: Iterative induction of logic programs  Full Text
AUTHORS: Jorge, A ;
PUBLISHED: 1999, SOURCE: AI COMMUNICATIONS, VOLUME: 12, ISSUE: 3, PAGES: 173-174
INDEXED IN: Scopus WOS
8755
TITLE: Iterative Induction of Logic Programs, An approach to logic program synthesis from incomplete specifications
AUTHORS: Alípio Jorge ;
PUBLISHED: 1999, SOURCE: AI Commun., VOLUME: 12, ISSUE: 3, PAGES: 173-174
INDEXED IN: DBLP
8756
TITLE: Iterative naive Bayes
AUTHORS: Gama, J ;
PUBLISHED: 1999, SOURCE: 2nd International Conference on Discovery Science (DS 99) in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 1721, PAGES: 80-91
INDEXED IN: Scopus WOS DBLP CrossRef: 3
8757
TITLE: Iterative Part-of-Speech Tagging
AUTHORS: Alípio Jorge ; Alneu de Andrade Lopes;
PUBLISHED: 1999, SOURCE: 1st Learning Language in Logic workshop, LLL 1999 in Learning Language in Logic, VOLUME: 1925, PAGES: 170-183
INDEXED IN: Scopus DBLP CrossRef: 5
8758
TITLE: JAMES: A Platform of Mobile Agents for the Management of Telecommunication Networks
AUTHORS: Luís Moura Silva; Paulo Simões; Guilherme Soares; Paulo Martins ; Victor Batista; Carlos Renato; Leonor Almeida; Norbert Stohr;
PUBLISHED: 1999, SOURCE: Intelligent Agents for Telecommunication Applications, Third International Workshop, IATA '99, Stockholm, Sweden, August 9-10, 1999, Proceedings, VOLUME: 1699, PAGES: 77-95
INDEXED IN: DBLP CrossRef: 13
8759
TITLE: Lighting design: A goal based approach using optimisation
AUTHORS: Costa, AC; Sousa, AA ; Ferreira, FN;
PUBLISHED: 1999, SOURCE: 10th Eurographics Workshop on Rendering Techniques in RENDERING TECHNIQUES '99, PAGES: 317-+
INDEXED IN: WOS DBLP CrossRef: 18
8760
TITLE: Linear tree
AUTHORS: Gama, J ; Brazdil, P ;
PUBLISHED: 1999, SOURCE: Intelligent Data Analysis, VOLUME: 3, ISSUE: 1, PAGES: 1-22
INDEXED IN: Scopus CrossRef: 7

Results per Page: 20.
Página 438 de 448. Total de resultados: 8952.