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

531 Team Members
Filters -> Year: 2024
7601
TÍTULO: A coalgebraic semantic framework for component-based development in UML
AUTORES: Meng, S; Aichernig, BK; Barbosa, LS ; Naixiao, Z;
PUBLICAÇÃO: 2005, FONTE: Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004) in Electronic Notes in Theoretical Computer Science, VOLUME: 122, PÁGINAS: 229-245
INDEXADO EM: Scopus DBLP CrossRef: 3
7602
TÍTULO: A data mining approach for trip time prediction in mass transit companies
AUTORES: João M Moreira; Alípio Jorge ; Jorge F de Sousa; Carlos Soares;
PUBLICAÇÃO: 2005
INDEXADO EM: Handle
7603
TÍTULO: A Data Webhouse to monitor the use of a Web Based Higher Education Information System
AUTORES: Carla T Lopes ; Gabriel David;
PUBLICAÇÃO: 2005
INDEXADO EM: Handle
7604
TÍTULO: A Formal Definition of Data Quality Problems PDF
AUTORES: Paulo Oliveira; Fátima Rodrigues ; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2005, FONTE: 10th International Conference on Information Quality, ICIQ 2005 in Proceedings of the 2005 International Conference on Information Quality (MIT IQ Conference), Sponsored by Lockheed Martin, MIT, Cambridge, MA, USA, November 10-12, 2006
INDEXADO EM: Scopus DBLP
7605
TÍTULO: A framework for set-oriented computation in inductive logic programming and its application in generalizing inverse entailment
AUTORES: Bravo, HC; Page, D; Ramakrishnan, R; Shavlik, J; Costa, VS ;
PUBLICAÇÃO: 2005, FONTE: 15th International Conference on Inductive Logic Programming, ILP 2005 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3625, PÁGINAS: 69-86
INDEXADO EM: Scopus DBLP CrossRef: 1
7606
TÍTULO: A Hybrid Method for Discovering Distance-Enhanced Inter-Transactional Rules
AUTORES: Pedro Gabriel Ferreira ; Ronnie Alves; Paulo J Azevedo ; Orlando Belo ;
PUBLICAÇÃO: 2005, FONTE: Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), September 14-16, 2005, Granada, Spain, PÁGINAS: 131-138
INDEXADO EM: DBLP
7607
TÍTULO: A model-to-implementation mapping tool for automated model-based GUI testing
AUTORES: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
PUBLICAÇÃO: 2005, FONTE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785, PÁGINAS: 450-464
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
7608
TÍTULO: A multi-agent simulator for testing agent market strategies
AUTORES: Viamonte, MJ ; Ramos, C ; Rodrigues, F ; Cardoso, JC;
PUBLICAÇÃO: 2005, FONTE: 19th European Conference on Modelling and Simulation (ECMS 2005) in SIMULATION IN WIDER EUROPE, PÁGINAS: 509-514
INDEXADO EM: Scopus WOS
7609
TÍTULO: A perspective on component refinement  Full Text
AUTORES: Barbosa, LS ;
PUBLICAÇÃO: 2005, FONTE: 3rd International Symposium on Formal Methods for Components and Objects in FORMAL METHODS FOR COMPONENTS AND OBJECTS, VOLUME: 3657, PÁGINAS: 23-48
INDEXADO EM: Scopus WOS DBLP CrossRef
7610
TÍTULO: A software framework for rapid prototyping of run-time systems for mobile calculi  Full Text
AUTORES: Bettini, L; De Nicola, R; Falassi, D; Lacoste, M; Lopes, L ; Oliveira, L; Paulino, H ; Vasconcelos, VT ;
PUBLICAÇÃO: 2005, FONTE: 2nd IST/FET International Workshop on Global Computing in GLOBAL COMPUTING, VOLUME: 3267, PÁGINAS: 179-207
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
7611
TÍTULO: A study on Error Correcting Output Codes
AUTORES: Edgar Pimenta; Joao Gama ;
PUBLICAÇÃO: 2005, FONTE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PÁGINAS: 218-223
INDEXADO EM: WOS CrossRef: 9
7612
TÍTULO: A test infrastructure for compilers targeting FPGAs
AUTORES: Rodrigues, RMM; Cardoso, JMP ;
PUBLICAÇÃO: 2005, FONTE: International Workshop on Applied Reconfigurable Computing 2005, ARC 2005 in ARC 2005 - International Workshop on Applied Reconfigurable Computing 2005, PÁGINAS: 168-175
INDEXADO EM: Scopus
7613
TÍTULO: A tool for fast development of modular and hierarchic neural network-based systems
AUTORES: Reinaldo, F; Roisenberg, M; Barreto, JM; Camacho, R ; Reis, LP ;
PUBLICAÇÃO: 2005, FONTE: European Simulation and Modelling Conference (ESM 2005) in Modelling and Simulation 2005, PÁGINAS: 161-163
INDEXADO EM: Scopus WOS Handle
7614
TÍTULO: A tool for fast development of modular and hierarchic neural network-based systems
AUTORES: Francisco Reinaldo; Mauro Roisenberg; Jorge M Barreto; Rui Camacho ; Luís P Reis ;
PUBLICAÇÃO: 2005
INDEXADO EM: Handle
7615
TÍTULO: Agent-based approach for manufacturing
AUTORES: Paulo Sousa; Carlos Ramos ; Jose Neves ;
PUBLICAÇÃO: 2005, FONTE: 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, PÁGINAS: 260-265
INDEXADO EM: Scopus WOS
7616
TÍTULO: Agressividade em jogadores de futebol: estudo com atletas de equipes portuguesas
AUTORES: Luciana de Castro Bidutte; Roberta Gurgel Azzi; José Jacinto Vasconcelos V Raposo ; Leandro S Almeida;
PUBLICAÇÃO: 2005, FONTE: Psico-USF (Impresso) - Psico-USF (Impr.), VOLUME: 10, NÚMERO: 2, PÁGINAS: 179-184
INDEXADO EM: CrossRef
7617
TÍTULO: An Ada framework for QoS-aware applications
AUTORES: Pinho, LM ; Nogueira, L ; Barbosa, R;
PUBLICAÇÃO: 2005, FONTE: 10th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGY ADA-EUROPE 2005, PROCEEDINGS, VOLUME: 3555, PÁGINAS: 25-38
INDEXADO EM: Scopus WOS
7618
TÍTULO: An adaptive predictive model for student modeling
AUTORES: Castillo, G; Gama, J ; Breda, AM;
PUBLICAÇÃO: 2005, FONTE: Advances in Web-Based Education: Personalized Learning Environments, PÁGINAS: 70-92
INDEXADO EM: Scopus CrossRef: 6
7619
TÍTULO: An approach to ontology mapping negotiation
AUTORES: Silva, N ; Paulo Maio ; Rocha, J ;
PUBLICAÇÃO: 2005, FONTE: Workshop on Integrating Ontologies 2005 at K-CAP 2005 in CEUR Workshop Proceedings, VOLUME: 156, PÁGINAS: 54-60
INDEXADO EM: Scopus
7620
TÍTULO: An electric energy consumer characterization framework based on data mining techniques
AUTORES: Figueiredo, V; Rodrigues, F ; Vale, Z ; Gouveia, JB ;
PUBLICAÇÃO: 2005, FONTE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 20, NÚMERO: 2, PÁGINAS: 596-602
INDEXADO EM: Scopus WOS CrossRef

Results per Page: 20.
Página 381 de 414. Total de resultados: 8279.