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

150 Team Members
Filters -> Year: 2024
1241
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
1242
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
1243
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
1244
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
1245
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
1246
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
1247
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
1248
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
1249
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
1250
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
1251
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: 34
1252
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: 17
1253
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
1254
TÍTULO: Transforming Data by Calculation
AUTORES: Jose N Oliveira ;
PUBLICAÇÃO: 2008, FONTE: 2nd International Summer School on Generative and Transformational Techniques in Software Engineering in GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING II, VOLUME: 5235, PÁGINAS: 134-195
INDEXADO EM: Scopus WOS
1255
TÍTULO: Visual Programming with Interaction Nets
AUTORES: Abubakar Hassan; Ian Mackie; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: 5th International Conference on Diagrammatic Representation and Inference in DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS, VOLUME: 5223, PÁGINAS: 165-171
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1256
TÍTULO: Work in progress - Structure editing of handwritten mathematics
AUTORES: Mendes, A ;
PUBLICAÇÃO: 2008, FONTE: 38th ASEE/IEEE Frontiers in Education Conference, FIE 2008 in Proceedings - Frontiers in Education Conference, FIE
INDEXADO EM: Scopus CrossRef
1257
TÍTULO: WS-Gossip: middleware for scalable service coordination. middleware for scalable service coordination
AUTORES: Filipe Campos; José Pereira ;
PUBLICAÇÃO: 2008, FONTE: Middleware 2008, ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 1-5, 2008, Companion Proceedings, PÁGINAS: 116-117
INDEXADO EM: DBLP CrossRef
1258
TÍTULO: A closer look on protein unfolding Simulations through hierarchical clustering
AUTORES: Pedro Gabriel Ferreira ; Candida G Silva ; Rui M M Brito ; Paulo J Azevedo ;
PUBLICAÇÃO: 2007, FONTE: IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology in 2007 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, PÁGINAS: 461-468
INDEXADO EM: Scopus WOS DBLP
1259
TÍTULO: A Higher-Order Calculus for Graph Transformation
AUTORES: Fernandez, M; Mackie, I; Pinto, JS ;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 72, NÚMERO: 1 SPEC. ISS., PÁGINAS: 45-58
INDEXADO EM: Scopus DBLP CrossRef: 3
1260
TÍTULO: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
AUTORES: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 176, NÚMERO: 1, PÁGINAS: 139-163
INDEXADO EM: Scopus DBLP CrossRef: 1

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