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

531 Team Members
Filters -> Year: 2024
7141
TÍTULO: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
AUTORES: José Luís Silva ; José Creissac Campos ; Ana C R Paiva ;
PUBLICAÇÃO: 2008, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 208, NÚMERO: C, PÁGINAS: 77-93
INDEXADO EM: Scopus DBLP CrossRef Handle
7142
TÍTULO: Multicast deflector - Secure video distribution system. Secure video distribution system  Full Text
AUTORES: Antonio Pinto ; Manuel Ricardo ;
PUBLICAÇÃO: 2008, FONTE: TELECOMMUNICATION SYSTEMS, VOLUME: 37, NÚMERO: 4, PÁGINAS: 145-156
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
7143
TÍTULO: Nonlinear prediction in riverflow — the Paiva river case
AUTORES: Gonçalves, R ; Pinto, AA ; Calheiros, F;
PUBLICAÇÃO: 2008, FONTE: Progress in Nonlinear Differential Equations and Their Application, VOLUME: 75, PÁGINAS: 231-240
INDEXADO EM: Scopus CrossRef
7144
TÍTULO: Omniview-SisPorto (R) 3.5 - a central fetal monitoring station with online alerts based on computerized cardiotocogram plus ST event analysis
AUTORES: Diogo Ayres de Campos ; Paulo Sousa; Antonia Costa ; Joao Bernardes ;
PUBLICAÇÃO: 2008, FONTE: JOURNAL OF PERINATAL MEDICINE, VOLUME: 36, NÚMERO: 3, PÁGINAS: 260-264
INDEXADO EM: Scopus WOS CrossRef: 51
7145
TÍTULO: On The Discovery of Business Processes Orchestration Patterns
AUTORES: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLICAÇÃO: 2008, FONTE: IEEE Congress on Services in IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS, VOLUME: PART 1, PÁGINAS: 391-398
INDEXADO EM: Scopus WOS DBLP CrossRef
7146
TÍTULO: On the Efficient Execution of ProbLog Programs
AUTORES: Angelika Kimmig; Vitor Santos Costa ; Ricardo Rocha ; Bart Demoen; Luc De Raedt;
PUBLICAÇÃO: 2008, FONTE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PÁGINAS: 175-189
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
7147
TÍTULO: Online reliability estimates for individual predictions in data streams
AUTORES: Rodrigues, PP ; Gama, J ; Bosnic, Z;
PUBLICAÇÃO: 2008, FONTE: IEEE International Conference on Data Mining Workshops, ICDM Workshops 2008 in Proceedings - IEEE International Conference on Data Mining Workshops, ICDM Workshops 2008, PÁGINAS: 36-45
INDEXADO EM: Scopus DBLP CrossRef: 9
7148
TÍTULO: Optimal Formation Switching
AUTORES: Dalila B M M Fontes ; Fernando A C C Fontes ;
PUBLICAÇÃO: 2008, FONTE: 4th WSEAS/IASME International Conference on Dynamical Systems and Control in PROCEEDINGS OF THE 4TH WSEAS/IASME INTERNATIONAL CONFERENCE ON DYNAMICAL SYSTEMS AND CONTROLS, PÁGINAS: 41-47
INDEXADO EM: WOS
7149
TÍTULO: Optimal reorganization of agent formations
AUTORES: Fontes, DBMM ; Fontes, FACC ;
PUBLICAÇÃO: 2008, FONTE: WSEAS Transactions on Systems and Control, VOLUME: 3, NÚMERO: 8, PÁGINAS: 789-798
INDEXADO EM: Scopus
7150
TÍTULO: Overview of Reconfigurable Architectures  Full Text
AUTORES: João M P Cardoso ; Pedro C Diniz;
PUBLICAÇÃO: 2008, FONTE: Compilation Techniques for Reconfigurable Architectures, PÁGINAS: 7-32
INDEXADO EM: CrossRef
7151
TÍTULO: PaperFlow: A Platform for Cooperative Editing of Scientific Publications  Full Text
AUTORES: Guilherme Saraiva; Orlando Carvalho; Benjamim Fonseca ; Hugo Paredes ;
PUBLICAÇÃO: 2008, FONTE: 14th International Workshop of Groupware in GROUPWARE: DESIGN, IMPLEMENTATION, AND USE, VOLUME: 5411, PÁGINAS: 318-323
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
7152
TÍTULO: Parallel graphics and visualization  Full Text
AUTORES: Luis Paulo Santos ; Dirk Reiners; Jean Favre;
PUBLICAÇÃO: 2008, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 32, NÚMERO: 1, PÁGINAS: 1-2
INDEXADO EM: Scopus WOS CrossRef: 1
7153
TÍTULO: Patterns for data and metadata evolution in adaptive object-models
AUTORES: Ferreira, HS ; Correia, FF ; Welicki, L;
PUBLICAÇÃO: 2008, FONTE: 15th Conference on Pattern Languages of Programs, PLoP08 in PLoP08 - 15th Conference on Pattern Languages of Programs, Proceedings
INDEXADO EM: Scopus CrossRef: 10
7154
TÍTULO: Patterns for understanding frameworks
AUTORES: Flores, N ; Aguiar, A ;
PUBLICAÇÃO: 2008, FONTE: 15th Conference on Pattern Languages of Programs, PLoP08 in PLoP08 - 15th Conference on Pattern Languages of Programs, Proceedings
INDEXADO EM: Scopus CrossRef: 3
7155
TÍTULO: Perspectives on Programming Reconfigurable Computing Platforms  Full Text
AUTORES: João M P Cardoso ; Pedro C Diniz;
PUBLICAÇÃO: 2008, FONTE: Compilation Techniques for Reconfigurable Architectures, PÁGINAS: 177-189
INDEXADO EM: CrossRef
7156
TÍTULO: Phenomenographic study on the future of e-commerce in Second Life
AUTORES: Martine Bernardo; Leonel Morgado ; Carlos Rabadao ;
PUBLICAÇÃO: 2008, FONTE: 3rd Iberian Conference on Information Systems and Technologies in ACTAS DE LA III CONFERENCIA IBERICA DE SISTEMAS Y TECNOLOGIAS DE LA INFORMACION, VOL 1, PÁGINAS: 435-442
INDEXADO EM: WOS
7157
TÍTULO: Preface
AUTORES: Brito, P ; Figueiredo, A ; Pires, A; Ferreira, AS; Marcelo, C; Figueiredo, F; Sousa, F ; Da Costa, JP; Pereira, J; Torgo, L ; Castro, LCE; Silva, ME ; Milheiro, P ; Teles, P; Campos, P; Silva, PD;
PUBLICAÇÃO: 2008, FONTE: 18th Symposium on Computational Statistics, COMPSTAT 2008 in COMPSTAT 2008 - Proceedings in Computational Statistics, 18th Symposium
INDEXADO EM: Scopus
7158
TÍTULO: Proceedings of the 2008 International Symposium on Wikis, 2008, Porto, Portugal, September 8-10, 2008
AUTORES: Ademar Aguiar ; Mark Bernstein;
PUBLICAÇÃO: 2008, FONTE: Int. Sym. Wikis
INDEXADO EM: DBLP
7159
TÍTULO: Property patterns for the formal verification of automated production systems
AUTORES: Campos, JC ; Machado, J ; Seabra, E ;
PUBLICAÇÃO: 2008, FONTE: 17th World Congress, International Federation of Automatic Control, IFAC in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 17, NÚMERO: 1 PART 1
INDEXADO EM: Scopus Handle
7160
TÍTULO: PRT simulation in an immersive virtual world
AUTORES: Lopes, CV; Popov, A; Kan, L; Morla, R ;
PUBLICAÇÃO: 2008, FONTE: 1st International ICST Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SIMUTools 2008 in SIMUTools 2008 - 1st International ICST Conference on Simulation Tools and Techniques for Communications, Networks and Systems, PÁGINAS: 57
INDEXADO EM: Scopus DBLP CrossRef: 2

Results per Page: 20.
Página 358 de 414. Total de resultados: 8280.