John J. Camilleri

Gästforskare vid Chalmers, Data- och informationsteknik, Formella metoder

Visar 14 publikationer

2018

A web-based tool for analysing normative documents in english

John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider
Proceedings of the ACM Symposium on Applied Computing. Vol. Part F137816, p. 1865-1872
Paper i proceeding
2017

Modelling and analysis of normative documents

John J. Camilleri, Gerardo Schneider
Journal of Logical and Algebraic Methods in Programming. Vol. 91, p. 33-59
Artikel i vetenskaplig tidskrift
2017

Participatory verification of railway infrastructure by representing regulations in RailCNL

Bjørnar Luteberget, John J. Camilleri, Christian Johansen et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10469 LNCS, p. 87-103
Paper i proceeding
2016

Extracting Formal Models from Normative Texts

John J. Camilleri, N. Gruzitis, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9612, p. 403-408
Paper i proceeding
2016

A Domain-Specific Language for Normative Texts with Timing Constraints

Runa Gulliksson, John J. Camilleri
Proceedings 23rd International Symposium on Temporal Representation and Reasoning - Time 2016, p. 60-69
Paper i proceeding
2015

Analysing normative contracts

John J. Camilleri
Licentiatavhandling
2014

A CNL for Contract-Oriented Diagrams

John J. Camilleri, Gabriele Paganelli, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8625, p. 135-146
Paper i proceeding
2013

A Framework for Conflict Analysis of Normative Texts Written in Controlled Natural Language

Krasimir Angelov, John J. Camilleri, Gerardo Schneider
Journal of Logic and Algebraic Programming. Vol. 82 (5-7), p. 216-240
Artikel i vetenskaplig tidskrift
2013

An online database of root-and-pattern verbs

John J. Camilleri, Michael Spagnol
4th International Conference on Maltese Linguistics
Poster (konferens)
2013

A computational grammar for Maltese

John J. Camilleri
4th International Conference on Maltese Linguistics
Poster (konferens)
2012

High-quality translation: Molto tools and applications

Olga Caprotti, Aarne Ranta, Krasimir Angelov et al
The fourth Swedish Language Technology Conference (SLTC)
Paper i proceeding
2012

GF Eclipse Plugin: an IDE for grammar development in GF

John J. Camilleri, Krasimir Angelov
EAMT, p. 94-94
Poster (konferens)
2012

An IDE for the Grammatical Framework

John J. Camilleri
Third International Workshop on Free/Open-Source Rule-Based Machine Translation (FreeRBMT) 2012, Gothenburg, Sweden
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2010

Verb Morphology of Hebrew and Maltese - Towards an Open Source Type Theoretical Resource Grammar in GF.

Dana Dannélls, John J. Camilleri
Proceedings of LREC 2010. Workshop on Language Resources (LRs) and Human Language Technologies (HLT) for Semitic Languages Status, Updates, and Prospects.
Poster (konferens)

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där John J. Camilleri medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.