We stand with Ukraine  

James Hales

According to our database1, James Hales authored at least 7 papers between 2011 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
A Data-Driven Framework for Identifying Investment Opportunities in Private Equity.
[BibTeX]
[DOI]
Samantha Petersone
,
Alwin Tan
,
Richard Allmendinger
,
Sujit Roy
,
James Hales
CoRR, 2022

2021
Positive Announcements.
[BibTeX]
[DOI]
Hans van Ditmarsch
,
Tim French
,
James Hales
Stud Logica, 2021

2014
Refinement modal logic.
[BibTeX]
[DOI]
Laura Bozzelli
,
Hans van Ditmarsch
,
Tim French
,
James Hales
,
Sophie Pinchinat
Inf. Comput., 2014

A Composable Language for Action Models.
[BibTeX]
[DOI]
Tim French
,
James Hales
,
Edwin Tay
Proceedings of the Advances in Modal Logic 10, 2014

2013
Arbitrary Action Model Logic and Action Model Synthesis.
[BibTeX]
[DOI]
James Hales
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.
[BibTeX]
[DOI]
James Hales
,
Tim French
,
Rowan Davies
Proceedings of the Advances in Modal Logic 9, 2012

2011
Refinement Quantified Logics of Knowledge.
[BibTeX]
[DOI]
James Hales
,
Tim French
,
Rowan Davies
Proceedings of the 7th Workshop on Methods for Modalities, 2011


  Loading...