Conference Proceeding
On Refining Design Patterns for Smart Contracts: A use case on water management
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
Article
Adversarial behaviours in mixing coins under incomplete information
Wang Y, Bracciali A, Yang G, Li T & Yu X (2020) Adversarial behaviours in mixing coins under incomplete information. Applied Soft Computing, 96, Art. No.: 106605. https://doi.org/10.1016/j.asoc.2020.106605
Article
Incentive compatible and anti-compounding of wealth in proof-of-stake
Wang Y, Yang G, Bracciali A, Leung H, Tian H, Ke L & Yu X (2020) Incentive compatible and anti-compounding of wealth in proof-of-stake. Information Sciences, 530, pp. 85-94. https://doi.org/10.1016/j.ins.2020.03.098
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
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. https://doi.org/10.1109/SA47457.2019.8938093
Conference Proceeding
Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-Oriented Survey of the State-of-the-Art in the Cloud Era
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
Edited Book
Financial Cryptography and Data Security: FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers
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
Computational Intelligence Methods for Bioinformatics and Biostatistics: 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers
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
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://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
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
Data Science and Engineering, Special Issue: HPC-enabled Modelling for Big Data Problems in Life, Socio-Economical and Physical Sciences
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
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
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
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
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
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 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
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
Book Chapter
Modelling Infection Dynamics on Multi-cores: Exploring Parallel Efficient Simulations for the Stochastic Modelling of Bio Systems
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
Formal Synthetic Immunology
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
Abduction and Legal Reasoning
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
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
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
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
Stable multi-agent systems
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
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
Bisimulation by Unification
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 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
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 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.
