Search results for: Michael Fisher
Archaeological Prospection > 28 > 3 > 279 - 292
Journal of Synchrotron Radiation > 26 > 5 > 1790 - 1796
Journal of Neuro-Oncology > 2019 > 143 > 2 > 305-312
Science of Computer Programming > 2017 > 148 > C > 88-106
International Journal of Game Theory > 2018 > 47 > 2 > 557-576
Quarterly Journal of the Royal Meteorological Society > 143 > 707 > 2315 - 2339
Energy Systems > 2018 > 9 > 1 > 3-23
Quarterly Journal of the Royal Meteorological Society > 143 > 703 > 1136 - 1147
Information and Organization > 2016 > 26 > 4 > 131-145
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Modeling and Execution > 163-163
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Verifying Agent’s Mental States > 33-47
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 94-129
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 85-99
Lecture Notes in Computer Science > Temporal Logic > 480-505
Lecture Notes in Computer Science > Safety and Security in Multiagent Systems > Stochastic Approaches to Predictability and Unpredictability > 162-174
Lecture Notes in Computer Science > Intelligent Agents IV Agent Theories, Architectures, and Languages > 193-207