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

150 Team Members
Filters -> Year: 2024
1221
TÍTULO: A coalgebraic semantic framework for reasoning about UML sequence diagrams  Full Text
AUTORES: Meng, S; Barbosa, LS ;
PUBLICAÇÃO: 2008, FONTE: 8th International Conference on Quality Software, QSIC 2008 in Proceedings - International Conference on Quality Software, PÁGINAS: 17-26
INDEXADO EM: Scopus DBLP CrossRef: 3
1222
TÍTULO: A methodology for exploring association models
AUTORES: Jorge, A ; Pocas, J; Azevedo, PJ ;
PUBLICAÇÃO: 2008, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4404 LNCS, PÁGINAS: 46-59
INDEXADO EM: Scopus DBLP CrossRef: 1
1223
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
1224
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
1225
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
1226
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
1227
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
1228
TÍTULO: Analysing Human Aspects of Safety-Critical Software
AUTORES: Michael D Harrison ; José Creissac Campos ;
PUBLICAÇÃO: 2008, FONTE: ERCIM News, VOLUME: 2008, NÚMERO: 75
INDEXADO EM: DBLP
1229
TÍTULO: Calculating invariants as coreflexive bisimulations
AUTORES: Luis S Barbosa ; Jose N Oliveira ; Alexandra Silva ;
PUBLICAÇÃO: 2008, FONTE: 12th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, VOLUME: 5140, PÁGINAS: 83-99
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
1230
TÍTULO: Certificateless signcryption
AUTORES: Barbosa, M ; Farshim, P;
PUBLICAÇÃO: 2008, FONTE: 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS '08 in Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS '08, PÁGINAS: 369-372
INDEXADO EM: Scopus DBLP CrossRef: 119
1231
TÍTULO: Certificateless Signcryption
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2008, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2008, PÁGINAS: 143
INDEXADO EM: DBLP
1232
TÍTULO: Connecting Rigorous System Analysis to Experience-Centered Design
AUTORES: Michael D Harrison ; José Creissac Campos ; Gavin J Doherty; Karsten Loer;
PUBLICAÇÃO: 2008, FONTE: Maturing Usability - Quality in Software, Interaction and Value, PÁGINAS: 56-74
INDEXADO EM: DBLP CrossRef: 1
1233
TÍTULO: Considering Context and Users in Interactive Systems Analysis  Full Text
AUTORES: Jose Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2008, FONTE: Engineering Interactive Systems (EIS 2007) - Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007 in ENGINEERING INTERACTIVE SYSTEMS, VOLUME: 4940, PÁGINAS: 193-209
INDEXADO EM: Scopus WOS DBLP CrossRef
1234
TÍTULO: COORDINSPECTOR: a tool for extracting coordination data from legacy code
AUTORES: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLICAÇÃO: 2008, FONTE: 8th IEEE International Working Conference on Source Code Analysis and Manipulation in EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, PÁGINAS: 265-266
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1235
TÍTULO: Deriving Sorting Algorithms PDF
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0802.3881
INDEXADO EM: DBLP arXiv
1236
TÍTULO: Disentangling Denotational Semantics Definitions  Full Text
AUTORES: Fabio Tirelo; Roberto S Bigonha; Joao Saraiva ;
PUBLICAÇÃO: 2008, FONTE: 12th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 21, PÁGINAS: 3592-3607
INDEXADO EM: Scopus WOS DBLP
1237
TÍTULO: Exploring an Option Space to Engineer a Ubiquitous Computing System
AUTORES: Harrison, MD ; Kray, C; Campos, JC ;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 208, NÚMERO: C, PÁGINAS: 41-55
INDEXADO EM: Scopus DBLP CrossRef: 4
1239
TÍTULO: Gossip-based service coordination for scalability and resilience
AUTORES: Filipe Campos; José Pereira ;
PUBLICAÇÃO: 2008, FONTE: Proceedings of the 3rd Workshop on Middleware for Service Oriented Computing, MW4SOC 2008, Leuven, Belgium, December 1-5, 2008, PÁGINAS: 55-60
INDEXADO EM: DBLP CrossRef: 2
1240
TÍTULO: Intelligent optical sensors using artificial neural network approach  Full Text
AUTORES: Ireneu Dias ; Rui Oliveira ; Orlando Frazao ;
PUBLICAÇÃO: 2008, FONTE: 8th IFIP International Conference on Information Technology for Balanced Automation Systems in INNOVATION IN MANUFACTURING NETWORKS, VOLUME: 266, PÁGINAS: 289-294
INDEXADO EM: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Página 62 de 75. Total de resultados: 1490.