John J. Camilleri

According to our database1, John J. Camilleri
  • authored at least 11 papers between 2010 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Modelling and analysis of normative documents.
J. Log. Algebr. Meth. Program., 2017

A Web-Based Tool for Analysing Normative Documents in English.
CoRR, 2017

Extracting Formal Models from Normative Texts.
CoRR, 2017

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

2016
Extracting Formal Models from Normative Texts.
CoRR, 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.
CoRR, 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. Algebr. Program., 2013

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


  Loading...