Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Shafto
Modeling and Formal Analysis of Human-Machine Interaction
Formal Aspects of Procedures: The Problem of Sequential Correctness
Related publications
Formal Modeling and Analysis of Collaborative Humanoid Robotics
International Journal of Robotics Applications and Technologies
Formal Modeling and Analysis of Cognitive Agent Behavior
Cognitive Processing
Medicine
Cognitive Psychology
Experimental
Artificial Intelligence
Cognitive Neuroscience
Strategic Interaction and Trade Policymaking: Formal Analysis and Simulation
World Economy
International Relations
Finance
Economics
Political Science
Accounting
Econometrics
Analysis and Modeling of Haptic Interaction
The Modeling of Human-Structure Interaction
International Journal of Engineering and Technology
Modeling and Formal Analysis of Communication Protocols Based on Game
Information Technology Journal
Magneto-Rheological Technology for Human-Machine Interaction
Erratum To: The Handbook of Formal Methods in Human-Computer Interaction
The Handbook of Formal Methods in Human-Computer Interaction
Formal Modeling and Analysis of Object Oriented Systems Using Triple Graph Grammars
International Journal of Embedded and Real-Time Communication Systems
Computer Science
