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
1181
TÍTULO: Clouder: A flexible large scale decentralized object store architecture overview
AUTORES: Vilaca, R ; Oliveira, R ;
PUBLICAÇÃO: 2009, FONTE: 3rd Workshop on Dependable Distributed Data Management, WDDM'09 in Proceedings of the 3rd Workshop on Dependable Distributed Data Management, WDDM'09, PÁGINAS: 25-28
INDEXADO EM: Scopus
1182
TÍTULO: Clouder: a flexible large scale decentralized object store: architecture overview. architecture overview
AUTORES: Ricardo Vilaça ; Rui Oliveira ;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the Third Workshop on Dependable Distributed Data Management, WDDM '09, Nuremberg, Germany, March 31, 2009, PÁGINAS: 25-28
INDEXADO EM: DBLP CrossRef Handle
1183
TÍTULO: Co-Algebraic Semantic Framework for Reasoning about Interaction Designs
AUTORES: Sun Meng; Luís Soares Barbosa ;
PUBLICAÇÃO: 2009, FONTE: UML 2 Semantics and Applications, PÁGINAS: 249-280
INDEXADO EM: Scopus DBLP CrossRef
1184
TÍTULO: Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography  Full Text
AUTORES: Barbosa, M ; Moss, A; Page, D;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF CRYPTOLOGY, VOLUME: 22, NÚMERO: 2, PÁGINAS: 259-281
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
1185
TÍTULO: Deductive Verification of Cryptographic Software
AUTORES: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLICAÇÃO: 2009, FONTE: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009., VOLUME: NASA/CP-2009-215407, PÁGINAS: 146-155
INDEXADO EM: DBLP
1186
TÍTULO: Deterministic Motif Mining in Protein Databases
AUTORES: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLICAÇÃO: 2009, FONTE: Database Technologies: Concepts, Methodologies, Tools, and Applications (4 Volumes), PÁGINAS: 2632-2656
INDEXADO EM: DBLP
1187
TÍTULO: Deterministic pattern mining on genetic sequences
AUTORES: Ferreira, PG ; Azevedo, PJ ;
PUBLICAÇÃO: 2009, FONTE: Handbook of Research on Machine Learning Applications and Trends: Algorithms, Methods, and Techniques, PÁGINAS: 277-301
INDEXADO EM: Scopus CrossRef
1188
TÍTULO: Discovery-based Edit Assistance for Spreadsheets
AUTORES: Jacome Cunha ; Joao Saraiva ; Joost Visser;
PUBLICAÇÃO: 2009, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing in 2009 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, PÁGINAS: 233-237
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
1190
TÍTULO: Editorial  Full Text
AUTORES: Paul Boca; Raymond Boute; David Duce; José Oliveira ;
PUBLICAÇÃO: 2009, FONTE: Formal Aspects of Computing - Form Asp Comp, VOLUME: 21, NÚMERO: 3, PÁGINAS: 225-225
INDEXADO EM: CrossRef
1191
TÍTULO: Evaluating Throughput Stability of Protocols for Distributed Middleware
AUTORES: Nuno A Carvalho; Jose P Oliveira; Jose Pereira ;
PUBLICAÇÃO: 2009, FONTE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009, PT 1, VOLUME: 5870, NÚMERO: PART 1, PÁGINAS: 600-613
INDEXADO EM: Scopus WOS DBLP CrossRef
1192
TÍTULO: Extended Static Checking by Calculation Using the Pointfree Transform
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2009, FONTE: International Summer School on Language Engineering and Rigorous Software Development in LANGUAGE ENGINEERING AND RIGOROUS SOFTWARE DEVELOPMENT, VOLUME: 5520, PÁGINAS: 195-251
INDEXADO EM: Scopus WOS CrossRef Handle
1193
TÍTULO: Fast Estimation of Aggregates in Unstructured Networks
AUTORES: Carlos Baquero ; Paulo Sergio Almeida ; Raquel Menezes ;
PUBLICAÇÃO: 2009, FONTE: 5th International Conference on Autonomic and Autonomous Systems in ICAS: 2009 FIFTH INTERNATIONAL CONFERENCE ON AUTONOMIC AND AUTONOMOUS SYSTEMS, PÁGINAS: 88-93
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
1194
TÍTULO: Fault-Tolerant Aggregation by Flow Updating
AUTORES: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLICAÇÃO: 2009, FONTE: 9th International Conference on Distributed Applications and Interoperable Systems in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, PROCESSINGS, VOLUME: 5523, PÁGINAS: 73-86
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
1195
TÍTULO: Forby: Providing Groupware Features Relying on Distributed File System Event Dissemination
AUTORES: Pedro Sousa; Nuno Preguica ; Carlos Baquero ;
PUBLICAÇÃO: 2009, FONTE: 15th International Workshop on Groupware - Design, Implementation, and Use in GROUPWARE-DESIGN: IMPLEMENTATION, AND USE, PROCEEDINGS, VOLUME: 5784, PÁGINAS: 158-173
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1196
TÍTULO: Formal Aspects of Computing: Editorial
AUTORES: Boca, P; Boute, R; Duce, D; Oliveira, J ;
PUBLICAÇÃO: 2009, FONTE: Formal Aspects of Computing, VOLUME: 21, NÚMERO: 3, PÁGINAS: 225
INDEXADO EM: Scopus
1197
TÍTULO: From Object Replication to Database Replication
AUTORES: Fernando Pedone; Rui Oliveira ;
PUBLICAÇÃO: 2009, FONTE: 4th Latin-American Symposium on Dependable Computing in LADC: 2009 4TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING, PÁGINAS: 135-135
INDEXADO EM: WOS DBLP CrossRef
1198
TÍTULO: From spreadsheets to relational databases and back
AUTORES: Cunha, J ; Saraiva, J ; Visser, J;
PUBLICAÇÃO: 2009, FONTE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09, PÁGINAS: 179-188
INDEXADO EM: Scopus DBLP CrossRef: 26
1199
TÍTULO: Implementation of an Orchestration Language as a Haskell Domain Specific Language
AUTORES: Campos, MD; Barbosa, LS ;
PUBLICAÇÃO: 2009, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 255, PÁGINAS: 45-64
INDEXADO EM: Scopus DBLP CrossRef: 4
1200
TÍTULO: Instant Caching for Interactive Global Illumination  Full Text
AUTORES: Debattista, K; Dubla, P; Banterle, F; Santos, LP ; Chalmers, A;
PUBLICAÇÃO: 2009, FONTE: COMPUTER GRAPHICS FORUM, VOLUME: 28, NÚMERO: 8, PÁGINAS: 2216-2228
INDEXADO EM: Scopus WOS CrossRef: 5

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