24 citations · 43 across the 16 of their papers we have counts for
16 papers
A strengthening of the MCFL-ness of
Marco B. Caminati
In the last years, a number of proofs of the fact that is a multiple context-free grammar (MCFG) were given. Such results can be exploited in the fields of both computational…
is a multiple context-free grammar: an implementation-, formalisation-friendly proof
Marco B. Caminati
Classifying formal languages according to the expressiveness of grammars able to generate them is a fundamental problem in computational linguistics and, therefore, in the theory o…
Isabelle Formalisation of Original Representation Theorems
Marco B. Caminati
In a recent paper, new theorems linking apparently unrelated mathematical objects (event structures from concurrency theory and full graphs arising in computational biology) were d…
Representation Theorems Obtained by Miningacross Web Sources for Hints
Marco B. Caminati, Juliana K. F. Bowles
A representation theorem relates different mathematical structures by providing an isomorphism between them: that is, a one-to-one correspondence preserving their original properti…
Correct Composition of Dephased Behavioural Models
Juliana Bowles, Marco B. Caminati
Scenarios of execution are commonly used to specify partial behaviour and interactions between different objects and components in a system. To avoid overall inconsistency in speci…
A Flexible Approach for Finding Optimal Paths with Minimal Conflicts
Juliana Bowles, Marco B. Caminati
Complex systems are usually modelled through a combination of structural and behavioural models, where separate behavioural models make it easier to design and understand partial b…