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

531 Team Members
Filters -> Year: 2024
6901
TÍTULO: A relational model for confined separation logic
AUTORES: Shuling L Wang; Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2008, FONTE: 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering in TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, PÁGINAS: 263-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
6902
TÍTULO: A repository with semantic organization for educational content
AUTORES: Alvaro Pedro de Barros Borges Reis Figueira ;
PUBLICAÇÃO: 2008, FONTE: 8th IEEE International Conference on Advanced Learning Technologies in 8TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES, PROCEEDINGS, PÁGINAS: 114-116
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
6903
TÍTULO: A review on the combination of binary classifiers in multiclass problems  Full Text
AUTORES: Ana Carolina Lorena; Andre C P L F de Carvalho; Joao M P Gama ;
PUBLICAÇÃO: 2008, FONTE: ARTIFICIAL INTELLIGENCE REVIEW, VOLUME: 30, NÚMERO: 1-4, PÁGINAS: 19-37
INDEXADO EM: Scopus WOS DBLP CrossRef: 218
6904
TÍTULO: A source code based model to generate GUI - GUI generation based on source code with declarative language extensions
AUTORES: Marco Monteiro; Paula Oliveira ; Ramiro Goncalves ;
PUBLICAÇÃO: 2008, FONTE: 3rd International Conference on Software and Data Technologies in ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL PL/DPS/KE, VOLUME: PL, NÚMERO: DPS/KE/-, PÁGINAS: 21-28
INDEXADO EM: Scopus WOS DBLP
6905
TÍTULO: A teaching strategy for developing application specific architectures for FPGAs
AUTORES: Joao M P Cardoso ;
PUBLICAÇÃO: 2008, FONTE: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, VOLUME: 24, NÚMERO: 4, PÁGINAS: 833-842
INDEXADO EM: Scopus WOS
6906
TÍTULO: A temporal focus plus context visualization model for handling valid-time spatial information  Full Text
AUTORES: Alexandre Carvalho ; Augusto A de Sousa ; Cristina Ribeiro ; Emilia Costa;
PUBLICAÇÃO: 2008, FONTE: Workshop on GeoVisualization of Dynamics, Movement and Change in INFORMATION VISUALIZATION, VOLUME: 7, NÚMERO: 3-4, PÁGINAS: 265-274
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
6907
TÍTULO: A Tool for Programming with Interaction Nets
AUTORES: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 219, NÚMERO: C, PÁGINAS: 83-96
INDEXADO EM: Scopus DBLP CrossRef: 3
6908
TÍTULO: A Version Control System as a Tool and Methodology to Foster Children's Collaboration in Spatial Configuration Decision Tasks  Full Text
AUTORES: Filipe Santos; Benjamim Fonseca ; Leonel Morgado ; Paulo Martins ;
PUBLICAÇÃO: 2008, FONTE: 14th International Workshop of Groupware in GROUPWARE: DESIGN, IMPLEMENTATION, AND USE, VOLUME: 5411, PÁGINAS: 281-288
INDEXADO EM: Scopus WOS DBLP CrossRef
6909
TÍTULO: A web application for mathematics education  Full Text
AUTORES: Ana Paula Tomas ; Jose Paulo Leal ; Marcos Aurelio Domingues;
PUBLICAÇÃO: 2008, FONTE: 6th International Conference on Web Based Learning (ICWL 2007) in ADVANCES IN WEB BASED LEARNING - ICWL 2007, VOLUME: 4823, PÁGINAS: 380-391
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
6910
TÍTULO: ACCESS AND PRIVACY RIGHTS USING WEB SECURITY STANDARDS TO INCREASE PATIENT EMPOWERMENT
AUTORES: Falcao Reis, F; Costa Pereira, A ; Manuel E. Correia ;
PUBLICAÇÃO: 2008, FONTE: 5th Conference of the International-Council-on-Medical-and-Care-Compunetics in MEDICAL AND CARE COMPUNETICS 5, VOLUME: 137, PÁGINAS: 275-285
INDEXADO EM: Scopus WOS
6911
TÍTULO: Admission Control in IP Multicast over Heterogeneous Access Networks
AUTORES: Pedro Santos; Antonio Pinto ; Manuel Ricardo ; Teresa Almeida; Francisco Fontes;
PUBLICAÇÃO: 2008, FONTE: 2nd International Conference on Next Generation Mobile Applications, Services and Technologies in NGMAST 2008: SECOND INTERNATIONAL CONFERENCE ON NEXT GENERATION MOBILE APPLICATIONS, SERVICES, AND TECHNOLOGIES, PROCEEDINGS, PÁGINAS: 35-+
INDEXADO EM: Scopus WOS CrossRef: 2
6912
TÍTULO: AKARA: A Flexible Clustering Protocol for Demanding Transactional Workloads
AUTORES: Correia, A; Pereira, J ; Oliveira, R ;
PUBLICAÇÃO: 2008, FONTE: On the Move Confederated International Conference and Workshops in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008, PART I, VOLUME: 5331, NÚMERO: PART 1, PÁGINAS: 691-708
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
6913
TÍTULO: Amino acid pairing at the N- and C-termini of helical segments in proteins  Full Text
AUTORES: Fonseca, NA ; Camacho, R ; Magalhaes, AL ;
PUBLICAÇÃO: 2008, FONTE: PROTEINS-STRUCTURE FUNCTION AND BIOINFORMATICS, VOLUME: 70, NÚMERO: 1, PÁGINAS: 188-196
INDEXADO EM: Scopus WOS CrossRef Handle
6914
TÍTULO: An evaluation of the adequacy of project network generators with systematically sampled networks  Full Text
AUTORES: Mario Vanhoucke; Jose Coelho ; Dieter Debels; Broos Maenhout; Luis V Tavares ;
PUBLICAÇÃO: 2008, FONTE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 187, NÚMERO: 2, PÁGINAS: 511-524
INDEXADO EM: Scopus WOS DBLP CrossRef: 128
6915
TÍTULO: An exact approach for the single machine scheduling problem with linear early and quadratic tardy penalties  Full Text
AUTORES: Jorge M S Valente ;
PUBLICAÇÃO: 2008, FONTE: ASIA-PACIFIC JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 25, NÚMERO: 2, PÁGINAS: 169-186
INDEXADO EM: Scopus WOS CrossRef: 11
6916
TÍTULO: An Exercise on Transition Systems
AUTORES: Ribeiro, PR; Barbosa, LS ; Wang, S;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 207, NÚMERO: C, PÁGINAS: 89-106
INDEXADO EM: Scopus DBLP CrossRef: 2
6917
TÍTULO: An hybrid design solution for spacecraft simulators PDF
AUTORES: Rodrigues, V ; Lopes, JC ; Moreira, A ;
PUBLICAÇÃO: 2008, FONTE: CAiSE Forum 2008 at the 20th International Conference on Advanced Information System Engineering, CAiSE 2008 in CEUR Workshop Proceedings, VOLUME: 344, PÁGINAS: 29-32
INDEXADO EM: Scopus DBLP
6918
TÍTULO: An improved continuation call-based implementation of tabling
AUTORES: Pablo Chico de Guzman; Manuel Carro; Manuel V Hermenegildo; Claudio Silva; Ricardo Rocha ;
PUBLICAÇÃO: 2008, FONTE: 10th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 4902, PÁGINAS: 197-213
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
6919
TÍTULO: An Information-Theoretic Cryptanalysis of Network Coding - is Protecting the Code Enough?
AUTORES: Luisa Lima ; Joao P Vilela ; Joao Barros ; Muriel Medard;
PUBLICAÇÃO: 2008, FONTE: International Symposium on Information Theory and Its Applications in 2008 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS, VOLS 1-3, PÁGINAS: 262-267
INDEXADO EM: Scopus WOS CrossRef: 19
6920
TÍTULO: An Open Architecture for Scalable Database Clustering
AUTORES: Rui Carlos Oliveira ;
PUBLICAÇÃO: 2008, FONTE: 12th Enterprise Distributed Object Computing Conference Workshops in EDOCW: 2008 12TH ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS, PÁGINAS: 415-415
INDEXADO EM: WOS

Results per Page: 20.
Página 346 de 408. Total de resultados: 8151.