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

531 Team Members
Filters -> Year: 2024
7661
TÍTULO: Modeling loop unrolling: Approaches and open issues  Full Text
AUTORES: Cardoso, JMP ; Diniz, PC ;
PUBLICAÇÃO: 2004, FONTE: 4th SAMOS International Workshop in COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, VOLUME: 3133, PÁGINAS: 224-233
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
7662
TÍTULO: Nonlinear sea level trends from European tide gauge records
AUTORES: Barbosa, SM ; Fernandes, MJ ; Silva, ME ;
PUBLICAÇÃO: 2004, FONTE: ANNALES GEOPHYSICAE, VOLUME: 22, NÚMERO: 5, PÁGINAS: 1465-1472
INDEXADO EM: Scopus WOS
7663
TÍTULO: On avoiding redundancy in inductive logic programming
AUTORES: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLICAÇÃO: 2004, FONTE: 14th International Conference on Inductive Logic Programming (ILP 2004) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3194, PÁGINAS: 132-146
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Handle
7664
TÍTULO: On data and algorithms: Understanding inductive performance  Full Text
AUTORES: Kalousis, A; Gama, J ; Hilario, M;
PUBLICAÇÃO: 2004, FONTE: MACHINE LEARNING, VOLUME: 54, NÚMERO: 3, PÁGINAS: 275-312
INDEXADO EM: Scopus WOS DBLP CrossRef: 51
7665
TÍTULO: On refinement of generic state-based software components
AUTORES: Meng, S; Barbosa, LS ;
PUBLICAÇÃO: 2004, FONTE: 10th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, VOLUME: 3116, PÁGINAS: 506-520
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
7666
TÍTULO: On semantics and refinement of UML statecharts: A coalgebraic view
AUTORES: Sun, M; Zhang, NX; Barbosa, LS ;
PUBLICAÇÃO: 2004, FONTE: 2nd International Conference on Software Engineering and Formal Methods in PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PÁGINAS: 164-173
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
7667
TÍTULO: Preface
AUTORES: Camacho, R ; King, R; Srinivasan, A;
PUBLICAÇÃO: 2004, FONTE: 14th International Conference on Inductive Logic Programming, ILP 2004 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3194
INDEXADO EM: Scopus
7668
TÍTULO: Proceeding - Brazialian Symposium on Computer Graphics and Image Processing: Preface
AUTORES: De Albuquerque, A; Comba, J; De Sousa, AA ; Navazo, I;
PUBLICAÇÃO: 2004, FONTE: Proceedings - XVII Brazilian Symposium on Computer Graphics and Image Processing, SIBGRAPI 2004. And II Ibero-American Symposium on Computer Graphics, SIACG 2004 in Brazilian Symposium of Computer Graphic and Image Processing
INDEXADO EM: Scopus
7669
TÍTULO: Pruning in the extended Andorra model  Full Text
AUTORES: Lopes, R ; Costa, VS ; Silva, F ;
PUBLICAÇÃO: 2004, FONTE: 6th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 3057, PÁGINAS: 120-134
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
7670
TÍTULO: Public discussion of Oportos municipal master plan: An e-Democracy service supported by a geographical information system
AUTORES: Oliveira, MA ; Carvalho, A ; Bartolo, L;
PUBLICAÇÃO: 2004, FONTE: 3rd International Conference on Electronic Government (EGOV 2004) in ELECTRONIC GOVERNMENT, PROCEEDINGS, VOLUME: 3183, PÁGINAS: 410-413
INDEXADO EM: Scopus WOS CrossRef: 2
7671
TÍTULO: Quality certification in the virtual enterprise
AUTORES: Martins, A ; Ferreira, JJP ; Mendonca, JM ;
PUBLICAÇÃO: 2004, FONTE: 18th International Conference on CAD/CAM Robotics and Factories of the Future (CARs&FOF) in E-MANUFACTURING: BUSINESS PARADIGMS AND SUPPORTING TECHNOLOGIES, PÁGINAS: 91-100
INDEXADO EM: WOS
7672
TÍTULO: Quality management and certification in the virtual enterprise  Full Text
AUTORES: Martins, A ; Ferreira, JJP ; Mendonca, JM ;
PUBLICAÇÃO: 2004, FONTE: INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, VOLUME: 17, NÚMERO: 3, PÁGINAS: 212-223
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
7673
TÍTULO: Query transformations for improving the efficiency of ILP systems  Full Text
AUTORES: Costa, VS ; Srinivasan, A; Camacho, R ; Blockeel, H; Demoen, B; Janssens, G; Struyf, J; Vandecasteele, H; Van Laer, W;
PUBLICAÇÃO: 2004, FONTE: 10th International Conference on Inductive Logic Programming (ILP2000) in JOURNAL OF MACHINE LEARNING RESEARCH, VOLUME: 4, NÚMERO: 4, PÁGINAS: 465-491
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
7674
TÍTULO: Relational sampling for data quality auditing and decision support
AUTORES: Cortes, B; Oliveira, JN ;
PUBLICAÇÃO: 2004, FONTE: ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems in ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems, PÁGINAS: 376-382
INDEXADO EM: Scopus
7675
TÍTULO: Replication management in reliable real-time systems  Full Text
AUTORES: Pinho, LM ; Vasques, F ; Wellings, A;
PUBLICAÇÃO: 2004, FONTE: REAL-TIME SYSTEMS, VOLUME: 26, NÚMERO: 3, PÁGINAS: 261-296
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
7676
TÍTULO: Robust reconstruction of 3D points from images
AUTORES: Rodrigues, R ; Fernandes, AR;
PUBLICAÇÃO: 2004, FONTE: International Conference on Image Processing (ICIP 2004) in ICIP: 2004 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1- 5, VOLUME: 2, PÁGINAS: 3017-3020
INDEXADO EM: Scopus WOS DBLP
7677
TÍTULO: Scheduling under conditions of uncertainty: A Bayesian approach
AUTORES: Santos, LP ; Proenca, A ;
PUBLICAÇÃO: 2004, FONTE: 10th International Euro-Par Conference on Parallel Processing in EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 3149, PÁGINAS: 222-229
INDEXADO EM: Scopus WOS Handle
7678
TÍTULO: Self-loop pipelining and reconfigurable dataflow arrays  Full Text
AUTORES: Cardoso, JMP ;
PUBLICAÇÃO: 2004, FONTE: 4th SAMOS International Workshop in COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, VOLUME: 3133, PÁGINAS: 234-243
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
7679
TÍTULO: Simulating the behaviour of electronic marketplaces with an agent-based approach
AUTORES: Viamonte, MJ ; Ramos, C ; Rodrigues, F ; Cardoso, JC;
PUBLICAÇÃO: 2004, FONTE: Proceedings - IEEE/WIC/ACM International Conference on Web Intelligence, WI 2004 in Proceedings - IEEE/WIC/ACM International Conference on Web Intelligence, WI 2004, PÁGINAS: 553-557
INDEXADO EM: Scopus CrossRef
7680
TÍTULO: Speculative computations in or-parallel tabled logic programs
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2004, FONTE: 20th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3132, PÁGINAS: 254-268
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 384 de 408. Total de resultados: 8150.