Dr Andrea Bracciali

SICSA Lecturer

Computing Science University of Stirling, Stirling, FK9 4LA

Dr Andrea Bracciali

Share a link

About me

About me

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.

Event / Presentation

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


Research (4)

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.

Projects

EmFi - Emergency Finance
PI: Dr Andrea Bracciali
Funded by: Algorand Foundation

How blockchain-based digitization of land records can boost financial inclusion in Bangladesh
PI: Dr Andrea Bracciali
Funded by: Innovate UK

Future Payment Systems: Data, Technology and Privacy after Covid.
PI: Dr Andrea Bracciali
Funded by: Engineering and Physical Sciences Research Council

Computational Intelligence methods for Bioinformatics and Biostatistics
PI: Dr Andrea Bracciali
Funded by: Delegates - Conferences

Outputs (79)

Outputs

Conference Proceeding

Bartoletti M, Bracciali A, Lepore C, Scalas A & Zunino R (2021) A formal model of Algorand smart contracts. In: Borisov N & Diaz C (eds.) Financial Cryptography and Data Security. FC 2021. Lecture Notes in Computer Science, 12674. International Conference on Financial Cryptography and Data Security, Online, 01.03.2021-05.03.2021. Cham, Switzerland: Springer, pp. 93-114. https://doi.org/10.1007/978-3-662-64322-8_5

Conference Proceeding

Bracciali A, Grossi D & de Haan R (2021) Decentralization in open quorum systems: Limitative results for ripple and stellar. In: Anceaume E, Bisiere C, Bouvard M, Bramas Q & Casamatta C (eds.) 2nd International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2020, volume 82. Open Access Series in Informatics (OASIcs), 82. 2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020), Toulouse, France, 26.10.2020-27.10.2020. Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, pp. 5:1-5:20. https://doi.org/10.4230/OASIcs.Tokenomics.2020.5

Conference Proceeding

Zecchini M, Bracciali A, Chatzigiannakis I & Vitaletti A (2020) On Refining Design Patterns for Smart Contracts: A use case on water management. In: Schwardmann U, Boehme C, Heras DB, Cardellini V, Jeannot E, Salis A, Schifanella C, Reddy Manumachu R, Schwamborn D, Ricci L, Sangyoon O, Gruber T, Antonelli L & Scott SL (eds.) Euro-Par 2019: Parallel Processing Workshops. Lecture Notes in Computer Science, 11997. 2nd International Workshop on Future Perspective of Decentralized APPlications, Gottingen, Germany, 26.08.2019-29.08.2019. Cham, Switzerland: Springer, pp. 228-239. https://doi.org/10.1007/978-3-030-48340-1_18

Conference Proceeding

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. https://doi.org/10.1109/SA47457.2019.8938093

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

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

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

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

Conference Proceeding

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

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

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://doi.org/10.1109/IWBOSE.2018.8327567

Conference Proceeding

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

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

Conference Proceeding

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

Conference Proceeding

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. https://doi.org/10.1007/978-3-319-47286-7_8

Conference Paper

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). http://www.cussb.unisr.it/cibb2014/; https://doi.org/10.1186/s12859-016-1170-y

Conference Proceeding

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. https://doi.org/10.1007/978-3-319-24462-4_21

Book Chapter

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)

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

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

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

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

Book Chapter

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

Conference Proceeding

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

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

Conference Paper (unpublished)

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 Paper

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

Conference Proceeding

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

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

Book Chapter

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

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

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

Conference Proceeding

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

Conference Paper (unpublished)

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

Book Chapter

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

Conference Proceeding

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

Conference Paper (unpublished)

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

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

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

Conference Proceeding

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

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 Paper

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

Conference Proceeding

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

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

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

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

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 Paper

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

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 Proceeding

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

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

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

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

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.