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

531 Team Members
Filters -> Year: 2024
7941
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
7942
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
7943
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
7944
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
7945
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
7946
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
7947
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
7948
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
7949
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
7950
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
7951
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
7952
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
7953
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
7954
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
7955
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
7956
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
7957
TÍTULO: Test for rotational symmetry of data from the Watson distribution defined on the hypersphere  Full Text
AUTORES: Figueiredo, A ;
PUBLICAÇÃO: 2004, FONTE: COMMUNICATIONS IN STATISTICS-SIMULATION AND COMPUTATION, VOLUME: 33, NÚMERO: 4, PÁGINAS: 937-943
INDEXADO EM: Scopus WOS CrossRef
7958
TÍTULO: The combined 14th Workshop for PhD Students in Object-Oriented Systems and Doctoral Symposium  Full Text
AUTORES: Jucknath, S; Wloka, J; Jul, E; Eldadah, SR; Aguiar, A ;
PUBLICAÇÃO: 2004, FONTE: 18th European Conference on Object-Oriented Programming (ECOOP 2004) in OBJECT-ORIENTED TECHNOLOGY, VOLUME: 3344, PÁGINAS: 94-100
INDEXADO EM: Scopus WOS DBLP CrossRef
7959
TÍTULO: The mutable consensus protocol  Full Text
AUTORES: Pereira, J ; Oliveira, R ;
PUBLICAÇÃO: 2004, FONTE: 23rd IEEE International Symposium on Reliable Distributed Systems in 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 218-227
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
7960
TÍTULO: The MyYapDB deductive database system
AUTORES: Ferreira, M ; Rocha, R ;
PUBLICAÇÃO: 2004, FONTE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229, PÁGINAS: 710-713
INDEXADO EM: Scopus WOS DBLP CrossRef: 2

Results per Page: 20.
Página 398 de 422. Total de resultados: 8434.