Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Georgios Metaxas
‘Aware of What?’ a Formal Model of Awareness Systems That Extends the Focus-Nimbus Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Formal Analysis of a Model for Electronic Payment Systems
A Formal Model of Requirements
Open Transportation Journal
Modeling
Transportation
Simulation
A Formal Model for Metacognitive Reasoning in Intelligent Systems
International Journal of Cognitive Informatics and Natural Intelligence
Human-Computer Interaction
Artificial Intelligence
Software
A Formal Model of Identity Mixer
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Model of Data Privacy
Model Identification for Energy-Aware Management of Web Service Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Model of the Software Test Process
IEEE Transactions on Software Engineering
Software
Predicting the Focus of Attention and Deficits in Situation Awareness With a Modular Hierarchical Bayesian Driver Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
