Contact details
ORCID 
0000-0003-1451-9260
Andrea Bracciali is currently a SICSA lecturer at the Department of Computing Science and Mathematics of the University of Stirling (from August 2010). Before that, he worked as a postdoctoral researcher at CNR, Italy (2009-2010) in the Applied Formal Methods group, and at the Computer Science Department of the University of Pisa (2003-2008), where he received his Ph.D. (2003) in Computer Science. His main research interests are centered in the formal description of interaction in computing with application to Synthetic and Systems Biology and, more recently, BlockChain Technologies.
Modelling Non-linear Crowd Dynamics in Bio-PEPA. 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011
http://www.cs.upc.edu/~orejas/FASE.html
An integrated modelling approach for R5-X4 mutation and HAART therapy assessment. International Conference on Systems Biology
My main research interests regard the formal description of interaction in computational systems and theories and tools for reasoning about such descriptions. This stream of research spawns form Theoretical Computer Science, Concurrency Theory in particular. I applied it to a number of domains, including Software Composition, CyberSecurity, Crowd Dynamics, Systems Biology and Bioinformatics. Applications in Systems Biology see living systems as ‘computational’ systems, consisting of (large numbers) of autonomous and interacting entities. Models serves as ‘virtual labs’ where the various hypotheses about the functioning of the systems can be investigated.More recently I have been interested in the modelling and understanding of Blockchain Technologies and Applications, seen as a decentralised computer, a fascinating and challenging problem enriching the idea of distributed computation.
Article
Programming Languages for Data-Intensive HPC Applications: a Systematic Mapping Study
Amaral V, Norberto B, Goulão M, Aldinucci M, Benkner S, Bracciali A, Carreira P, Celms E, Correia L, Grelck C, Karatza H, Kessler C, Kilpatrick P, Martiniano H & Mavridis I (2020) Programming Languages for Data-Intensive HPC Applications: a Systematic Mapping Study. Parallel Computing, 91, Art. No.: 102584. https://doi.org/10.1016/j.parco.2019.102584
Conference Proceeding
Zamuda A, Crescimanna V, Burguillo JC, Matos Dias J, Wegrzyn-Wolska K, Rached I, González-Vélez H, Senkerik R, Pop C, Cioara T, Salomie I & Bracciali A (2019) Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-Oriented Survey of the State-of-the-Art in the Cloud Era. In: Kołodziej J & González-Vélez H (eds.) High-Performance Modelling and Simulation for Big Data Applications. Lecture Notes in Computer Science, 11400. ICT COST Action IC1406 High-Performance Modelling and Simulation for Big Data Applications (cHiPSet), Vilnius, Lithuania, 28.03.2019-29.03.2019. Cham, Switzerland: Springer, pp. 325-349. https://doi.org/10.1007/978-3-030-16272-6_12
Conference Proceeding
Why High-Performance Modelling and Simulation for Big Data Applications Matters
Grelck C, Niewiadomska-Szynkiewicz E, Aldinucci M, Bracciali A & Larsson E (2019) Why High-Performance Modelling and Simulation for Big Data Applications Matters. In: Kołodziej J & González-Vélez H (eds.) High-Performance Modelling and Simulation for Big Data Applications. Lecture Notes in Computer Science, 11400. ICT COST Action IC1406 High-Performance Modelling and Simulation for Big Data Applications (cHiPSet), Vilnius, Lithuania, 28.03.2019-29.03.2019. Cham, Switzerland: Springer, pp. 1-35. https://doi.org/10.1007/978-3-030-16272-6_1
Conference Proceeding
Citizens Vote to Act: smart contracts for the management of water resources in smart cities
Bracciali A, Chatzigiannakis I & Vitaletti A (2019) Citizens Vote to Act: smart contracts for the management of water resources in smart cities. In: Proceedings of 1st International Conference on Societal Automation. 1st International Conference on Societal Automation, Krakow, Poland, 04.09.2019-06.09.2019. Piscataway, NJ, USA: IEEE.
Conference Proceeding
On Refining Design Patterns for Smart Contracts: A use case on water management
Zecchini M, Bracciali A, Chatzigiannakis I & Vitaletti A (2019) On Refining Design Patterns for Smart Contracts: A use case on water management. In: Euro-Par 2019: Parallel Processing Workshops. Lecture Notes in Computer Science. 2nd International Workshop on Future Perspective of Decentralized APPlications, Gottingen, Germany, 26.08.2019-29.08.2019. Cham, Switzerland: Springer.
Edited Book
Bartoletti M, Bracciali A, Barla A, Klau GW, Peterson L, Policriti A & Tagliaferri R (eds.) (2019) Computational Intelligence Methods for Bioinformatics and Biostatistics: 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers. Berlin Heidelberg: Springer. https://doi.org/10.1007/978-3-030-14160-8
Edited Book
Zohar A, Eyal I, Teague V, Clark J, Bracciali A, Pintore F & Sala M (eds.) (2019) Financial Cryptography and Data Security: FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers. Berlin Heidelberg: Springer. https://doi.org/10.1007/978-3-662-58820-8
Article
Randomness invalidates criminal smart contracts
Wang Y, Bracciali A, Li T, Li F, Cui X & Zhao M (2019) Randomness invalidates criminal smart contracts. Information Sciences, 477, pp. 291-301. https://doi.org/10.1016/j.ins.2018.10.057
Conference Proceeding
On Symbolic Verification of Bitcoin's script Language
Klomp R & Bracciali A (2018) On Symbolic Verification of Bitcoin's script Language. In: Garcia-Alfaro J, Herrera-Joancomartí J, Livraga G & Rios R (eds.) Data Privacy Management, Cryptocurrencies and Blockchain Technology. DPM 2018, CBT 2018. Lecture Notes in Computer Science, 11025. Data Privacy Management, Cryptocurrencies and Blockchain Technology 2018, Barcelona, Spain, 06.09.2018-07.09.2018. Cham, Switzerland: Springer International Publishing, pp. 38-56. https://doi.org/10.1007/978-3-030-00305-0_3
Conference Proceeding
On the Educational Curriculum in Finance and Technology
Karkkainen T, Panos GA, Broby D & Bracciali A (2018) On the Educational Curriculum in Finance and Technology. In: Diplaris S S, Satsiou A, Følstad A, Vafopoulos M & Vilarinho T (eds.) Internet Science: INSCI 2017. Lecture Notes in Computer Science, 10750. INSCI 2017 4th International Conference on Internet Science, Thessaloniki, Greece, 22.11.2017-24.11.2017. Cham, Switzerland: Springer, pp. 7-20. https://doi.org/10.1007/978-3-319-77547-0_1
Conference Proceeding
Smart contracts vulnerabilities: a call for blockchain software engineering?
Destefanis G, Marchesi M, Ortu M, Tonelli R, Bracciali A & Hierons R (2018) Smart contracts vulnerabilities: a call for blockchain software engineering?. In: Tonelli R, Ducasse S S, Fenu G & Bracciali A (eds.) 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE). 2018 IEEE 1st International Workshop on Blockchain Oriented Software Engineering (IWBOSE), Campobasso, Italy, 20.03.2018-20.03.2018. Piscataway, NJ, USA: IEEE, pp. 19-25. https://ieeexplore.ieee.org/abstract/document/8327567/; https://doi.org/10.1109/IWBOSE.2018.8327567
Conference Proceeding
A general framework for blockchain analytics
Bartoletti M, Bracciali A, Lande S & Pompianu L (2017) A general framework for blockchain analytics. In: SERIAL '17 Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers. SERIAL '17 - 1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers, Las Vegas, NV, USA, 11.12.2017-15.12.2017. New York: ACM, p. Article 7. https://doi.org/10.1145/3152824.3152831; https://doi.org/10.1145/3152824.3152831
Conference Proceeding
Computational Intelligence Methods for Bioinformatics and Biostatistics
Bracciali A, Caravagna G, Gilbert D & Tagliaferri R (eds.) (2017) Computational Intelligence Methods for Bioinformatics and Biostatistics. Lecture Notes in Bioinformatics, 10477. International Conference on Computational Methods for Biostatistics and Bioinformatics, Stirling, 01.09.2016-03.09.2016. Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-67834-4
Conference Proceeding
Financial Cryptography and Data Security
Brenner M, Rohloff K, Bonneau J, Miller A, Ryan PYA, Teague V, Bracciali A, Sala M, Pintore F & Jakobsson M (eds.) (2017) Financial Cryptography and Data Security. Lecture Notes in Computer Science; Security and Cryptology, 10323. Financial Cryptography and Data Security: FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, 03.04.2017-07.04.2017. Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-70278-0
Other
Bracciali A (Editor) & Larsson E (Editor) (2017) Data Science and Engineering, Special Issue: HPC-enabled Modelling for Big Data Problems in Life, Socio-Economical and Physical Sciences. Data Science and Engineering, 2 (3). https://link.springer.com/journal/41019/2/3/page/1
Article
Data-Intensive Modelling and Simulation in Life Sciences and Socio-economical and Physical Sciences
Bracciali A & Larsson E (2017) Data-Intensive Modelling and Simulation in Life Sciences and Socio-economical and Physical Sciences. Data Science and Engineering, 2 (3), pp. 197-198. https://doi.org/10.1007/s41019-017-0049-x
Conference Proceeding
From cells as computation to cells as apps
Bracciali A, Cataldo E, Damiano L, Felicioli C, Marangoni R & Stano P (2016) From cells as computation to cells as apps. In: Gadducci F & Tavosanis M (eds.) History and Philosophy of Computing: Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers. IFIP Advances in Information and Communication Technology, 487. Third International Conference on the History and Philosophy of Computing (HaPoC 2015), Pisa, Italy, 08.10.2015-11.10.2015. Cham, Switzerland: Springer, pp. 116-130. http://link.springer.com/chapter/10.1007/978-3-319-47286-7_8; https://doi.org/10.1007/978-3-319-47286-7_8
Conference Paper
PWHATSHAP: efficient haplotyping for future generation sequencing
Bracciali A, Aldinucci M, Patterson M, Marschall T, Pisanti N, Merelli I & Torquati M (2016) PWHATSHAP: efficient haplotyping for future generation sequencing. Nonis A (Editor), Di Serio C (Editor), Lio' P (Editor), Tagliaferri R (Editor) & Rizzo R (Editor) 11th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB 2014), Cambridge, UK, 26.06.2014-28.06.2014. BMC Bioinformatics, 17 (Supplement 11). https://doi.org/10.1186/s12859-016-1170-y
Conference Proceeding
High-Performance Haplotype Assembly
Aldinucci M, Bracciali A, Marschall T, Patterson M, Pisanti N & Torquati M (2015) High-Performance Haplotype Assembly. In: Serio C, Lio P, Nonis A & Tagliaferri R (eds.) Computational Intelligence Methods for Bioinformatics and Biostatistics: 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papers. Lecture Notes in Computer Science, 8623. 11th International Meeting, CIBB 2014, Cambridge, 26.06.2014-28.06.2014. Cham, Switzerland: Springer, pp. 245-258. http://link.springer.com/chapter/10.1007/978-3-319-24462-4_21; https://doi.org/10.1007/978-3-319-24462-4_21
Poster
Towards modeling modular clocks for synthetic systems
Bracciali A, Gammuto L & Marangoni R (2015) Towards modeling modular clocks for synthetic systems., 2015. http://www.cs.stir.ac.uk/~abb/papers/2015_wivace_clock_poster.pdf
Book Chapter
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
Bigi G, Bracciali A, Meacci G & Tuosto E (2015) Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods. In: Bodei C, Ferrari G & Priamo C (eds.) Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, 9465. Cham, Switzerland: Springer, pp. 142-161. http://link.springer.com/chapter/10.1007/978-3-319-25527-9_11
Conference Paper (unpublished)
Towards High-Performance Haplo- type Assembly for Future Sequencing
Aldinucci M, Bracciali A, Pisanti N & Torquati M (2014) Towards High-Performance Haplo- type Assembly for Future Sequencing. Eleventh International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, Cambridge, UK, 26.06.2014-28.06.2014. http://www.cussb.unisr.it/cibb2014/conf.html#accepted
Conference Proceeding
Survival vs. Revenue: Modelling and Reasoning on Population Dynamics
Bracciali A, Caravagna G & Ullah A (2013) Survival vs. Revenue: Modelling and Reasoning on Population Dynamics. In: Wainer G, Mosterman P, Barros F & Zacharewicz G (eds.) DEVS 13 Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium. Symposium on Theory of Modeling and Simulation (TMS 2013), San Diego, CA, USA, 07.04.2013-10.04.2013. San Diego, CA, USA: Society for Computer Simulation International. http://www.tms-devs.org/
Conference Proceeding
Reconciling Population and Agent Models for Crowd Dynamics
Bracciali A, Hillston J, Latella D & Massink M (2012) Reconciling Population and Agent Models for Crowd Dynamics. In: Muller B (ed.) LAM'10. 3rd International Workshop on Logics, Agents, and Mobility. EasyChair Proceedings in Computing (EPiC) series, 7. LAM'10: 3rd International Workshop on Logics, Agents, and Mobility associated with LICS, Edinburgh, 15.07.2010-15.07.2010. Edinburgh: Easy Chair Publications, pp. 3-18. http://www.floc-conference.org/LAM-home.html
Book Chapter
Process calculi, Systems Biology and Artificial Chemistry
Degano P & Bracciali A (2012) Process calculi, Systems Biology and Artificial Chemistry. In: Rozenberg G, Back T & Kok J (eds.) Handbook of Natural Computing. First ed. Pringer Reference, 1. Springer. http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-92909-3
Article
Scalable context-dependent analysis of emergency egress models
Massink M, Latella D, Bracciali A, Harrison MD & Hillston J (2012) Scalable context-dependent analysis of emergency egress models. Formal Aspects of Computing, 24 (2), pp. 267-302. https://doi.org/10.1007/s00165-011-0188-1
Conference Proceeding
Modelling Non-linear Crowd Dynamics in Bio-PEPA
Massink M, Latella D, Bracciali A & Hillston J (2011) Modelling Non-linear Crowd Dynamics in Bio-PEPA. In: Giannakopoulou D & Orejas F (eds.) Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, 6603. 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, Saarbrucken, Germany, 26.03.2011-03.04.2011. Dusseldorf: Springer Verlag, pp. 96-110. http://www.springerlink.com/content/lw5812w5k78744m8/; https://doi.org/10.1007/978-3-642-19811-3_8
Book Chapter
Modelling HIV Infection: A computational overview
Bracciali A (2011) Modelling HIV Infection: A computational overview. In: Breitling R, Uhrmacher A, Bruggeman F & Priami C (eds.) Formal Methods in Molecular Biology. Dagstuhl Reports, Volume 1, Issue 4, pp. 41–64. Dagstuhl, Germany: Leibniz Center for Informatics, Dagstuhl Publishing, p. 49. http://drops.dagstuhl.de/opus/volltexte/2011/3197/pdf/dagrep_v001_i004_p041_s11151.pdf
Book Chapter
StochKit-FF: Efficient systems biology on multicore architectures
Aldinucci M, Bracciali A, Lio P, Sorathiya A & Torquati M (2011) StochKit-FF: Efficient systems biology on multicore architectures. In: Guarracino M, Vivien F, Träff J, Cannatoro M, Danelutto M, Hast A, Perla F, Knüpfer A, Martino B & Alexander M (eds.) Euro-Par 2010 Parallel Processing Workshops. Lecture Notes in Computer Science, 6586. Berlin, Heidelberg: Springer, pp. 167-175. http://www.scopus.com/inward/record.url?partnerID=yv4JPVwI&eid=2-s2.0-80051706079&md5=286ea3e23e0a0be6103ad85e9652c57e
Technical Report
A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour
Massink M, Latella D, Bracciali A & Hillston J (2010) A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour. TR-025. CNR-ISTI. http://puma.isti.cnr.it/dfdownloadnew.php?ident=/cnr.isti/2010-TR-025&langver=en&scelta=NewMetadata
Technical Report
A process algebraic fluid flow model of emergency egress
Massink M, Latella D, Bracciali A & Harrison MD (2010) A process algebraic fluid flow model of emergency egress. TR012. CNR-ISTI. http://fmt.isti.cnr.it/WEBPAPER/2010-TR-012.pdf
Conference Paper (unpublished)
Modelling Crowd Dynamics in Bio-PEPA-- Extended Abstract
Massink M, Latella D, Bracciali A & Hillston J Modelling Crowd Dynamics in Bio-PEPA-- Extended Abstract. 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010), 2010, London, UK.
Conference Proceeding
A scalable fluid flow process algebraic approach to emergency egress analysis
Massink M, Latella D, Harrison MD & Bracciali A (2010) A scalable fluid flow process algebraic approach to emergency egress analysis. In: Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference Proceedings. 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010), Pisa, Italy, 13.09.2010-18.09.2010. Los Alamitos, CA, USA: IEEE, pp. 169-180. http://www.sefm2010.isti.cnr.it/; https://doi.org/10.1109/SEFM.2010.22
Conference Paper
A Taxonomy of Causality-Based Biological Properties
Bodei C, Bracciali A, Chiarugi D & Gori R (2010) A Taxonomy of Causality-Based Biological Properties. Merelli E (Editor) & Quaglia P (Editor) 3rd Workshop "From Biology To Concurrency and back", FBTC 2010, a satellite event of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, 27.03.2010-27.03.2010. Electronic Proceedings in Theoretical Computer Science, 19, pp. 116-133. http://arxiv.org/pdf/1002.4067v1.pdf; https://doi.org/10.4204/EPTCS.19.8
Book Chapter
Bracciali A (2010) Modelling Infection Dynamics on Multi-cores: Exploring Parallel Efficient Simulations for the Stochastic Modelling of Bio Systems. In: Monfardini S (ed.) HPC-Europa 2 Science and Supercomputing in Europe - research highlights 2010. HPC-Europa 2 Science and Supercomputing in Europe - research highlights. Bologna: CINECA Consorzio Interuniversitario, p. 113. http://www.hpc-europa.eu/?q=node/119
Poster
An integrated modelling approach for R5-X4 mutation and HAART therapy assessment
Lio P, Sorathiya A & Bracciali A (2010) An integrated modelling approach for R5-X4 mutation and HAART therapy assessment. International Conference on Systems Biology, Edinburgh, 10.10.2010-15.10.2010. http://www.issb.org/conferences.html
Article
An integrated modelling approach for R5-X4 mutation and HAART therapy assessment
Sorathiya A, Bracciali A & Lio P (2010) An integrated modelling approach for R5-X4 mutation and HAART therapy assessment. Swarm Intelligence, 4 (4), pp. 319-340. https://doi.org/10.1007/s11721-010-0046-4
Article
Aldinucci M, Bracciali A & Lio P (2010) Formal Synthetic Immunology. ERCIM News, 82, pp. 40-41. http://ercim-news.ercim.eu/en82
Article
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
Sorathiya A, Bracciali A & Lio P (2010) Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy. BMC Bioinformatics, 11 (Supplement 1), p. S67. http://www.biomedcentral.com/1471-2105/11/S1/S67; https://doi.org/10.1186/1471-2105-11-S1-S67
Book Chapter
Formal Models of the Calyx of Held
Bracciali A, Brunelli M, Cataldo E & Degano P (2009) Formal Models of the Calyx of Held. In: Condon A, Harel D, Kok J, Salomaa A & Winfree E (eds.) Algorithmic Bioprocesses. Natural Computing Series, 6. Berlin, Heidelberg: Springer, pp. 331-366. http://www.springerlink.com/content/vt6u7g0315414806/
Conference Paper
On Symbolic Semantics for Name-decorated Contexts
Bracciali A, Bruni R & Lluch-Lafuente A (2009) On Symbolic Semantics for Name-decorated Contexts. First Interaction and Concurrency Experiences Workshop (ICE 2008), Reykjavik, Finland, 06.07.2008-06.07.2008. Electronic Notes in Theoretical Computer Science, 229 (3), pp. 37-58. https://doi.org/10.1016/j.entcs.2009.06.038
Conference Paper
Control Flow Analysis for Brane Calculi
Bodei C, Bracciali A & Chiarugi D (2009) Control Flow Analysis for Brane Calculi. Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008), Iasi, Romania, 03.09.2008-04.09.2008. Electronic Notes in Theoretical Computer Science, 227, pp. 59-75. https://doi.org/10.1016/j.entcs.2008.12.104
Conference Proceeding
Maggenti G, Bracciali A & Mancarella P (2008) Abduction and Legal Reasoning. In: e-Forensics '08 Proceedings of the 1st international conference on Forensic applications and techniques in telecommunications, information, and multimedia and workshop, volume Article No. 33. e-Forensics 2008: 1st international conference on Forensic applications and techniques in telecommunications, information, and multimedia and workshop, Adelaide, Australia, 21.01.2008-23.01.2008. Brussels, Belgium: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering). http://dl.acm.org/citation.cfm?id=1363260
Article
Synapses as stochastic concurrent systems
Bracciali A, Brunelli M, Cataldo E & Degano P (2008) Synapses as stochastic concurrent systems. Theoretical Computer Science, 408 (1), pp. 66-82. https://doi.org/10.1016/j.tcs.2008.07.008
Conference Proceeding
Stochastic and executable models of synaptic processes
Cataldo E, Bracciali A, Brunelli M & Degano P (2008) Stochastic and executable models of synaptic processes. In: Frontiers in Neuroinformatics Conference Abstract: Neuroinformatics 2008. Neuroinformatics 2008, Stockholm, Sweden, 07.09.2008-09.09.2008. Lausanne, Switzerland: Frontiers Media. http://www.frontiersin.org/10.3389/conf.neuro.11.2008.01.012/event_abstract; https://doi.org/10.3389/conf.neuro.11.2008.01.012
Article
On deducing causality in metabolic networks
Bodei C, Bracciali A & Chiarugi D (2008) On deducing causality in metabolic networks. BMC Bioinformatics, 9 (Supplement 4), p. S8. https://doi.org/10.1186/1471-2105-9-S4-S8
Article
Stochastic models for the in silico simulation of synaptic processes
Bracciali A, Brunelli M, Cataldo E & Degano P (2008) Stochastic models for the in silico simulation of synaptic processes. BMC Bioinformatics, 9 (Supplement 4), p. S7. http://www.biomedcentral.com/1471-2105/9/S4/S7; https://doi.org/10.1186/1471-2105-9-S4-S7
Article
A symbolic framework for multi-faceted security protocol analysis
Bracciali A, Ferrari G & Tuosto E (2008) A symbolic framework for multi-faceted security protocol analysis. International Journal of Information Security, 7 (1), pp. 55-84. https://doi.org/10.1007/s10207-007-0043-9
Conference Paper (unpublished)
In Silico Stochastic Simulation of Ca triggered Synaptic Release
Bracciali A, Brunelli M, Cataldo E & Degano P (2007) In Silico Stochastic Simulation of Ca triggered Synaptic Release. NETTAB 2007: A Semantic Web for Bioinformatics: Goals, Tools, Systems, Applications, University of Pisa, Italy, 12.06.2007-15.06.2007. http://www.nettab.org/2007/progr.html#details
Conference Proceeding
Expressive models for synaptic plasticity
Bracciali A, Brunelli M, Cataldo E & Degano P (2007) Expressive models for synaptic plasticity. In: Calder M & Gilmore S (eds.) Computational Methods in Systems Biology. Lecture Notes in Computer Science, 4695. International Conference CMSB 2007, Edinburgh, Scotland, 20.09.2007-21.09.2007. Berlin, Heidelberg: Springer, pp. 152-167. http://conferences.inf.ed.ac.uk/cmsb07/; https://doi.org/10.1007/978-3-540-75140-3_11
Book Chapter
Deducing interactions in partially unspecified biological systems
Baldan P, Bracciali A, Brodo L & Bruni R (2007) Deducing interactions in partially unspecified biological systems. In: Anai H, Horimoto K & Kutsia T (eds.) Algebraic Biology. Lecture Notes in Computer Science, 4545. Berlin, Heidelberg: Springer, pp. 262-276. https://www.risc.jku.at/conferences/ab2007/; https://doi.org/10.1007/978-3-540-73433-8_19
Article
A semantic framework for open processes
Baldan P, Bracciali A & Bruni R (2007) A semantic framework for open processes. Theoretical Computer Science, 389 (3), pp. 446-483. https://doi.org/10.1016/j.tcs.2007.09.004
Poster
Ca2+ triggered vesicle release mechanisms: in silico experiments
Bracciali A, Baxter DA, Brunelli M, Cataldo E & Degano P (2007) Ca2+ triggered vesicle release mechanisms: in silico experiments. The 37th annual meeting of the Society for Neuroscience, San Diego, California, 03.11.2007-07.11.2007.
Conference Paper (unpublished)
A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks
Bodei C, Bracciali A & Chiarugi D (2007) A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks. Nettab 2007 Workshop: A Semantic Web for Bioinformatics: Goals, Tools, Systems, Applications, University of Pisa, Italy, 12.06.2007-15.06.2007. http://www.di.unipi.it/~braccia/DATA/MY_PAPERS/NETTAB_BBC_07.pdf
Article
Crafting the mind of PROSOCS agents
Bracciali A, Endriss U, Demetriou N, Kakas A, Stathis WL & Stathis K (2006) Crafting the mind of PROSOCS agents. Applied Artificial Intelligence, 20 (2-4), pp. 105-131.
Conference Proceeding
On modelling multi-agent systems declaratively
Bracciali A, Mancarella P, Stathis K & Toni F (2005) On modelling multi-agent systems declaratively. In: Leite J, Omicini A, Torroni P & Yolum P (eds.) Declarative Agent Languages and Technologies II. Lecture Notes in Computer Science, 3476. Second International Workshop on Declarative Agent Languages and Technologies, DALT 2004, New York, NY, USA, 19.07.2004-19.07.2004. Berlin, Heidelberg: Springer, pp. 53-68. http://centria.di.fct.unl.pt/~jleite/dalt04/index.htm; https://doi.org/10.1007/11493402_4
Conference Proceeding
Bracciali A, Mancarella P, Stathis K & Toni F (2005) Stable multi-agent systems. In: Gleizes M, Omicini A & Zambonelli F (eds.) Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers. Lecture Notes in Computer Science, 2451. 5th International Workshop, ESAW 2004, Toulouse, France, 20.10.2004-22.10.2004. Berlin Heidelberg: Springer, pp. 322-334. http://www.springer.com/computer/ai/book/978-3-540-27330-1
Conference Proceeding
The KGP model of agency for global computing: Computational model and prototype implementation
Bracciali A, Demetriou N, Endriss U, Kakas A, Lu W, Mancarella P, Sadri F, Stathis K, Terreni G & Toni F (2005) The KGP model of agency for global computing: Computational model and prototype implementation. In: Priami C & Quaglia P (eds.) Global Computing. Lecture Notes in Computer Science, 3267. IST/FET International Workshop, GC 2004, Rovereto, Italy, 09.03.2004-12.03.2004. Berlin, Heidelberg: Springer, pp. 340-367. http://www.informatik.uni-trier.de/~ley/db/conf/gc/gc2004.html; https://doi.org/10.1007/978-3-540-31794-4_18
Conference Proceeding
Symbolic equivalences for open systems
Baldan P, Bracciali A & Bruni R (2005) Symbolic equivalences for open systems. In: Priami C & Quaglia P (eds.) Global Computing. Lecture Notes in Computing Science, 3267. IST/FET International Workshop, GC 2004, Rovereto, Italy, 09.03.2004-12.03.2004. Berlin, Heidelberg: Springer, pp. 1-17. http://www.informatik.uni-trier.de/~ley/db/conf/gc/gc2004.html; https://doi.org/10.1007/978-3-540-31794-4_1
Article
A framework for specifying and verifying the behaviour of open systems
Bracciali A, Brogi A & Turini F (2005) A framework for specifying and verifying the behaviour of open systems. Journal of Logic and Algebraic Programming, 63 (2), pp. 215-240. https://doi.org/10.1016/j.jlap.2004.05.004
Conference Paper
A coordination-based methodology for security protocol verification
Bracciali A, Baldi G, Ferrari G & Tuosto E (2005) A coordination-based methodology for security protocol verification. 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004), Bologna, Italy, 26.06.2004-26.06.2004. Electronic Notes in Theoretical Computer Science, 121, pp. 23-46. https://doi.org/10.1016/j.entcs.2004.10.006
Article
A formal approach to component adaptation
Bracciali A, Brogi A & Canal C (2005) A formal approach to component adaptation. Journal of Systems and Software, 74 (1), pp. 45-54. https://doi.org/10.1016/j.jss.2003.05.007
Conference Proceeding
Frame Consistency: Computing with Causal Explanations
Bracciali A & Kakas A (2004) Frame Consistency: Computing with Causal Explanations. In: Delgrande J J & Schaub T (eds.) 10th International Workshop on Non-Monotonic Reasoning: Proceedings. 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, 06.06.2004-08.06.2004. Whistler, Canada: International Workshop on Non-Monotonic Reasoning, pp. 79-87.
Conference Proceeding
PROSOCS: a platform for programming software agents in computational logic
Stathis K, Lu W, Kakas A, Demetriou N, Endriss U & Bracciali A (2004) PROSOCS: a platform for programming software agents in computational logic. In: Trappl R (ed.) Proceedings of the Fourth International Symposium "From Agent Theory to Agent Implementation'' AT2AI-4 -- EMCSR'2004. AT2AI-4 - Fourth International Symposium "From Agent Theory to Agent Implementation" at the 17th European Meeting on Cybernetics and Systems Research (EMCSR 2004), Vienna, Austria, 14.04.2004-16.04.2004. Vienna: Austrian Society for Cybernetic Studies, pp. 523-528. http://www.osgk.ac.at/emcsr/10/publications.html
Conference Proceeding
A new framework for knowledge revision of abductive agents through their interaction
Bracciali A & Torroni P (2004) A new framework for knowledge revision of abductive agents through their interaction. In: Carbonell J & Siekmann J (eds.) Computational Logic in Multi-Agent Systems. Lecture Notes in Computer Science, 3259. 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, 06.01.2004-07.01.2004. Berlin Heidelberg: Springer, pp. 159-177. http://centria.di.fct.unl.pt/~clima/; https://doi.org/10.1007/978-3-540-30200-1_9
Conference Proceeding
Adapting components with mismatching behaviours
Bracciali A, Brogi A & Canal C (2002) Adapting components with mismatching behaviours. In: Bishop J (ed.) Component Deployment. Lecture Notes in Computer Science, 2370. IFIP/ACMWorking Conference, CD 2002, Berlin, Germany, 20.06.2002-21.06.2002. Berlin Heidelberg: Springer, pp. 185-199. http://swt.cs.tu-berlin.de/cd02/; https://doi.org/10.1007/3-540-45440-3_13
Conference Proceeding
Dynamically adapting the behaviour of software components
Bracciali A, Brogi A & Canal C (2002) Dynamically adapting the behaviour of software components. In: Arbab F & Talcott C (eds.) Coordination Models and Languages. Lecture Notes in Computer Science, 2315. 5th International Conference, COORDINATION 2002, York, UK, 08.04.2002-11.04.2002. Berlin, Heidelberg: Springer, pp. 88-95. http://www.informatik.uni-trier.de/~ley/db/conf/coordination/; https://doi.org/10.1007/3-540-46000-4_10
Conference Proceeding
Baldan P, Bracciali A & Bruni R (2002) Bisimulation by Unification. In: Kirchner H & Ringeissen C (eds.) Algebraic Methodology and Software Technology. Lecture Notes in Computer Science, Volume 2422. 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, 09.09.2002-13.09.2002. Amsterdam: Springer, pp. 254-270. http://link.springer.com/chapter/10.1007/3-540-45719-4_18#; https://doi.org/10.1007/3-540-45719-4_18
Conference Paper
Systematic component adaptation
Bracciali A, Brogi A & Canal C (2002) Systematic component adaptation. Formal Methods and Component Interaction (ICALP 2002 Satellite Workshop), Málaga, Spain, 12.07.2002-13.07.2002. Electronic Notes in Theoretical Computer Science, 66 (4), pp. 103-119. https://doi.org/10.1016/S1571-0661%2804%2980452-3
Conference Proceeding
Security and Dynamic Compositions of Open Systems
Bracciali A, Brogi A, Ferrari G & Tuosto E (2002) Security and Dynamic Compositions of Open Systems. In: Arabnia H (ed.) Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3. International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '02, Las Vegas, Nevada, USA, 24.06.2002-27.06.2002. Athens, GA: CSREA Press, pp. 1372-1377. http://www.informatik.uni-trier.de/~ley/db/conf/pdpta/pdpta2002-3.html
Conference Proceeding
Interaction Patterns for Open Systems
Bracciali A, Brogi A & Turini F (2001) Interaction Patterns for Open Systems. In: Roja F, Monge J & Sanchez Y (eds.) IDEAS 2001 Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software. IDEAS 2001 Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software, 2001, San Jose, Costa Rica, pp. 398-407.
Conference Paper
Security issues in component-based design
Bracciali A, Brogi A, Ferrari G & Tuosto E (2001) Security issues in component-based design. ConCoord: International Workshop on Concurrency and Coordination(Workshop associated to the 13th Lipari School), Lipari Island, Italy, 06.07.2001-08.07.2001. Electronic Notes in Theoretical Computer Science, 54, pp. 49-57. https://doi.org/10.1016/S1571-0661%2804%2900234-8
Conference Proceeding
Coordinating Interaction Patterns
Bracciali A, Brogi A & Turini F (2001) Coordinating Interaction Patterns. In: SAC '01 Proceedings of the 2001 ACM symposium on Applied computing. SAC 2001: 16th ACM Symposium on Applied Computing, Las Vegas, USA, 11.03.2001-14.03.2001. New York: ACM, pp. 159-165. http://dl.acm.org/citation.cfm?id=372305
Conference Proceeding
Formal specification of discrete systems by active predicates and dynamic constraints
Bolognesi T & Bracciali A (1999) Formal specification of discrete systems by active predicates and dynamic constraints. In: Ciancarini P, Fantechi A & Gorrieri R (eds.) Formal Methods for Open Object-based Distributed Systems, Proceedings of FMOODS'99. IFIP Advances in Information and Communication Technology, Vol. 10. IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Florence, Italy, 15.02.1999-18.03.1999. Dordrecht, The Netherlands: Kluwer Academic Publishers, pp. 161-168.
© University of Stirling