Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Anastasia Mavridou
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Ethereum, Smart Contracts, DApps
Blockchain and Crypt Currency
Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Trustworthy IoT: An Evidence Collection Approach Based on Smart Contracts
Planning and Designing Walkable Cities: A Smart Approach
Green Energy and Technology
Management
Monitoring
Energy Engineering
Renewable Energy
Law
Manufacturing Engineering
Sustainability
Industrial
Policy
Power Technology
the Environment
Blockchain Based Smart Contracts : A Systematic Mapping Study
Development of a Smart Home Context-Aware Application: A Machine Learning Based Approach
International Journal of Smart Home
Computer Science
Observable Form of a Timed Finite State Machine
Smart Cart Obsonium Based on Secure System
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
