Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

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

149 Team Members
Filters -> Year: 2026
1441
TÍTULO: Iterative reordering of rules for building ensembles without relearning
AUTORES: Azevedo, PJ ; Jorge, AM ;
PUBLICAÇÃO: 2007, FONTE: 10th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4755, PÁGINAS: 56-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1442
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: 2007, FONTE: FMIS@BCS HCI, VOLUME: 208, NÚMERO: C, PÁGINAS: 77-93
INDEXADO EM: Scopus DBLP CrossRef: 24 Handle
1443
TÍTULO: Modelling is for reasoning
AUTORES: Barbosa, LS ; Martinho, MH ;
PUBLICAÇÃO: 2007, FONTE: Mathematical Modelling: Education, Engineering and Economics - ICTMA 12, PÁGINAS: 480-489
INDEXADO EM: Scopus
1444
TÍTULO: On the use of a reflective architecture to augment database management systems  Full Text
AUTORES: Carvalho, N; Correia, A; Pereira, J ; Rodrigues, L ; Oliveira, R ; Guedes, S;
PUBLICAÇÃO: 2007, FONTE: Dagstuhl Seminar on Atomicity in Computer Science in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, NÚMERO: 8, PÁGINAS: 1110-1135
INDEXADO EM: Scopus WOS DBLP
1445
TÍTULO: Parallel graphics and visualization
AUTORES: Santo, LP ;
PUBLICAÇÃO: 2007, FONTE: PARALLEL COMPUTING, VOLUME: 33, NÚMERO: 6, PÁGINAS: 359-360
INDEXADO EM: Scopus WOS CrossRef
1446
TÍTULO: Processes:: Working group report
AUTORES: Chatty, S; Campos, JC ; González, MP; Lepreux, S; Nilsson, EG; Penichet, VMR; Santos, M; Van den Bergh, J;
PUBLICAÇÃO: 2007, FONTE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323, PÁGINAS: 262-264
INDEXADO EM: Scopus WOS DBLP CrossRef
1447
TÍTULO: Randomness reuse: Extensions and improvements
AUTORES: Barbosal, M ; Farshim, P;
PUBLICAÇÃO: 2007, FONTE: 11th IMA Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 4887, PÁGINAS: 257-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
1448
TÍTULO: Report on selected papers from LDTA 2003  Full Text
AUTORES: Bryant, BR; Saraiva, J ;
PUBLICAÇÃO: 2007, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 68, NÚMERO: 1, PÁGINAS: 1-1
INDEXADO EM: Scopus WOS DBLP CrossRef
1449
TÍTULO: Scalable Bloom Filters  Full Text
AUTORES: Almeida, PS ; Baquero, C ; Preguiça, N ; Hutchison, D;
PUBLICAÇÃO: 2007, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 101, NÚMERO: 6, PÁGINAS: 255-261
INDEXADO EM: Scopus WOS DBLP CrossRef: 161
1450
TÍTULO: Selected papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages J.UCS special issue
AUTORES: Bigonha, RS; Musicante, MA; Pardo, A; Garcia, A; Martini, A; Moreira, AF; De Melo, ACV; Du Bois, AR; Santos, A; Camarao, C; Rubira, C; Braga, C; Naumann, D; Haeusler, EH; De Carvalho Junior, FH; Cafezeiro, I; Palsberg, J; Jeuring, J; Saraiva, J ; Guimaraes, J; Labra, J; Fiadeiro, JL; Figueiredo, L; Barbosa, LS ; Menezes, LC; Maia, M; De Valente, MTO; Bigonha, MAS; Benton, N; Rodriguez, N; Borba, P; Mosses, PD; Lins, RD; Cerqueira, R; Lima, RM; Ierusalimschy, R; Rigo, S; De Schneider, SM; Soares, S; Dascalu, S; Thompson, S; Vene, V; Costa, V ; Iorio, VD; ...Mais
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, NÚMERO: 6, PÁGINAS: 679-679
INDEXADO EM: Scopus WOS
1451
TÍTULO: Token-passing Nets for Functional Languages
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2007, FONTE: WRS@RDP, VOLUME: 204, NÚMERO: C, PÁGINAS: 181-198
INDEXADO EM: Scopus DBLP CrossRef: 2
1452
TÍTULO: Tools and libraries to model and manipulate circular programs  Full Text
AUTORES: João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2007, FONTE: PEPM, PÁGINAS: 102-111
INDEXADO EM: Scopus DBLP CrossRef: 14
1454
TÍTULO: Visual Programming with Recursion Patterns in Interaction Nets
AUTORES: Ian Mackie; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2007, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 6
INDEXADO EM: Scopus DBLP
1455
TÍTULO: XIS-UML Profile for eXtreme Modeling Interactive Systems
AUTORES: Alberto Rodrigues da Silva ; João de Sousa Saraiva ; Rui Silva; Carlos Martins;
PUBLICAÇÃO: 2007, FONTE: 4th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2007 in Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, PÁGINAS: 55-66
INDEXADO EM: Scopus DBLP CrossRef: 14
1456
TÍTULO: 2006 Eurographics Symposium on Parallel Graphics and Visualization  Full Text
AUTORES: Santos, LP ;
PUBLICAÇÃO: 2006, FONTE: Computer Graphics Forum, VOLUME: 25, NÚMERO: 4, PÁGINAS: 838
INDEXADO EM: Scopus CrossRef
1457
TÍTULO: A framework for describing interference in ubiquitous computing environments
AUTORES: Morla, R ; Davies, N;
PUBLICAÇÃO: 2006, FONTE: 4th IEEE Annual International Conference on Pervasive Computing and Communications in FOURTH ANNUAL IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS, PROCEEDINGS, VOLUME: 2006, PÁGINAS: 632-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1458
TÍTULO: A framework for point-free program transformation  Full Text
AUTORES: Cunha, A ; Pinto, JS ; Proença, J ;
PUBLICAÇÃO: 2006, FONTE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015, PÁGINAS: 1-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1459
TÍTULO: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2006, FONTE: TERMGRAPH@ETAPS, VOLUME: 176, NÚMERO: 1, PÁGINAS: 139-163
INDEXADO EM: Scopus DBLP CrossRef: 1
1460
TÍTULO: A pragmatic protocol for database replication in interconnected clusters
AUTORES: Grov, J; Soares, L; Correia, A; Pereira, J ; Oliveira, R ; Pedone, F;
PUBLICAÇÃO: 2006, FONTE: 12th Pacific Rim International Symposium on Dependable Computing in 12TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, PÁGINAS: 230-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 3

Results per Page: 20.
Página 73 de 83. Total de resultados: 1642.