BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cerone:Antonio

Facilitated 3 volumes:

SEFM 2008Ed
QAPL 2005Ed
QAPL 2004Ed

Contributed to:

ITiCSE 20132013
SEFM 20052005
FASE 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.