Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Maria Ribeiro
Observed name:
Maria Carolina Ribeiro
Institution:
Universidade Politécnica de Lisboa
Observed institutions:
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento,
University of Lisbon,
Universidade Politécnica de Lisboa,
Instituto Superior Técnico
ORCID:
0009-0009-8703-4935
Observed ORCID:
0009-0009-8703-4935
OpenAlex ID:
A5059050997
Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL
2020
·
Maria Ribeiro
, Pedro Adão
, et al.
·
Lecture notes in computer science
·
12
MedBlock: Using Blockchain in Health Healthcare Application based on Blockchain and Smart Contracts
2020
·
Maria Ribeiro
, André Vasconcelos
·
International Conference on Enterprise Information Systems
·
11
Are the separate financial accounts also relevant? Assessing those accounts reported by listed European entities
2024
·
Maria Carolina Ribeiro
, Fábio Albuquerque
, et al.
·
Cogent Business & Management
·
3
The Explanatory Factors of Interests as a Key Audit Matter in the Separate Financial Statements of Listed European Union Entities
2025
·
Fábio Albuquerque
, Paula Gomes dos Santos
, et al.
·
Journal of Globalization Competitiveness and Governability
·
1
PDF
Explanatory Factors of the Accounting Choices for Investments Under IAS 27 of Listed European Union Entities
2024
·
Maria Ribeiro
, Paula Gomes Dos Santos
, et al.
·
Journal of Corporate Accounting & Finance
·
1
PDF
Show more works
View as search
Works count:
5
Citation count:
28
H-index:
3
I10-index:
2
Year
Topic
Type
