Jann Müller

According to our database, Jann Müller authored at least 9 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

UTXO_{sf ma}: UTXO with Multi-asset Support.

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Native Custom Tokens in the Extended UTXO Model.

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2017

Formal methods of argumentation as models of engineering design decisions and processes.

Jann Müller

PhD thesis, 2017

2015

Using Argumentation to Develop a Set of Rules for Claims Classification.

Jann Müller, Tobias Trapp

Proceedings of the Intelligent Decision Technologies, 2015

2014

Deepflow: Using Argument Schemes to Query Relational Databases.

Jann Müller, Anthony Hunter

Proceedings of the Computational Models of Argument, 2014

2013

Meta-level Argumentation with Argument Schemes.

Jann Müller, Anthony Hunter, Philip S. Taylor

Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

2012

Application of Evidence Theory and Discounting Techniques to Aerospace Design.

Fiona Browne, David A. Bell, Weiru Liu, Yan Jin, Colm Higgins, Niall Rooney, Hui Wang, Jann Müller

Proceedings of the Advances in Computational Intelligence, 2012

An Argumentation-Based Approach for Decision Making.

Jann Müller, Anthony Hunter

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2011

An Exploration into the Use of Contextual Document Clustering for Cluster Sentiment Analysis.

Niall Rooney, Hui Wang, Fiona Browne, Fergal Monaghan, Jann Müller, Alan Sergeant, Zhiwei Lin, Philip S. Taylor, Vladimir Dobrynin

Proceedings of the Recent Advances in Natural Language Processing, 2011