High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 1486

150 Team Members
Filters -> Year: 2024
1321
TITLE: Preface
AUTHORS: Zhiming Liu; Luís Soares Barbosa ;
PUBLISHED: 2006, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 160, PAGES: 1-2
INDEXED IN: DBLP
1323
TITLE: Program slicing by calculation  Full Text
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLISHED: 2006, SOURCE: 10th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 7, PAGES: 828-848
INDEXED IN: Scopus WOS DBLP
1324
TITLE: Query Driven Sequence Pattern Mining PDF
AUTHORS: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLISHED: 2006, SOURCE: XXI Simpósio Brasileiro de Banco de Dados, 16-20 de Outubro, Florianópolis, Santa Catarina, Brasil, Anais/Proceedings, PAGES: 1-15
INDEXED IN: DBLP
1325
TITLE: Refinement criteria for high fidelity interactive walkthroughs
AUTHORS: Oliveira, A; Santos, LP ; Proenca, A ;
PUBLISHED: 2006, SOURCE: GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia in Proceedings - GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia, PAGES: 453-458
INDEXED IN: Scopus CrossRef
1326
TITLE: Relational sampling for data quality auditing and decision support  Full Text
AUTHORS: Bruno Cortes; Jose Nuno Oliveira ;
PUBLISHED: 2006, SOURCE: 6th International Conference on Enterprise Information Systems (ICEIS 2004) in Enterprise Information Systems VI, PAGES: 82-88
INDEXED IN: WOS CrossRef
1327
TITLE: Revisiting 1-copy equivalence in clustered databases  Full Text
AUTHORS: Oliveira, R ; Pereira, J ; Correia, A; Archibald, E;
PUBLISHED: 2006, SOURCE: 2006 ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 1, PAGES: 728-732
INDEXED IN: Scopus DBLP CrossRef: 4
1328
TITLE: Secure cryptographic workflow in the standard model
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2006, SOURCE: 7th International Conference on Cryptology in India in Progress in Cryptology - INDOCRYPT 2006, Proceedings, VOLUME: 4329, PAGES: 379-393
INDEXED IN: WOS DBLP CrossRef: 9
1329
TITLE: Secure Cryptographic Workflow in the Standard Model
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2006, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2006, PAGES: 450
INDEXED IN: DBLP
1330
TITLE: Selective rendering: Computing only what you see. computing only what you see
AUTHORS: Chalmers, A; Debattista, K; Dos Santos, LP ;
PUBLISHED: 2006, SOURCE: GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia in Proceedings - GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia, PAGES: 9-18
INDEXED IN: Scopus CrossRef: 4
1331
TITLE: Structural proof theory as rewriting
AUTHORS: Santo, JE ; Frade, MJ ; Pinto, L ;
PUBLISHED: 2006, SOURCE: 17th International Conference on Rewriting Techniques and Applications in TERM REWRITING AND APPLICATIONS, PROCEEDINGS, VOLUME: 4098, PAGES: 197-211
INDEXED IN: Scopus WOS CrossRef: 3
1332
TITLE: Supporting resource-based analysis of task information needs
AUTHORS: Jose Creissac Campos ; Gavin J Doherty;
PUBLISHED: 2006, SOURCE: 12th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 3941, PAGES: 188-200
INDEXED IN: Scopus WOS DBLP CrossRef: 3
1333
TITLE: Towards a generic group communication service
AUTHORS: Nuno Carvalho; Jose Pereira ; Luis Rodrigues ;
PUBLISHED: 2006, SOURCE: On the Move Confederated International Conference on CoopIS/DOA/GADA, and ODBASE in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: COOPIS, DOA, GADA, AND ODBASE PT 2, PROCEEDINGS, VOLUME: 4276, PAGES: 1485-1502
INDEXED IN: Scopus WOS DBLP CrossRef: 9
1334
TITLE: Towards interference-free deployment of ubicomp systems
AUTHORS: Ricardo Santos Morla ;
PUBLISHED: 2006, SOURCE: British Library, EThOS
INDEXED IN: DBLP
1335
TITLE: Transposing partial components - An exercise on coalgebraic refinement  Full Text
AUTHORS: Luis S Barbosa ; Jose N Oliveira ;
PUBLISHED: 2006, SOURCE: 3rd International Symposium on Formal Methods for Components and Objects in THEORETICAL COMPUTER SCIENCE, VOLUME: 365, ISSUE: 1-2, PAGES: 2-22
INDEXED IN: Scopus WOS DBLP CrossRef: 13
1336
TITLE: Type-safe two-level data transformation
AUTHORS: Alcino Cunha ; Jose Nuno Oliveira ; Joost Visser;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085, PAGES: 284-299
INDEXED IN: Scopus WOS DBLP CrossRef: 18
1337
TITLE: Visual interactive subgroup discovery with numerical properties of interest
AUTHORS: Alipio M Jorge ; Fernando Pereira; Paulo J Azevedo ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PAGES: 301-305
INDEXED IN: Scopus WOS DBLP CrossRef: 9
1338
TITLE: Visual interactive subgroup discovery with numerical properties of interest
AUTHORS: Paulo J Azevedo; Alípio M Jorge ; Fernando Pereira;
PUBLISHED: 2006
INDEXED IN: Handle
1339
TITLE: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 Covilha, Portugal, December 5-8, 2005 - Introduction
AUTHORS: Camacho, R ; Alves, A; da Costa, JP ; Azevedo, P ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 235-235
INDEXED IN: WOS
1340
TITLE: A coalgebraic semantic framework for component-based development in UML
AUTHORS: Meng, S; Aichernig, BK; Barbosa, LS ; Naixiao, Z;
PUBLISHED: 2005, SOURCE: Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004) in Electronic Notes in Theoretical Computer Science, VOLUME: 122, PAGES: 229-245
INDEXED IN: Scopus DBLP CrossRef: 3

Results per Page: 20.
Page 67 of 75. Total results: 1486.