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

150 Team Members
Filters -> Year: 2024
1221
TITLE: CLON: Overlay network for clouds
AUTHORS: Matos, M ; Sousa, A ; Pereira, J; Oliveira, R ;
PUBLISHED: 2009, SOURCE: 3rd Workshop on Dependable Distributed Data Management, WDDM'09 in Proceedings of the 3rd Workshop on Dependable Distributed Data Management, WDDM'09, PAGES: 14-17
INDEXED IN: Scopus
1222
TITLE: CLON: overlay network for clouds
AUTHORS: Miguel Matos; António Luís Sousa; José Pereira ; Rui Oliveira;
PUBLISHED: 2009, SOURCE: Proceedings of the Third Workshop on Dependable Distributed Data Management, WDDM '09, Nuremberg, Germany, March 31, 2009, PAGES: 14-17
INDEXED IN: DBLP
1223
TITLE: CLON: Overlay Networks and Gossip Protocols for Cloud Environments
AUTHORS: Miguel Matos ; Antonio Sousa ; Jose Pereira ; Rui Oliveira ; Eric Deliot; Paul Murray;
PUBLISHED: 2009, SOURCE: On the Move Confederated International Conference and Workshops in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009, PT 1, VOLUME: 5870, ISSUE: PART 1, PAGES: 549-566
INDEXED IN: Scopus WOS DBLP CrossRef: 13
1224
TITLE: Clouder: A flexible large scale decentralized object store architecture overview
AUTHORS: Vilaca, R ; Oliveira, R ;
PUBLISHED: 2009, SOURCE: 3rd Workshop on Dependable Distributed Data Management, WDDM'09 in Proceedings of the 3rd Workshop on Dependable Distributed Data Management, WDDM'09, PAGES: 25-28
INDEXED IN: Scopus
1225
TITLE: Clouder: a flexible large scale decentralized object store: architecture overview. architecture overview
AUTHORS: Ricardo Vilaça ; Rui Oliveira ;
PUBLISHED: 2009, SOURCE: Proceedings of the Third Workshop on Dependable Distributed Data Management, WDDM '09, Nuremberg, Germany, March 31, 2009, PAGES: 25-28
INDEXED IN: DBLP CrossRef: 5
1226
TITLE: Co-Algebraic Semantic Framework for Reasoning about Interaction Designs
AUTHORS: Sun Meng; Luís Soares Barbosa ;
PUBLISHED: 2009, SOURCE: UML 2 Semantics and Applications, PAGES: 249-280
INDEXED IN: Scopus DBLP CrossRef
1227
TITLE: Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography  Full Text
AUTHORS: Barbosa, M ; Moss, A; Page, D;
PUBLISHED: 2009, SOURCE: JOURNAL OF CRYPTOLOGY, VOLUME: 22, ISSUE: 2, PAGES: 259-281
INDEXED IN: Scopus WOS DBLP CrossRef: 7
1228
TITLE: Coordination via Interaction Constraints I: Local Logic  Full Text
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2009, SOURCE: Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009., VOLUME: 12, PAGES: 17-39
INDEXED IN: DBLP CrossRef: 1
1229
TITLE: Deconstructing Reo
AUTHORS: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLISHED: 2009, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 229, ISSUE: 2, PAGES: 43-58
INDEXED IN: Scopus DBLP CrossRef: 12
1230
TITLE: Deductive Verification of Cryptographic Software
AUTHORS: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLISHED: 2009, SOURCE: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009., VOLUME: NASA/CP-2009-215407, PAGES: 146-155
INDEXED IN: DBLP
1231
TITLE: Deterministic Motif Mining in Protein Databases
AUTHORS: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLISHED: 2009, SOURCE: Database Technologies: Concepts, Methodologies, Tools, and Applications (4 Volumes), PAGES: 2632-2656
INDEXED IN: DBLP
1232
TITLE: Deterministic pattern mining on genetic sequences
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2009, SOURCE: Handbook of Research on Machine Learning Applications and Trends: Algorithms, Methods, and Techniques, PAGES: 277-301
INDEXED IN: Scopus CrossRef
1233
TITLE: Discovery-based Edit Assistance for Spreadsheets
AUTHORS: Jacome Cunha ; Joao Saraiva ; Joost Visser;
PUBLISHED: 2009, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing in 2009 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, PAGES: 233-237
INDEXED IN: Scopus WOS DBLP CrossRef: 13
1235
TITLE: Editorial  Full Text
AUTHORS: Paul Boca; Raymond Boute; David Duce; José Oliveira ;
PUBLISHED: 2009, SOURCE: Formal Aspects of Computing - Form Asp Comp, VOLUME: 21, ISSUE: 3, PAGES: 225-225
INDEXED IN: CrossRef
1236
TITLE: Evaluating Throughput Stability of Protocols for Distributed Middleware
AUTHORS: Nuno A Carvalho; Jose P Oliveira; Jose Pereira ;
PUBLISHED: 2009, SOURCE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009, PT 1, VOLUME: 5870, ISSUE: PART 1, PAGES: 600-613
INDEXED IN: Scopus WOS DBLP CrossRef
1237
TITLE: Extended Static Checking by Calculation Using the Pointfree Transform  Full Text
AUTHORS: Jose N Oliveira ;
PUBLISHED: 2009, SOURCE: International Summer School on Language Engineering and Rigorous Software Development in LANGUAGE ENGINEERING AND RIGOROUS SOFTWARE DEVELOPMENT, VOLUME: 5520, PAGES: 195-251
INDEXED IN: Scopus WOS CrossRef: 11
1238
TITLE: Fast Estimation of Aggregates in Unstructured Networks
AUTHORS: Carlos Baquero ; Paulo Sergio Almeida ; Raquel Menezes ;
PUBLISHED: 2009, SOURCE: 5th International Conference on Autonomic and Autonomous Systems in ICAS: 2009 FIFTH INTERNATIONAL CONFERENCE ON AUTONOMIC AND AUTONOMOUS SYSTEMS, PAGES: 88-93
INDEXED IN: Scopus WOS DBLP CrossRef: 16
1239
TITLE: Fault-Tolerant Aggregation by Flow Updating
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLISHED: 2009, SOURCE: 9th International Conference on Distributed Applications and Interoperable Systems in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, PROCESSINGS, VOLUME: 5523, PAGES: 73-86
INDEXED IN: Scopus WOS DBLP CrossRef: 15
1240
TITLE: Forby: Providing Groupware Features Relying on Distributed File System Event Dissemination
AUTHORS: Pedro Sousa; Nuno Preguica ; Carlos Baquero ;
PUBLISHED: 2009, SOURCE: 15th International Workshop on Groupware - Design, Implementation, and Use in GROUPWARE-DESIGN: IMPLEMENTATION, AND USE, PROCEEDINGS, VOLUME: 5784, PAGES: 158-173
INDEXED IN: Scopus WOS DBLP CrossRef: 1

Results per Page: 20.
Página 62 de 78. Total de resultados: 1545.