Andrea Bracciali (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

36 Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston: Scalable context-dependent analysis of emergency egress models. Formal Asp. Comput. 24(2): 267-302 (2012)

35 Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston: Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE 2011: 96-110

32 Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison: A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM 2010: 169-180

Selection of 3 from 36 records - Andrea Bracciali has 35 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

36		Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston: Scalable context-dependent analysis of emergency egress models. Formal Asp. Comput. 24(2): 267-302 (2012)
35		Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston: Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE 2011: 96-110
32		Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison: A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM 2010: 169-180