Browsing by Subject Formal languages
Showing results 1 to 10 of 10
| Issue Date | Title | Author(s) |
| 2012 | Context-free grammar inference | Scicluna, James (2012) |
| 2017 | Control-flow residual analysis for symbolic automata | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
| 2010 | A controlled language for the specification of contracts | Pace, Gordon J.; Rosner, Michael |
| 2010 | A controlled natural language interface for electronic contracts | Camilleri, John J. (2010) |
| 2009-09 | FLACOS’09 Workshop proceedings | Pace, Gordon J.; Schneider, Gerardo |
| 2020 | Formal model extraction from informal descriptions | Zammit, Jonathan (2020) |
| 2022 | Grammatical inference applications in bioinformatics | Agius, Malcolm (2022) |
| 2022 | Learning DFAs from noisy training data | Grech, Daniel (2022) |
| 2008 | Proceedings of FLACOS’08 | Pace, Gordon J.; Schneider, Gerardo |
| 2023 | A study of connectionist approaches in DFA learning | Jancic, Nikola (2023) |
