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

150 Team Members
Filters -> Year: 2024
121
TITLE: A formal treatment of the role of verified compilers in secure computation
AUTHORS: Bacelar Almeida, Jose Carlos ; Barbosa, Manuel ; Barthe, Gilles ; Pacheco, Hugo ; Pereira, Vitor; Portela, Bernardo ;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125, PAGES: 100736
INDEXED IN: Scopus WOS DBLP CrossRef: 2
122
TITLE: A Logic for Paraconsistent Transition Systems  Full Text
AUTHORS: Cruz, Ana; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2022, SOURCE: 10th International Conference on Non-Classical Logics Theory and Applications (NCL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 358, ISSUE: 358, PAGES: 270-284
INDEXED IN: Scopus WOS DBLP CrossRef: 1
123
TITLE: A tribute to Jose Manuel Valenca
AUTHORS: Oliveira, Jose Nuno ; Pinto, Jorge Sousa ; Barbosa, Luis Soares ; Henriques, Pedro Rangel;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 128, PAGES: 100792
INDEXED IN: Scopus WOS DBLP CrossRef
124
TITLE: Accelerating Deep Learning Training Through Transparent Storage Tiering
AUTHORS: Dantas, Marco; Leitao, Diogo; Cui, Peter; Macedo, Ricardo ; Liu, Xinlian; Xu, Weijia; Paulo, Joao ;
PUBLISHED: 2022, SOURCE: 22nd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid) in 2022 22ND IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND INTERNET COMPUTING (CCGRID 2022), PAGES: 21-30
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
125
TITLE: Adaptive Database Synchronization for an Online Analytical Cloud-to-Edge Continuum
AUTHORS: Costa, Daniel; Pereira, Jose ; Vilaca, Ricardo ; Faria, Nuno ;
PUBLISHED: 2022, SOURCE: 37th Annual ACM Symposium on Applied Computing in 37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, PAGES: 264-266
INDEXED IN: Scopus WOS DBLP CrossRef
126
TITLE: Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees
AUTHORS: Campos, Jose Creissac ; Ribeiro, Antonio Nestor ;
PUBLISHED: 2022, SOURCE: 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in SENSE, FEEL, DESIGN, INTERACT 2021, VOLUME: 13198, PAGES: 248-256
INDEXED IN: Scopus WOS DBLP CrossRef
127
TITLE: AIDA-DB: A Data Management Architecture for the Edge and Cloud Continuum
AUTHORS: Nuno Faria ; Daniel Costa; José Pereira ; Ricardo Vilaça ; Luis Ferreira; Fábio Coelho ;
PUBLISHED: 2022, SOURCE: 19th IEEE Annual Consumer Communications and Networking Conference, CCNC 2022 in 19th IEEE Annual Consumer Communications & Networking Conference, CCNC 2022, Las Vegas, NV, USA, January 8-11, 2022, PAGES: 1-6
INDEXED IN: Scopus DBLP CrossRef: 2 Unpaywall
128
TITLE: An Evaluation of Graph Databases and Object-Graph Mappers in CIDOC CRM-Compliant Digital Archives  Full Text
AUTHORS: Costa, Lazaro ; Freitas, Nuno; da Silva, Joao Rocha;
PUBLISHED: 2022, SOURCE: ACM JOURNAL ON COMPUTING AND CULTURAL HERITAGE, VOLUME: 15, ISSUE: 3, PAGES: 1-18
INDEXED IN: WOS CrossRef: 1
129
TITLE: An Internal Language for Categories Enriched over Generalised Metric Spaces
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2022, SOURCE: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., VOLUME: 216, PAGES: 16:1-16:18
INDEXED IN: Scopus DBLP
130
TITLE: An Oblivious Observed-Reset Embeddable Replicated Counter
AUTHORS: Weidner, Matthew; Almeida, Paulo Sergio ;
PUBLISHED: 2022, SOURCE: Proceedings of the 9th Principles and Practice of Consistency for Distributed Data (PaPoC) in PAPOC'22: PROCEEDINGS OF THE 9TH PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAGES: 47-52
INDEXED IN: Scopus WOS DBLP CrossRef
131
TITLE: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: 36th European Conference on Object-Oriented Programming, ECOOP 2022 in 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., VOLUME: 222, PAGES: 27:1-27:28
INDEXED IN: Scopus DBLP
132
TITLE: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
AUTHORS: Guillermina Cledou ; Luc Edixhoven; Sung Shik Jongmans; José Proença ;
PUBLISHED: 2022, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 8, ISSUE: 2, PAGES: 19:1-19:4
INDEXED IN: DBLP
133
TITLE: Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware  Full Text
AUTHORS: Ferreira, B; Portela, B ; Oliveira, T ; Borges, G; Domingos, H; Leitao, J;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 19, ISSUE: 2, PAGES: 1307-1319
INDEXED IN: Scopus WOS DBLP CrossRef: 4
134
TITLE: Branching Pomsets for Choreographies
AUTHORS: Luc Edixhoven; Sung Shik Jongmans; José Proença ; Guillermina Cledou ;
PUBLISHED: 2022, SOURCE: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., VOLUME: 365, PAGES: 37-52
INDEXED IN: DBLP
135
TITLE: Cloud-Based Privacy-Preserving Medical Imaging System Using Machine Learning Tools
AUTHORS: Alves, Joao; Soares, Beatriz; Brito, Claudia ; Sousa, Antonio ;
PUBLISHED: 2022, SOURCE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566, PAGES: 195-206
INDEXED IN: Scopus WOS CrossRef Unpaywall
136
TITLE: Coalgebra for the working software engineer
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2022, SOURCE: FLAP, VOLUME: 9, ISSUE: 1, PAGES: 41-92
INDEXED IN: Scopus DBLP
137
TITLE: Compiling Quantamorphisms for the IBM Q Experience  Full Text
AUTHORS: Neri, Ana ; Barbosa, Rui Soares; Oliveira, Jose N. ;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 48, ISSUE: 11, PAGES: 4339-4356
INDEXED IN: WOS CrossRef: 1
138
TITLE: Consistent Comparison of Symptom-based Methods for COVID-19 Infection Detection
AUTHORS: Jesús Rufino; Juan Ramirez; Carlos Baquero ; Jaya Champati; Davide Frey; Rosa Lillo; Antonio Fernandez Anta;
PUBLISHED: 2022
INDEXED IN: CrossRef
139
TITLE: Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. Invited Paper
AUTHORS: Bauer, Thomas; Agirre, Joseba A.; Fuercho, David; Herzner, Wolfgang; Hruska, Bob; Karaca, Mustafa; Pereira, David; Proenca, Jose ; Schlick, Rupert; Sicher, Robert; Smrcka, Ales; Yayan, Ugur; Sangchoolie, Behrooz;
PUBLISHED: 2022, SOURCE: 21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS) in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2021, VOLUME: 13227, PAGES: 368-382
INDEXED IN: Scopus WOS DBLP CrossRef: 1
140
TITLE: E-MANAFA: Energy Monitoring and ANAlysis tool for Android
AUTHORS: Rua, R ; Saraiva, J;
PUBLISHED: 2022, SOURCE: 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, iWOAR 2022 in ACM International Conference Proceeding Series
INDEXED IN: Scopus

Results per Page: 20.
Página 7 de 78. Total de resultados: 1551.