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

149 Team Members
Filters -> Year: 2026
661
TÍTULO: Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis. Literature Review, Trends and Gap Analysis
AUTORES: Morten Meyerhoff Nielsen; Nuno Ramos Carvalho; Linda Veiga ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: ICEGOV, VOLUME: Part F128003, PÁGINAS: 140-148
INDEXADO EM: Scopus DBLP CrossRef: 13
662
TÍTULO: Aggregation Protocols in Light of Reliable Communication
AUTORES: Kassam, Z ; Shoker, A ; Almeida, PS ; Baquero, C ;
PUBLICAÇÃO: 2017, FONTE: IEEE 16th International Symposium on Network Computing and Applications (NCA) in 2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), VOLUME: 2017-January, PÁGINAS: 145-148
INDEXADO EM: Scopus WOS DBLP CrossRef
663
TÍTULO: AN ECONOMIC ENERGY APPROACH FOR QUERIES ON DATA CENTERS
AUTORES: Joao Saraiva ; Miguel Guimarales; Orlando Belot;
PUBLICAÇÃO: 2017, FONTE: 3rd Internacional Conference on Energy and Environment (ICEE) - Bringing Together Economics and Engineering in PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENT (ICEE 2017), PÁGINAS: 679-685
INDEXADO EM: WOS
664
TÍTULO: As Secure as Possible Eventual Consistency. Work in Progress
AUTORES: Shoker, A ; Yactine, H ; Baquero, C ;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 5:1-5:5
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
665
TÍTULO: Benchmarking IoT Middleware Platforms
AUTORES: Cardoso, J; Pereira, C; Aguiar, A ; Morla, R ;
PUBLICAÇÃO: 2017, FONTE: 18th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM) in 2017 IEEE 18TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), PÁGINAS: 1-7
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
666
TÍTULO: Bidirectional Transformations (BX 2015) Editorial
AUTORES: Alcino Cunha ; Ekkart Kindler;
PUBLICAÇÃO: 2017, FONTE: J. Object Technol., VOLUME: 16, NÚMERO: 1, PÁGINAS: 1-2
INDEXADO EM: Scopus DBLP CrossRef
667
TÍTULO: BiFluX: A Bidirectional Functional Update Language for XML
AUTORES: Tao Zan; Hugo Pacheco ; Hsiang Shang Ko; Zhenjiang Hu;
PUBLICAÇÃO: 2017, FONTE: Inf. Media Technol., VOLUME: 12, NÚMERO: 4, PÁGINAS: 1-23
INDEXADO EM: Scopus DBLP
668
TÍTULO: Borrowing an Identity for a Distributed Counter. Work in progress report
AUTORES: Enes, V ; Baquero, C ; Almeida, PS ; Leitao, J;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 4:1-4:3
INDEXADO EM: Scopus WOS DBLP CrossRef
669
TÍTULO: Certification of Workflows in a Component-Based Cloud of High Performance Computing Services
AUTORES: Dantas, ABD; de Carvalho, FH; Barbosa, LS ;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PÁGINAS: 198-215
INDEXADO EM: Scopus WOS DBLP CrossRef
670
TÍTULO: Certified Password Quality
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science - Integrated Formal Methods, PÁGINAS: 407-421
INDEXADO EM: CrossRef: 4
671
TÍTULO: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: IFM, VOLUME: 10510 LNCS, PÁGINAS: 407-421
INDEXADO EM: Scopus DBLP
672
TÍTULO: Compact Resettable Counters through Causal Stability
AUTORES: Younes, G ; Almeida, PS ; Baquero, C ;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 2:1-2:3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
673
TÍTULO: Composing Families of Timed Automata
AUTORES: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLICAÇÃO: 2017, FONTE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PÁGINAS: 51-66
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
674
TÍTULO: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTORES: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLICAÇÃO: 2017, FONTE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, NÚMERO: 123
INDEXADO EM: WOS DBLP
675
TÍTULO: Computer Aided Verification of Relational Models by Strategic Rewriting  Full Text
AUTORES: Necco, CM; Oliveira, JN ; Visser, J; Uzal, R;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, NÚMERO: 2, PÁGINAS: 140-148
INDEXADO EM: WOS
676
TÍTULO: Continuous Ambulatory Peritoneal Dialysis: Business Intelligence applied to patient monitoring CAPD study and statistics
AUTORES: Catarina Peixoto; Claudia Brito ; Mariana Fontainhas; Peixoto, Hugo ; José Machado ; António Abelha ;
PUBLICAÇÃO: 2017, FONTE: IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud) in 2017 5TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD WORKSHOPS (FICLOUDW) 2017, VOLUME: 2017-January, PÁGINAS: 178-185
INDEXADO EM: Scopus WOS DBLP CrossRef
677
TÍTULO: Data Management and Privacy in a World of Data Wealth
AUTORES: Francisco Maia ;
PUBLICAÇÃO: 2017, FONTE: 13th European Dependable Computing Conference, EDCC 2017, Geneva, Switzerland, September 4-8, 2017, PÁGINAS: 6-7
INDEXADO EM: DBLP CrossRef: 1
678
TÍTULO: Database replication for enterprise applications
AUTORES: Ana L P N Alonso ;
PUBLICAÇÃO: 2017
INDEXADO EM: Handle
679
TÍTULO: DDFlasks: Deduplicated Very Large Scale Data Store
AUTORES: Francisco Maia ; João Paulo ; Fábio Coelho ; Francisco Neves ; José Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: DAIS, VOLUME: 10320 LNCS, PÁGINAS: 51-66
INDEXADO EM: Scopus DBLP CrossRef
680
TÍTULO: Demonstrating that Medical Devices Satisfy User Related Safety Requirements
AUTORES: Harrison, MD; Masci, P ; Campos, JC ; Curzon, P;
PUBLICAÇÃO: 2017, FONTE: 4th International Symposium on Foundations of Health Information Engineering and Systems (FHIES) / 6th International Workshop on Software Engineering in Healthcare (SEHC) in SOFTWARE ENGINEERING IN HEALTH CARE, SEHC 2014, VOLUME: 9062, PÁGINAS: 113-128
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Handle

Results per Page: 20.
Página 34 de 83. Total de resultados: 1659.