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

150 Team Members
Filters -> Year: 2025
1241
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
1242
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
1243
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
1244
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
1246
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
1247
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
1248
TÍTULO: Interval Tree Clocks A Logical Clock for Dynamic Systems
AUTORES: Paulo Sergio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLICAÇÃO: 2008, FONTE: 12th International Conference on Principles of Distributed Systems in PRINCIPLES OF DISTRIBUTED SYSTEMS, 12TH INTERNATIONAL CONFERENCE, OPODIS 2008, VOLUME: 5401, PÁGINAS: 259-274
INDEXADO EM: Scopus WOS DBLP CrossRef: 26
1249
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Lammel, R; Visser, J; Saraiva, J ;
PUBLICAÇÃO: 2008, FONTE: International Summer School on Generative and Transformational Techniques in Software Engineering II, GTTSE 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5235 LNCS
INDEXADO EM: Scopus
1250
TÍTULO: Lissom, a Source Level Proof Carrying Code Platform PDF
AUTORES: João Gomes; Daniel Martins; Simão Melo de Sousa ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0803.2317
INDEXADO EM: DBLP arXiv
1251
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
1252
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
1253
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
1254
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
1255
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
1256
TÍTULO: Resources for situated actions
AUTORES: Gavin Doherty; Jose Campos ; Michael Harrison ;
PUBLICAÇÃO: 2008, FONTE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136, PÁGINAS: 194-207
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1257
TÍTULO: Secure biometric authentication with improved accuracy  Full Text
AUTORES: Manuel Barbosa ; Thierry Brouard; Stephane Cauchie; Simao Melo de Sousa ;
PUBLICAÇÃO: 2008, FONTE: 13th Australasian Conference on Information Security and Privacy in INFORMATION SECURITY AND PRIVACY, VOLUME: 5107, PÁGINAS: 21-36
INDEXADO EM: Scopus WOS DBLP
1258
TÍTULO: Secure Biometric Authentication With Improved Accuracy
AUTORES: Manuel Barbosa ; Stéphane Cauchie; Thierry Brouard; Simão Melo de Sousa ;
PUBLICAÇÃO: 2008, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2008, PÁGINAS: 302
INDEXADO EM: DBLP
1259
TÍTULO: Serpentine: Adaptive Middleware for Complex Heterogeneous Distributed Systems. adaptive middleware for complex heterogeneous distributed systems
AUTORES: Matos, M ; Correia, A; Pereira, J ; Oliveira, R ;
PUBLICAÇÃO: 2008, FONTE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3, PÁGINAS: 2219-2223
INDEXADO EM: Scopus WOS DBLP CrossRef
1260
TÍTULO: Special track on dependable and adaptive distributed systems. editorial message  Full Text
AUTORES: Goeschka, KM; Hallsteinsen, SO; Oliveira, R ; Romanovsky, A;
PUBLICAÇÃO: 2008, FONTE: 23rd Annual ACM Symposium on Applied Computing, SAC'08 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 2167-2168
INDEXADO EM: Scopus CrossRef

Results per Page: 20.
Página 63 de 75. Total de resultados: 1498.