Travelled to:1 × France
1 × Germany
1 × United Kingdom
Collaborated with:∅ S.Fernandes L.S.Barbosa P.A.Lindsay S.Connelly
Talks about:implement (1) interact (1) project (1) process (1) convent (1) analysi (1) algebra (1) formal (1) condit (1) comput (1)
Person: Antonio Cerone
DBLP: Cerone:Antonio
Facilitated 3 volumes:
Ed
EdEdContributed to:
20132005
2002Wrote 3 papers:
- ITiCSE-2013-FernandesCB #learning
- A pilot project on non-conventional learning (SF, AC, LSB), p. 346.
- SEFM-2005-CeroneLC #analysis #formal method #human-computer #interactive #model checking #using
- Formal Analysis of Human-computer Interaction using Model-checking (AC, PAL, SC), pp. 352–362.
- FASE-2002-Cerone #algebra #implementation #process
- Implementing Condition/Event Nets in the Circal Process Algebra (AC), pp. 49–63.