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

531 Team Members
Filters -> Year: 2024
7441
TITLE: A model-to-implementation mapping tool for automated model-based GUI testing
AUTHORS: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
PUBLISHED: 2005, SOURCE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785, PAGES: 450-464
INDEXED IN: Scopus WOS DBLP CrossRef Handle
7442
TITLE: A multi-agent simulator for testing agent market strategies
AUTHORS: Viamonte, MJ ; Ramos, C ; Rodrigues, F ; Cardoso, JC;
PUBLISHED: 2005, SOURCE: 19th European Conference on Modelling and Simulation (ECMS 2005) in SIMULATION IN WIDER EUROPE, PAGES: 509-514
INDEXED IN: Scopus WOS
7443
TITLE: A perspective on component refinement  Full Text
AUTHORS: Barbosa, LS ;
PUBLISHED: 2005, SOURCE: 3rd International Symposium on Formal Methods for Components and Objects in FORMAL METHODS FOR COMPONENTS AND OBJECTS, VOLUME: 3657, PAGES: 23-48
INDEXED IN: Scopus WOS DBLP CrossRef
7444
TITLE: A software framework for rapid prototyping of run-time systems for mobile calculi  Full Text
AUTHORS: Bettini, L; De Nicola, R; Falassi, D; Lacoste, M; Lopes, L ; Oliveira, L; Paulino, H ; Vasconcelos, VT ;
PUBLISHED: 2005, SOURCE: 2nd IST/FET International Workshop on Global Computing in GLOBAL COMPUTING, VOLUME: 3267, PAGES: 179-207
INDEXED IN: Scopus WOS DBLP CrossRef: 4
7445
TITLE: A study on Error Correcting Output Codes
AUTHORS: Edgar Pimenta; Joao Gama ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 218-223
INDEXED IN: WOS CrossRef: 9
7446
TITLE: A test infrastructure for compilers targeting FPGAs
AUTHORS: Rodrigues, RMM; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: International Workshop on Applied Reconfigurable Computing 2005, ARC 2005 in ARC 2005 - International Workshop on Applied Reconfigurable Computing 2005, PAGES: 168-175
INDEXED IN: Scopus
7447
TITLE: A tool for fast development of modular and hierarchic neural network-based systems
AUTHORS: Reinaldo, F; Roisenberg, M; Barreto, JM; Camacho, R ; Reis, LP ;
PUBLISHED: 2005, SOURCE: European Simulation and Modelling Conference (ESM 2005) in Modelling and Simulation 2005, PAGES: 161-163
INDEXED IN: Scopus WOS Handle
7448
TITLE: A tool for fast development of modular and hierarchic neural network-based systems
AUTHORS: Francisco Reinaldo; Mauro Roisenberg; Jorge M Barreto; Rui Camacho ; Luís P Reis;
PUBLISHED: 2005
INDEXED IN: Handle
7449
TITLE: Agent-based approach for manufacturing
AUTHORS: Paulo Sousa; Carlos Ramos ; Jose Neves ;
PUBLISHED: 2005, SOURCE: 9th World Multi-Conference on Systemics, Cybernetics and Informatics in WMSCI 2005: 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Vol 4, VOLUME: 4, PAGES: 260-265
INDEXED IN: Scopus WOS
7450
TITLE: Agressividade em jogadores de futebol: estudo com atletas de equipes portuguesas
AUTHORS: Luciana de Castro Bidutte; Roberta Gurgel Azzi; José Jacinto Vasconcelos V Raposo ; Leandro S Almeida;
PUBLISHED: 2005, SOURCE: Psico-USF (Impresso) - Psico-USF (Impr.), VOLUME: 10, ISSUE: 2, PAGES: 179-184
INDEXED IN: CrossRef
7451
TITLE: An Ada framework for QoS-aware applications
AUTHORS: Pinho, LM ; Nogueira, L ; Barbosa, R;
PUBLISHED: 2005, SOURCE: 10th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGY ADA-EUROPE 2005, PROCEEDINGS, VOLUME: 3555, PAGES: 25-38
INDEXED IN: Scopus WOS
7452
TITLE: An adaptive predictive model for student modeling
AUTHORS: Castillo, G; Gama, J ; Breda, AM;
PUBLISHED: 2005, SOURCE: Advances in Web-Based Education: Personalized Learning Environments, PAGES: 70-92
INDEXED IN: Scopus CrossRef: 6
7453
TITLE: An approach to ontology mapping negotiation
AUTHORS: Silva, N ; Paulo Maio ; Rocha, J ;
PUBLISHED: 2005, SOURCE: Workshop on Integrating Ontologies 2005 at K-CAP 2005 in CEUR Workshop Proceedings, VOLUME: 156, PAGES: 54-60
INDEXED IN: Scopus
7454
TITLE: An electric energy consumer characterization framework based on data mining techniques
AUTHORS: Figueiredo, V; Rodrigues, F ; Vale, Z ; Gouveia, JB ;
PUBLISHED: 2005, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 20, ISSUE: 2, PAGES: 596-602
INDEXED IN: Scopus WOS CrossRef
7455
TITLE: An exact approach to early/tardy scheduling with release dates  Full Text
AUTHORS: Valente, JMS ; Alves, RAFS ;
PUBLISHED: 2005, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 32, ISSUE: 11, PAGES: 2905-2917
INDEXED IN: Scopus WOS CrossRef: 26
7456
TITLE: An experiment with association rules and classification: Post-bagging and conviction
AUTHORS: Jorge, AM ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 8th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 3735, PAGES: 137-149
INDEXED IN: Scopus WOS DBLP CrossRef: 11 Handle
7457
TITLE: An experimental evaluation of JAVA JIT technology  Full Text
AUTHORS: Faustino Da Silva, A; Costa, VS ;
PUBLISHED: 2005, SOURCE: Journal of Universal Computer Science, VOLUME: 11, ISSUE: 7, PAGES: 1291-1309
INDEXED IN: Scopus DBLP
7458
TITLE: An infrastructure to functionally test designs generated by compilers targeting FPGAs PDF  Full Text
AUTHORS: Rodrigues, R; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 05) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, VOLUME: I, PAGES: 30-31
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 3
7459
TITLE: An integrated approach to learning Bayesian networks of rules
AUTHORS: Davis, J; Burnside, E; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning, ECML 2005 in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 84-95
INDEXED IN: Scopus WOS DBLP CrossRef
7460
TITLE: Aplicando novos paradigmas biológicos para emergir comportamento em um sistema autónomo
AUTHORS: Francisco Reinaldo; Rui Camacho ; Luís Reis;
PUBLISHED: 2005
INDEXED IN: Handle

Results per Page: 20.
Página 373 de 406. Total de resultados: 8106.