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

150 Team Members
Filters -> Year: 2024
1301
TITLE: Secure biometric authentication with improved accuracy  Full Text
AUTHORS: Manuel Barbosa ; Thierry Brouard; Stephane Cauchie; Simao Melo de Sousa ;
PUBLISHED: 2008, SOURCE: 13th Australasian Conference on Information Security and Privacy in INFORMATION SECURITY AND PRIVACY, VOLUME: 5107, PAGES: 21-36
INDEXED IN: Scopus WOS DBLP
1302
TITLE: Serpentine. adaptive middleware for complex heterogeneous distributed systems
AUTHORS: Matos, M; Correia, A; Pereira, J; Oliveira, R ;
PUBLISHED: 2008, SOURCE: Proceedings of the 2008 ACM symposium on Applied computing - SAC '08
INDEXED IN: CrossRef: 4
1303
TITLE: Serpentine: Adaptive Middleware for Complex Heterogeneous Distributed Systems
AUTHORS: Matos, M ; Correia, A; Pereira, J ; Oliveira, R ;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3, PAGES: 2219-2223
INDEXED IN: Scopus WOS DBLP
1304
TITLE: Special track on dependable and adaptive distributed systems. editorial message  Full Text
AUTHORS: Goeschka, KM; Hallsteinsen, SO; Oliveira, R ; Romanovsky, A;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing, SAC'08 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 2167-2168
INDEXED IN: Scopus CrossRef
1305
TITLE: Systematic analysis of control panel interfaces using formal tools
AUTHORS: Creissac C Campos ; Harrison, MD ;
PUBLISHED: 2008, SOURCE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136, PAGES: 72-85
INDEXED IN: Scopus WOS DBLP CrossRef: 34
1306
TITLE: The Objects and Arrows of Computational Design
AUTHORS: Don Batory; Maider Azanza; Joao Saraiva ;
PUBLISHED: 2008, SOURCE: 11th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5301, PAGES: 1-+
INDEXED IN: Scopus WOS DBLP CrossRef: 17
1307
TITLE: Token-passing Nets for Functional Languages
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2008, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 204, ISSUE: C, PAGES: 181-198
INDEXED IN: Scopus DBLP CrossRef: 2
1308
TITLE: Transforming Data by Calculation
AUTHORS: Jose N Oliveira ;
PUBLISHED: 2008, SOURCE: 2nd International Summer School on Generative and Transformational Techniques in Software Engineering in GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING II, VOLUME: 5235, PAGES: 134-195
INDEXED IN: Scopus WOS
1309
TITLE: Visual Programming with Interaction Nets
AUTHORS: Abubakar Hassan; Ian Mackie; Jorge Sousa Pinto ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Diagrammatic Representation and Inference in DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS, VOLUME: 5223, PAGES: 165-171
INDEXED IN: Scopus WOS DBLP CrossRef: 3
1310
TITLE: Work in progress - Structure editing of handwritten mathematics
AUTHORS: Mendes, A ;
PUBLISHED: 2008, SOURCE: 38th ASEE/IEEE Frontiers in Education Conference, FIE 2008 in Proceedings - Frontiers in Education Conference, FIE
INDEXED IN: Scopus CrossRef
1311
TITLE: WS-Gossip: middleware for scalable service coordination
AUTHORS: Filipe Campos; José Pereira ;
PUBLISHED: 2008, SOURCE: Middleware 2008, ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 1-5, 2008, Companion Proceedings, PAGES: 116-117
INDEXED IN: DBLP
1312
TITLE: A closer look on protein unfolding Simulations through hierarchical clustering
AUTHORS: Pedro Gabriel Ferreira ; Candida G Silva ; Rui M M Brito ; Paulo J Azevedo ;
PUBLISHED: 2007, SOURCE: IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology in 2007 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, PAGES: 461-468
INDEXED IN: Scopus WOS DBLP
1313
TITLE: A Higher-Order Calculus for Graph Transformation
AUTHORS: Fernandez, M; Mackie, I; Pinto, JS ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 72, ISSUE: 1 SPEC. ISS., PAGES: 45-58
INDEXED IN: Scopus DBLP CrossRef: 3
1314
TITLE: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
AUTHORS: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 176, ISSUE: 1, PAGES: 139-163
INDEXED IN: Scopus DBLP CrossRef: 1
1315
TITLE: A new plant modelling approach for formal verification purposes
AUTHORS: Machado, J ; Seabra, E ; Soares, F ; Campos, J ;
PUBLISHED: 2007, SOURCE: 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Complex Systems Theory and Applications, LSS 2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 11, ISSUE: PART 1, PAGES: 167-172
INDEXED IN: Scopus CrossRef
1316
TITLE: A Shortcut Fusion Rule for Circular Program Calculation
AUTHORS: Joao Paulo Fernandes ; Alberto Pardo; Joao Saraiva ;
PUBLISHED: 2007, SOURCE: 11th ACM SIGPLAN Haskell Workshop in HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP, PAGES: 95-106
INDEXED IN: Scopus WOS DBLP CrossRef: 11
1317
TITLE: A type-level approach to component prototyping
AUTHORS: Barbosa, L ; Cunha, J ; Visser, J;
PUBLISHED: 2007, SOURCE: SYANCO'07: International Workshop on Synthesis and Analysis of Component Connectors: 6th ESEC(European Software Engineering Conference)/FSE(Foundations of Software Engineering) Joint Meeting in SYANCO'07: International Workshop on Synthesis and Analysis of Component Connectors - In conjunction with the 6th ESEC/FSE Joint Meeting, PAGES: 23-36
INDEXED IN: Scopus DBLP CrossRef
1318
TITLE: An interaction model and infrastructure for localized activities in pervasive computing environments
AUTHORS: Pinto, H; Jose, R ; Campos, JC ;
PUBLISHED: 2007, SOURCE: IEEE International Conference on Pervasive Services in 2007 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE SERVICES, PAGES: 232-+
INDEXED IN: Scopus WOS DBLP CrossRef: 3
1319
TITLE: An Orchestrator for Dynamic Interconnection of Software Components
AUTHORS: Barbosa, MA; Barbosa, LS ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 181, ISSUE: 1, PAGES: 49-61
INDEXED IN: Scopus DBLP CrossRef
1320
TITLE: CodeGenie: Using test-cases to search and reuse source code
AUTHORS: Lemos, OAL; Bajracharya, SK; Ossher, J; Morla, RS ; Masiero, PC; Baldi, P; Lopes, CV;
PUBLISHED: 2007, SOURCE: 22nd IEEE/ACM International Conference on Automated Software Engineering, ASE'07 in ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering, PAGES: 525-526
INDEXED IN: Scopus DBLP

Results per Page: 20.
Página 66 de 77. Total de resultados: 1539.