John J. Camilleri

Orcid: 0000-0003-2565-7124

According to our database1, John J. Camilleri authored at least 8 papers between 2010 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
A web-based tool for analysing normative documents in english.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017
Modelling and analysis of normative documents.
J. Log. Algebraic Methods Program., 2017

Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016
A Domain-Specific Language for Normative Texts with Timing Constraints.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Extracting Formal Models from Normative Texts.
Proceedings of the Natural Language Processing and Information Systems, 2016

2014
A CNL for Contract-Oriented Diagrams.
Proceedings of the Controlled Natural Language - 4th International Workshop, 2014

2013
A framework for conflict analysis of normative texts written in controlled natural language.
J. Log. Algebraic Methods Program., 2013

2010
Controlled Natural Language in a Game for Legal Assistance.
Proceedings of the Controlled Natural Language - Second International Workshop, 2010


  Loading...