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

149 Team Members
Filters -> Year: 2026
1422
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: 3
1423
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
1424
TÍTULO: Interval Tree Clocks A Logical Clock for Dynamic Systems
AUTORES: Almeida, PS ; Baquero, C ; Fonte, V ;
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: 27 Handle
1425
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
1426
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
1427
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: 24 Handle
1428
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
1429
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
1430
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
1431
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: 3
1432
TÍTULO: Reconfiguration of Reo Connectors Triggered by Dataflow
AUTORES: Christian Koehler; David Costa; José Proença ; Farhad Arbab;
PUBLICAÇÃO: 2008, FONTE: ECEASST, VOLUME: 10
INDEXADO EM: DBLP
1433
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: 7
1434
TÍTULO: Secure biometric authentication with improved accuracy  Full Text
AUTORES: Barbosa, M ; Brouard, T; Cauchie, S; de Sousa, SM ;
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 Handle
1435
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
1436
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: 4
1437
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
1438
TÍTULO: Systematic analysis of control panel interfaces using formal tools
AUTORES: Creissac C Campos ; Harrison, MD ;
PUBLICAÇÃO: 2008, FONTE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136, PÁGINAS: 72-85
INDEXADO EM: Scopus WOS DBLP CrossRef: 43
1439
TÍTULO: The Objects and Arrows of Computational Design
AUTORES: Don Batory; Maider Azanza; Joao Saraiva ;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5301, PÁGINAS: 1-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
1440
TÍTULO: Token-passing Nets for Functional Languages
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2008, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 204, NÚMERO: C, PÁGINAS: 181-198
INDEXADO EM: Scopus DBLP CrossRef: 2

Results per Page: 20.
Página 72 de 84. Total de resultados: 1675.