The York Research Database
- » Research
- » York Research Database
- » Publications
- » Journals
- » Acta Informatica
Acta Informatica
ISSNs: 0001-5903
Springer New York
Scopus rating (2021): CiteScore 1.9
Journal
Publications
1 - 5 out of 5Page size: 25
- 2021
Sound reasoning in tock-CSP
Baxter, J., Ribeiro, P. & Cavalcanti, A., 17 Apr 2021, (E-pub ahead of print)Article in Acta Informatica
- 2011
Correct hardware synthesis
Perna, J., Woodcock, J., Sampaio, A. & Iyoda, J., Dec 2011Article in Acta Informatica
Testing for refinement in Circus
Cavalcanti, A. & Gaudel, M-C., 1 Apr 2011Article in Acta Informatica
- 2003
Timidity: A Useful Emotional Mechanism for Robot Control?
Neal, M. & Timmis, J., 2003Article in Acta Informatica
- 1992
A YO-YO PARSING ALGORITHM FOR A LARGE CLASS OF VANWIJNGAARDEN GRAMMARS
Fisher, A. J., Sep 1992Article in Acta Informatica
Discover related content
Find related publications, people, projects, datasets and more using interactive charts.