Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Leonardo Freitas
Observed name:
Freitas, Leonardo
Institution:
Newcastle University
Observed institutions:
University of Liverpool,
Universidade Federal de Pernambuco,
University of York,
Newcastle University
OpenAlex ID:
A5111492874
Operational Semantics for Model Checking Circus
2005
·
Jim Woodcock
, Ana Cavalcanti
, et al.
·
Lecture notes in computer science
·
17
JACK: A Framework for Process Algebra Implementation in Java
2002
·
Leonardo Freitas
, Augusto Sampaio
, et al.
·
Simpósio Brasileiro de Engenharia de Software (SBES)
·
7
PDF
"JACK: A process algebra implementation in Java"
2002
·
Leonardo Freitas
·
Kent Academic Repository (University of Kent)
·
5
PDF
Animating CSPm using Action Semantics
2001
·
Leonardo Freitas
, ALC Cavalcanti
, et al.
·
Kent Academic Repository (University of Kent)
·
1
PDF
Security analysis of the open banking account and transaction API protocol
2025
·
Paolo Modesti
, Leonardo Freitas
, et al.
·
Newcastle University ePrints (Newcastle Univesity)
System and Method for Monitoring Body Tissue
2024
·
William Scott
, Leonardo Freitas
·
Newcastle University ePrints (Newcastle Univesity)
Body tissue preservation system and method
2024
·
William Scott
, SB Kay
, et al.
·
Newcastle University ePrints (Newcastle Univesity)
Using AI Planning to Automate Cloud Infrastructure
2024
·
Vijay Prakash
, Leonardo Freitas
, et al.
·
Lecture notes in networks and systems
Body Tissue Preservation System and Method: RFID Encryption
2021
·
William Scott
, S Kay
, et al.
·
Newcastle University ePrints (Newcastle Univesity)
A methodology for protocol verification applied to EMV® 1
2018
·
Leonardo Freitas
, Paolo Modesti
, et al.
·
Newcastle University ePrints (Newcastle Univesity)
How to say why (in AI4FM)
2013
·
Leonardo Freitas
, Clifford Jones
, et al.
·
Newcastle University ePrints (Newcastle Univesity)
Show more works
View as search
Works count:
12
Citation count:
31
H-index:
3
I10-index:
1
Year
Topic
Type
