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

149 Team Members
Filters -> Year: 2026
1461
TÍTULO: On the use of a reflective architecture to augment database management systems
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
1462
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
1463
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
1464
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
1465
TÍTULO: Report on selected papers from LDTA 2003
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
1466
TÍTULO: Scalable Bloom Filters
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
1467
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
1468
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
1469
TÍTULO: Tools and libraries to model and manipulate circular programs
AUTORES: João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2007, FONTE: PEPM, PÁGINAS: 102-111
INDEXADO EM: Scopus DBLP CrossRef: 14
1470
TÍTULO: Transformation of structure-shy programs: applied to XPath queries and strategic functions. applied to XPath queries and strategic functions
AUTORES: Alcino Cunha ; Joost Visser;
PUBLICAÇÃO: 2007, FONTE: PEPM, PÁGINAS: 11-20
INDEXADO EM: Scopus DBLP CrossRef: 10
1471
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
1472
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
1473
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
1474
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
1475
TÍTULO: A framework for point-free program transformation
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
1476
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
1477
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
1478
TÍTULO: Accessibility and visually impaired users
AUTORES: Fernandes, AR; Pereira, JR; Campos, JC ;
PUBLICAÇÃO: 2006, FONTE: 6th International Conference on Enterprise Information Systems (ICEIS 2004) in ENTERPRISE INFORMATION SYSTEMS VI, PÁGINAS: 310-+
INDEXADO EM: Scopus WOS DBLP CrossRef
1479
TÍTULO: Actas da 2ª Conferência Nacional em Interacção Pessoa-Máquina
AUTORES: Teresa Chambel ; Nuno J Nunes; Teresa Romão; José C Campos ;
PUBLICAÇÃO: 2006, FONTE: Actas da 2ª Conferência Nacional em Interacção Pessoa-Máquina
INDEXADO EM: Handle
1480
TÍTULO: An Orchestrator for Dynamic Interconnection of Software Components
AUTORES: Marco Antonio Barbosa; Luís Soares Barbosa ;
PUBLICAÇÃO: 2006, FONTE: CoOrg/MTCoord@COORDINATION, VOLUME: 181, NÚMERO: 1, PÁGINAS: 49-61
INDEXADO EM: Scopus DBLP CrossRef

Results per Page: 20.
Página 74 de 83. Total de resultados: 1659.