Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andrea Bracciali
@proceedings{DBLP:conf/fc/2023w,
editor = {Aleksander Essex and
Shin'ichiro Matsuo and
Oksana Kulyk and
Lewis Gudgeon and
Ariah Klages{-}Mundt and
Daniel Perez and
Sam Werner and
Andrea Bracciali and
Geoff Goodell},
title = {Financial Cryptography and Data Security. {FC} 2023 International
Workshops - Voting, CoDecFin, DeFi, WTSC, Bol, Bra{\v{c}}, Croatia,
May 5, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13953},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-48806-1},
doi = {10.1007/978-3-031-48806-1},
isbn = {978-3-031-48805-4},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/2023w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BistarelliBKM23,
author = {Stefano Bistarelli and
Andrea Bracciali and
Rick Klomp and
Ivan Mercanti},
editor = {Jiman Hong and
Maart Lanperne and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}} and
Hossain Shahriar},
title = {Towards automated verification of Bitcoin-based decentralised applications},
booktitle = {Proceedings of the 38th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2023, Tallinn, Estonia, March 27-31, 2023},
pages = {262--269},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3555776.3578996},
doi = {10.1145/3555776.3578996},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BistarelliBKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fc/2022w,
editor = {Shin'ichiro Matsuo and
Lewis Gudgeon and
Ariah Klages{-}Mundt and
Daniel Perez Hernandez and
Sam Werner and
Thomas Haines and
Aleksander Essex and
Andrea Bracciali and
Massimiliano Sala},
title = {Financial Cryptography and Data Security. {FC} 2022 International
Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13412},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-32415-4},
doi = {10.1007/978-3-031-32415-4},
isbn = {978-3-031-32414-7},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fc/2022w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/europar/2021w,
editor = {Ricardo Chaves and
Dora B. Heras and
Aleksandar Ilic and
Didem Unat and
Rosa M. Badia and
Andrea Bracciali and
Patrick Diehl and
Anshu Dubey and
Oh Sangyoon and
Stephen L. Scott and
Laura Ricci},
title = {Euro-Par 2021: Parallel Processing Workshops - Euro-Par 2021 International
Workshops, Lisbon, Portugal, August 30-31, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {13098},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06156-1},
doi = {10.1007/978-3-031-06156-1},
isbn = {978-3-031-06155-4},
timestamp = {Tue, 14 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/europar/2021w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/SchifanellaB21,
author = {Claudio Schifanella and
Andrea Bracciali},
title = {Special Issue of Concurrency and Computation: Practice and experience
"FPDAPP, Future Perspectives on Decentralized Applications"},
journal = {Concurr. Comput. Pract. Exp.},
volume = {33},
number = {1},
year = {2021},
url = {https://doi.org/10.1002/cpe.6107},
doi = {10.1002/CPE.6107},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/SchifanellaB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/BartolettiBLSZ21,
author = {Massimo Bartoletti and
Andrea Bracciali and
Cristian Lepore and
Alceste Scalas and
Roberto Zunino},
editor = {Nikita Borisov and
Claudia D{\'{\i}}az},
title = {A Formal Model of Algorand Smart Contracts},
booktitle = {Financial Cryptography and Data Security - 25th International Conference,
{FC} 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12674},
pages = {93--114},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-64322-8\_5},
doi = {10.1007/978-3-662-64322-8\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/BartolettiBLSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/europar/2020w,
editor = {Bartosz Balis and
Dora B. Heras and
Laura Antonelli and
Andrea Bracciali and
Thomas Gruber and
Jin Hyun{-}Wook and
Michael Kuhn and
Stephen L. Scott and
Didem Unat and
Roman Wyrzykowski},
title = {Euro-Par 2020: Parallel Processing Workshops - Euro-Par 2020 International
Workshops, Warsaw, Poland, August 24-25, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12480},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71593-9},
doi = {10.1007/978-3-030-71593-9},
isbn = {978-3-030-71592-2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/2020w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fc/2021w,
editor = {Matthew Bernhard and
Andrea Bracciali and
Lewis Gudgeon and
Thomas Haines and
Ariah Klages{-}Mundt and
Shin'ichiro Matsuo and
Daniel Perez and
Massimiliano Sala and
Sam Werner},
title = {Financial Cryptography and Data Security. {FC} 2021 International
Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March
5, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12676},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63958-0},
doi = {10.1007/978-3-662-63958-0},
isbn = {978-3-662-63957-3},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fc/2021w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/WangBYLY20,
author = {Yilei Wang and
Andrea Bracciali and
Guoyu Yang and
Tao Li and
Xiaomei Yu},
title = {Adversarial behaviours in mixing coins under incomplete information},
journal = {Appl. Soft Comput.},
volume = {96},
pages = {106605},
year = {2020},
url = {https://doi.org/10.1016/j.asoc.2020.106605},
doi = {10.1016/J.ASOC.2020.106605},
timestamp = {Wed, 11 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/asc/WangBYLY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/WangYBLTKY20,
author = {Yilei Wang and
Guoyu Yang and
Andrea Bracciali and
Ho{-}fung Leung and
Haibo Tian and
Lishan Ke and
Xiaomei Yu},
title = {Incentive compatible and anti-compounding of wealth in proof-of-stake},
journal = {Inf. Sci.},
volume = {530},
pages = {85--94},
year = {2020},
url = {https://doi.org/10.1016/j.ins.2020.03.098},
doi = {10.1016/J.INS.2020.03.098},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/WangYBLTKY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/AmaralNGABBCCCG20,
author = {Vasco Amaral and
Beatriz Norberto and
Miguel Goul{\~{a}}o and
Marco Aldinucci and
Siegfried Benkner and
Andrea Bracciali and
Paulo Carreira and
Edgars Celms and
Lu{\'{\i}}s Correia and
Clemens Grelck and
Helen D. Karatza and
Christoph W. Kessler and
Peter Kilpatrick and
Hugo F. M. C. Martiniano and
Ilias Mavridis and
Sabri Pllana and
Ana Resp{\'{\i}}cio and
Jos{\'{e}} Sim{\~{a}}o and
Lu{\'{\i}}s Veiga and
Ari Visa},
title = {Programming languages for data-Intensive {HPC} applications: {A} systematic
mapping study},
journal = {Parallel Comput.},
volume = {91},
year = {2020},
url = {https://doi.org/10.1016/j.parco.2019.102584},
doi = {10.1016/J.PARCO.2019.102584},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/AmaralNGABBCCCG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tokenomics/BraccialiGH20,
author = {Andrea Bracciali and
Davide Grossi and
Ronald de Haan},
editor = {Emmanuelle Anceaume and
Christophe Bisi{\`{e}}re and
Matthieu Bouvard and
Quentin Bramas and
Catherine Casamatta},
title = {Decentralization in Open Quorum Systems: Limitative Results for Ripple
and Stellar},
booktitle = {2nd International Conference on Blockchain Economics, Security and
Protocols, Tokenomics 2020, October 26-27, 2020, Toulouse, France},
series = {OASIcs},
volume = {82},
pages = {5:1--5:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/OASIcs.Tokenomics.2020.5},
doi = {10.4230/OASICS.TOKENOMICS.2020.5},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tokenomics/BraccialiGH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fc/2019w,
editor = {Andrea Bracciali and
Jeremy Clark and
Federico Pintore and
Peter B. R{\o}nne and
Massimiliano Sala},
title = {Financial Cryptography and Data Security - {FC} 2019 International
Workshops, {VOTING} and WTSC, St. Kitts, St. Kitts and Nevis, February
18-22, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11599},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43725-1},
doi = {10.1007/978-3-030-43725-1},
isbn = {978-3-030-43724-4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/2019w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fc/2020w,
editor = {Matthew Bernhard and
Andrea Bracciali and
L. Jean Camp and
Shin'ichiro Matsuo and
Alana Maurushat and
Peter B. R{\o}nne and
Massimiliano Sala},
title = {Financial Cryptography and Data Security - {FC} 2020 International
Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia,
February 14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12063},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54455-3},
doi = {10.1007/978-3-030-54455-3},
isbn = {978-3-030-54454-6},
timestamp = {Sun, 09 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fc/2020w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-12140,
author = {Massimo Bartoletti and
Andrea Bracciali and
Cristian Lepore and
Alceste Scalas and
Roberto Zunino},
title = {A formal model of Algorand smart contracts},
journal = {CoRR},
volume = {abs/2009.12140},
year = {2020},
url = {https://arxiv.org/abs/2009.12140},
eprinttype = {arXiv},
eprint = {2009.12140},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-12140.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/WangBLLCZ19,
author = {Yilei Wang and
Andrea Bracciali and
Tao Li and
Fengyin Li and
Xinchun Cui and
Minghao Zhao},
title = {Randomness invalidates criminal smart contracts},
journal = {Inf. Sci.},
volume = {477},
pages = {291--301},
year = {2019},
url = {https://doi.org/10.1016/j.ins.2018.10.057},
doi = {10.1016/J.INS.2018.10.057},
timestamp = {Fri, 19 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/WangBLLCZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/ZecchiniBCV19,
author = {Marco Zecchini and
Andrea Bracciali and
Ioannis Chatzigiannakis and
Andrea Vitaletti},
editor = {Ulrich Schwardmann and
Christian Boehme and
Dora B. Heras and
Valeria Cardellini and
Emmanuel Jeannot and
Antonio Salis and
Claudio Schifanella and
Ravi Reddy Manumachu and
Dieter Schwamborn and
Laura Ricci and
Oh Sangyoon and
Thomas Gruber and
Laura Antonelli and
Stephen L. Scott},
title = {On Refining Design Patterns for Smart Contracts},
booktitle = {Euro-Par 2019: Parallel Processing Workshops - Euro-Par 2019 International
Workshops, G{\"{o}}ttingen, Germany, August 26-30, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11997},
pages = {228--239},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-48340-1\_18},
doi = {10.1007/978-3-030-48340-1\_18},
timestamp = {Tue, 14 Feb 2023 22:22:15 +0100},
biburl = {https://dblp.org/rec/conf/europar/ZecchiniBCV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sa/BraccialiCVZ19,
author = {Andrea Bracciali and
Ioannis Chatzigiannakis and
Andrea Vitaletti and
Marco Zecchini},
title = {Citizens Vote to Act: smart contracts for the management of water
resources in smart cities},
booktitle = {First International Conference on Societal Automation, {SA} 2019,
Krakow, Poland, September 4-6, 2019},
pages = {1--8},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SA47457.2019.8938093},
doi = {10.1109/SA47457.2019.8938093},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sa/BraccialiCVZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/GrelckNABL19,
author = {Clemens Grelck and
Ewa Niewiadomska{-}Szynkiewicz and
Marco Aldinucci and
Andrea Bracciali and
Elisabeth Larsson},
editor = {Joanna Kolodziej and
Horacio Gonz{\'{a}}lez{-}V{\'{e}}lez},
title = {Why High-Performance Modelling and Simulation for Big Data Applications
Matters},
booktitle = {High-Performance Modelling and Simulation for Big Data Applications
- Selected Results of the {COST} Action {IC1406} cHiPSet},
series = {Lecture Notes in Computer Science},
volume = {11400},
pages = {1--35},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16272-6\_1},
doi = {10.1007/978-3-030-16272-6\_1},
timestamp = {Fri, 31 Jan 2020 21:31:47 +0100},
biburl = {https://dblp.org/rec/series/lncs/GrelckNABL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/ZamudaCBDWRGSPCSB19,
author = {Ales Zamuda and
Vincenzo Crescimanna and
Juan C. Burguillo and
Joana Matos Dias and
Katarzyna Wegrzyn{-}Wolska and
Imen Rached and
Horacio Gonz{\'{a}}lez{-}V{\'{e}}lez and
Roman Senkerik and
Claudia Pop and
Tudor Cioara and
Ioan Salomie and
Andrea Bracciali},
editor = {Joanna Kolodziej and
Horacio Gonz{\'{a}}lez{-}V{\'{e}}lez},
title = {Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-Oriented
Survey of the State-of-the-Art in the Cloud Era},
booktitle = {High-Performance Modelling and Simulation for Big Data Applications
- Selected Results of the {COST} Action {IC1406} cHiPSet},
series = {Lecture Notes in Computer Science},
volume = {11400},
pages = {325--349},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16272-6\_12},
doi = {10.1007/978-3-030-16272-6\_12},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/ZamudaCBDWRGSPCSB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cibb/2017,
editor = {Massimo Bartoletti and
Annalisa Barla and
Andrea Bracciali and
Gunnar W. Klau and
Leif E. Peterson and
Alberto Policriti and
Roberto Tagliaferri},
title = {Computational Intelligence Methods for Bioinformatics and Biostatistics
- 14th International Meeting, {CIBB} 2017, Cagliari, Italy, September
7-9, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10834},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-14160-8},
doi = {10.1007/978-3-030-14160-8},
isbn = {978-3-030-14159-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cibb/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fc/2018w,
editor = {Aviv Zohar and
Ittay Eyal and
Vanessa Teague and
Jeremy Clark and
Andrea Bracciali and
Federico Pintore and
Massimiliano Sala},
title = {Financial Cryptography and Data Security - {FC} 2018 International
Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Cura{\c{c}}ao, March
2, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10958},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58820-8},
doi = {10.1007/978-3-662-58820-8},
isbn = {978-3-662-58819-2},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/2018w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-08182,
author = {Andrea Bracciali and
Davide Grossi and
Ronald de Haan},
title = {Decentralization in Open Quorum Systems},
journal = {CoRR},
volume = {abs/1911.08182},
year = {2019},
url = {http://arxiv.org/abs/1911.08182},
eprinttype = {arXiv},
eprint = {1911.08182},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-08182.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/AngeliniBGR18,
author = {Claudia Angelini and
Andrea Bracciali and
David Gilbert and
Riccardo Rizzo},
title = {Preface to the {BMC-CIBB} 2015-16 special issue},
journal = {{BMC} Bioinform.},
volume = {19-S},
number = {7},
pages = {201:1--201:2},
year = {2018},
url = {https://doi.org/10.1186/s12859-018-2176-4},
doi = {10.1186/S12859-018-2176-4},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/AngeliniBGR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/KlompB18,
author = {Rick Klomp and
Andrea Bracciali},
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Jordi Herrera{-}Joancomart{\'{\i}} and
Giovanni Livraga and
Ruben Rios},
title = {On Symbolic Verification of Bitcoin's script Language},
booktitle = {Data Privacy Management, Cryptocurrencies and Blockchain Technology
- {ESORICS} 2018 International Workshops, {DPM} 2018 and {CBT} 2018,
Barcelona, Spain, September 6-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11025},
pages = {38--56},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00305-0\_3},
doi = {10.1007/978-3-030-00305-0\_3},
timestamp = {Fri, 27 Dec 2019 21:19:57 +0100},
biburl = {https://dblp.org/rec/conf/esorics/KlompB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/DestefanisMOTBH18,
author = {Giuseppe Destefanis and
Michele Marchesi and
Marco Ortu and
Roberto Tonelli and
Andrea Bracciali and
Robert M. Hierons},
title = {Smart contracts vulnerabilities: a call for blockchain software engineering?},
booktitle = {2018 International Workshop on Blockchain Oriented Software Engineering,
IWBOSE@SANER 2018, Campobasso, Italy, March 20, 2018},
pages = {19--25},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IWBOSE.2018.8327567},
doi = {10.1109/IWBOSE.2018.8327567},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/DestefanisMOTBH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dase/BraccialiL17,
author = {Andrea Bracciali and
Elisabeth Larsson},
title = {Data-Intensive Modelling and Simulation in Life Sciences and Socio-economical
and Physical Sciences - Contributions from the Coordinated Work in
cHiPSet, the {COST} Action on High-Performance Modelling and Simulation
for Big Data Applications},
journal = {Data Sci. Eng.},
volume = {2},
number = {3},
pages = {197--198},
year = {2017},
url = {https://doi.org/10.1007/s41019-017-0049-x},
doi = {10.1007/S41019-017-0049-X},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dase/BraccialiL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/insci/KarkkainenPBB17,
author = {Tatja Karkkainen and
Georgios A. Panos and
Daniel Broby and
Andrea Bracciali},
editor = {Sotiris Diplaris and
Anna Satsiou and
Asbj{\o}rn F{\o}lstad and
Michail Vafopoulos and
Thomas Vilarinho},
title = {On the Educational Curriculum in Finance and Technology},
booktitle = {Internet Science - {INSCI} 2017 International Workshops, IFIN, {DATA}
ECONOMY, DSI, and CONVERSATIONS, Thessaloniki, Greece, November 22,
2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10750},
pages = {7--20},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-77547-0\_1},
doi = {10.1007/978-3-319-77547-0\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/insci/KarkkainenPBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/BartolettiLPB17,
author = {Massimo Bartoletti and
Stefano Lande and
Livio Pompianu and
Andrea Bracciali},
title = {A general framework for blockchain analytics},
booktitle = {Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures
for Distributed Ledgers, SERIAL@Middleware 2017, Las Vegas, NV, USA,
December 11-15, 2017},
pages = {7:1--7:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3152824.3152831},
doi = {10.1145/3152824.3152831},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/middleware/BartolettiLPB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cibb/2016,
editor = {Andrea Bracciali and
Giulio Caravagna and
David Gilbert and
Roberto Tagliaferri},
title = {Computational Intelligence Methods for Bioinformatics and Biostatistics
- 13th International Meeting, {CIBB} 2016, Stirling, UK, September
1-3, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10477},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67834-4},
doi = {10.1007/978-3-319-67834-4},
isbn = {978-3-319-67833-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cibb/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fc/2017w,
editor = {Michael Brenner and
Kurt Rohloff and
Joseph Bonneau and
Andrew Miller and
Peter Y. A. Ryan and
Vanessa Teague and
Andrea Bracciali and
Massimiliano Sala and
Federico Pintore and
Markus Jakobsson},
title = {Financial Cryptography and Data Security - {FC} 2017 International
Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April
7, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10323},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70278-0},
doi = {10.1007/978-3-319-70278-0},
isbn = {978-3-319-70277-3},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fc/2017w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartolettiBLP17,
author = {Massimo Bartoletti and
Andrea Bracciali and
Stefano Lande and
Livio Pompianu},
title = {A general framework for Bitcoin analytics},
journal = {CoRR},
volume = {abs/1707.01021},
year = {2017},
url = {http://arxiv.org/abs/1707.01021},
eprinttype = {arXiv},
eprint = {1707.01021},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartolettiBLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/BraccialiAPMPMT16,
author = {Andrea Bracciali and
Marco Aldinucci and
Murray Patterson and
Tobias Marschall and
Nadia Pisanti and
Ivan Merelli and
Massimo Torquati},
title = {{PWHATSHAP:} efficient haplotyping for future generation sequencing},
journal = {{BMC} Bioinform.},
volume = {17},
number = {{S-11}},
pages = {342},
year = {2016},
url = {https://doi.org/10.1186/s12859-016-1170-y},
doi = {10.1186/S12859-016-1170-Y},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/BraccialiAPMPMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BigiBMT15,
author = {Giancarlo Bigi and
Andrea Bracciali and
Giovanni Meacci and
Emilio Tuosto},
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {Validation of Decentralised Smart Contracts Through Game Theory and
Formal Methods},
booktitle = {Programming Languages with Applications to Biology and Security -
Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9465},
pages = {142--161},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9\_11},
doi = {10.1007/978-3-319-25527-9\_11},
timestamp = {Fri, 23 Jun 2023 22:30:53 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BigiBMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hapoc/BraccialiCDFMS15,
author = {Andrea Bracciali and
Enrico Cataldo and
Luisa Damiano and
Claudio Felicioli and
Roberto Marangoni and
Pasquale Stano},
editor = {Fabio Gadducci and
Mirko Tavosanis},
title = {From Cells as Computation to Cells as Apps},
booktitle = {History and Philosophy of Computing - Third International Conference,
HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {487},
pages = {116--130},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-47286-7\_8},
doi = {10.1007/978-3-319-47286-7\_8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hapoc/BraccialiCDFMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibb/AldinucciBMPPT14,
author = {Marco Aldinucci and
Andrea Bracciali and
Tobias Marschall and
Murray Patterson and
Nadia Pisanti and
Massimo Torquati},
editor = {Clelia Di Serio and
Pietro Li{\`{o}} and
Alessandro Nonis and
Roberto Tagliaferri},
title = {High-Performance Haplotype Assembly},
booktitle = {Computational Intelligence Methods for Bioinformatics and Biostatistics
- 11th International Meeting, {CIBB} 2014, Cambridge, UK, June 26-28,
2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8623},
pages = {245--258},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-24462-4\_21},
doi = {10.1007/978-3-319-24462-4\_21},
timestamp = {Wed, 25 Sep 2019 18:13:08 +0200},
biburl = {https://dblp.org/rec/conf/cibb/AldinucciBMPPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/BraccialiCU13,
author = {Andrea Bracciali and
Giulio Caravagna and
Amjad Ullah},
editor = {Gabriel A. Wainer and
Pieter J. Mosterman and
Fernando J. Barros and
Gregory Zacharewicz},
title = {Survival vs. revenue: modelling and reasoning on population dynamics
{(WIP)}},
booktitle = {2013 Spring Simulation Multiconference, SpringSim '13, San Diego,
CA, USA, April 7-10, 2013, Proceedings of the Symposium on Theory
of Modeling and Simulation - {DEVS} Integrative M{\&}S Symposium},
pages = {29},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2499663},
timestamp = {Fri, 20 Sep 2013 09:16:38 +0200},
biburl = {https://dblp.org/rec/conf/springsim/BraccialiCU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MassinkLBHH12,
author = {Mieke Massink and
Diego Latella and
Andrea Bracciali and
Michael D. Harrison and
Jane Hillston},
title = {Scalable context-dependent analysis of emergency egress models},
journal = {Formal Aspects Comput.},
volume = {24},
number = {2},
pages = {267--302},
year = {2012},
url = {https://doi.org/10.1007/s00165-011-0188-1},
doi = {10.1007/S00165-011-0188-1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MassinkLBHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/nc/DeganoB12,
author = {Pierpaolo Degano and
Andrea Bracciali},
editor = {Grzegorz Rozenberg and
Thomas B{\"{a}}ck and
Joost N. Kok},
title = {Process Calculi, Systems Biology and Artificial Chemistry},
booktitle = {Handbook of Natural Computing},
pages = {1863--1896},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-540-92910-9\_55},
doi = {10.1007/978-3-540-92910-9\_55},
timestamp = {Fri, 09 Apr 2021 18:35:12 +0200},
biburl = {https://dblp.org/rec/reference/nc/DeganoB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MassinkLBH11,
author = {Mieke Massink and
Diego Latella and
Andrea Bracciali and
Jane Hillston},
editor = {Dimitra Giannakopoulou and
Fernando Orejas},
title = {Modelling Non-linear Crowd Dynamics in Bio-PEPA},
booktitle = {Fundamental Approaches to Software Engineering - 14th International
Conference, {FASE} 2011, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken,
Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6603},
pages = {96--110},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19811-3\_8},
doi = {10.1007/978-3-642-19811-3\_8},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/MassinkLBH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/SorathiyaBL10,
author = {Anil Sorathiya and
Andrea Bracciali and
Pietro Li{\`{o}}},
title = {Formal reasoning on qualitative models of coinfection of {HIV} and
Tuberculosis and {HAART} therapy},
journal = {{BMC} Bioinform.},
volume = {11},
number = {{S-1}},
pages = {67},
year = {2010},
url = {https://doi.org/10.1186/1471-2105-11-S1-S67},
doi = {10.1186/1471-2105-11-S1-S67},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/SorathiyaBL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/swarm/SorathiyaBL10,
author = {Anil Sorathiya and
Andrea Bracciali and
Pietro Li{\`{o}}},
title = {An integrated modelling approach for {R5-X4} mutation and {HAART}
therapy assessment},
journal = {Swarm Intell.},
volume = {4},
number = {4},
pages = {319--340},
year = {2010},
url = {https://doi.org/10.1007/s11721-010-0046-4},
doi = {10.1007/S11721-010-0046-4},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/swarm/SorathiyaBL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/AldinucciBLST10,
author = {Marco Aldinucci and
Andrea Bracciali and
Pietro Li{\`{o}} and
Anil Sorathiya and
Massimo Torquati},
editor = {Mario R. Guarracino and
Fr{\'{e}}d{\'{e}}ric Vivien and
Jesper Larsson Tr{\"{a}}ff and
Mario Cannataro and
Marco Danelutto and
Anders Hast and
Francesca Perla and
Andreas Kn{\"{u}}pfer and
Beniamino Di Martino and
Michael Alexander},
title = {StochKit-FF: Efficient Systems Biology on Multicore Architectures},
booktitle = {Euro-Par 2010 Parallel Processing Workshops - HeteroPar, HPCC, HiBB,
CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September
3, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6586},
pages = {167--175},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21878-1\_21},
doi = {10.1007/978-3-642-21878-1\_21},
timestamp = {Wed, 19 Feb 2020 14:52:57 +0100},
biburl = {https://dblp.org/rec/conf/europar/AldinucciBLST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BraccialiHLM10,
author = {Andrea Bracciali and
Jane Hillston and
Diego Latella and
Mieke Massink},
editor = {Berndt M{\"{u}}ller},
title = {Reconciling Population and Agent Models for Crowd Dynamics},
booktitle = {3rd International Workshop on Logics, Agents, and Mobility, LAM'10,
Edinburgh, UK, July 14, 2010},
series = {EPiC Series in Computing},
volume = {7},
pages = {3--18},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/7cgj},
doi = {10.29007/7CGJ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BraccialiHLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MassinkLBH10,
author = {Mieke Massink and
Diego Latella and
Andrea Bracciali and
Michael D. Harrison},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Stefania Gnesi and
Andrea Maggiolo{-}Schettini},
title = {A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress
Analysis},
booktitle = {8th {IEEE} International Conference on Software Engineering and Formal
Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
pages = {169--180},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SEFM.2010.22},
doi = {10.1109/SEFM.2010.22},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/MassinkLBH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-4067,
author = {Chiara Bodei and
Andrea Bracciali and
Davide Chiarugi and
Roberta Gori},
editor = {Emanuela Merelli and
Paola Quaglia},
title = {A Taxonomy of Causality-Based Biological Properties},
booktitle = {Proceedings Third Workshop From Biology To Concurrency and back, {FBTC}
2010, Paphos, Cyprus, 27th March 2010},
series = {{EPTCS}},
volume = {19},
pages = {116--133},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.19.8},
doi = {10.4204/EPTCS.19.8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-4067.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-1768,
author = {Marco Aldinucci and
Andrea Bracciali and
Pietro Li{\`{o}} and
Anil Sorathiya and
Massimo Torquati},
title = {StochKit-FF: Efficient Systems Biology on Multicore Architectures},
journal = {CoRR},
volume = {abs/1007.1768},
year = {2010},
url = {http://arxiv.org/abs/1007.1768},
eprinttype = {arXiv},
eprint = {1007.1768},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-1768.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/AldinucciBL10,
author = {Marco Aldinucci and
Andrea Bracciali and
Pietro Li{\`{o}}},
title = {Formal Synthetic Immunology},
journal = {{ERCIM} News},
volume = {2010},
number = {82},
pages = {40--41},
year = {2010},
url = {http://ercim-news.ercim.eu/en82/special/formal-synthetic-immunology},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/AldinucciBL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BraccialiBCD09,
author = {Andrea Bracciali and
Marcello Brunelli and
Enrico Cataldo and
Pierpaolo Degano},
editor = {Anne Condon and
David Harel and
Joost N. Kok and
Arto Salomaa and
Erik Winfree},
title = {Formal Models of the Calyx of Held},
booktitle = {Algorithmic Bioprocesses},
series = {Natural Computing Series},
pages = {331--366},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-88869-7\_18},
doi = {10.1007/978-3-540-88869-7\_18},
timestamp = {Sun, 25 Jul 2021 11:52:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BraccialiBCD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/BodeiBC08,
author = {Chiara Bodei and
Andrea Bracciali and
Davide Chiarugi},
title = {On deducing causality in metabolic networks},
journal = {{BMC} Bioinform.},
volume = {9},
number = {{S-4}},
year = {2008},
url = {https://doi.org/10.1186/1471-2105-9-S4-S8},
doi = {10.1186/1471-2105-9-S4-S8},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/BodeiBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/BraccialiBCD08,
author = {Andrea Bracciali and
Marcello Brunelli and
Enrico Cataldo and
Pierpaolo Degano},
title = {Stochastic models for the in silico simulation of synaptic processes},
journal = {{BMC} Bioinform.},
volume = {9},
number = {{S-4}},
year = {2008},
url = {https://doi.org/10.1186/1471-2105-9-S4-S7},
doi = {10.1186/1471-2105-9-S4-S7},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/BraccialiBCD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/BraccialiFT08,
author = {Andrea Bracciali and
Gianluigi Ferrari and
Emilio Tuosto},
title = {A symbolic framework for multi-faceted security protocol analysis},
journal = {Int. J. Inf. Sec.},
volume = {7},
number = {1},
pages = {55--84},
year = {2008},
url = {https://doi.org/10.1007/s10207-007-0043-9},
doi = {10.1007/S10207-007-0043-9},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/BraccialiFT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BraccialiBCD08,
author = {Andrea Bracciali and
Marcello Brunelli and
Enrico Cataldo and
Pierpaolo Degano},
title = {Synapses as stochastic concurrent systems},
journal = {Theor. Comput. Sci.},
volume = {408},
number = {1},
pages = {66--82},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.07.008},
doi = {10.1016/J.TCS.2008.07.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BraccialiBCD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eforensics/MaggentiBM08,
author = {Giada Maggenti and
Andrea Bracciali and
Paolo Mancarella},
editor = {Matthew Sorell and
Lang White},
title = {Abduction and legal reasoning},
booktitle = {1st International {ICST} Conference on Forensic Applications and Techniques
in Telecommunications, Information and Multimedia, {E-FORENSICS} 2008,
Adelaide, Australia, January 21-23, 2008},
pages = {33},
publisher = {{ICST/ACM}},
year = {2008},
url = {https://doi.org/10.4108/e-forensics.2008.2640},
doi = {10.4108/E-FORENSICS.2008.2640},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eforensics/MaggentiBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraccialiBL09,
author = {Andrea Bracciali and
Roberto Bruni and
Alberto Lluch{-}Lafuente},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {On Symbolic Semantics for Name-decorated Contexts},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {37--58},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.038},
doi = {10.1016/J.ENTCS.2009.06.038},
timestamp = {Fri, 24 Feb 2023 11:41:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BraccialiBL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BodeiBC09,
author = {Chiara Bodei and
Andrea Bracciali and
Davide Chiarugi},
editor = {Gabriel Ciobanu},
title = {Control Flow Analysis for Brane Calculi},
booktitle = {Proceedings of the Second International Meeting on Membrane Computing
and Biologically Inspired Process Calculi, MeCBIC 2008, Ia{\c{s}}i,
Romania, September 3-4, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {227},
pages = {59--75},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.104},
doi = {10.1016/J.ENTCS.2008.12.104},
timestamp = {Fri, 24 Feb 2023 10:20:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BodeiBC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaldanBB07,
author = {Paolo Baldan and
Andrea Bracciali and
Roberto Bruni},
title = {A semantic framework for open processes},
journal = {Theor. Comput. Sci.},
volume = {389},
number = {3},
pages = {446--483},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.09.004},
doi = {10.1016/J.TCS.2007.09.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BaldanBB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/BaldanBBB07,
author = {Paolo Baldan and
Andrea Bracciali and
Linda Brodo and
Roberto Bruni},
editor = {Hirokazu Anai and
Katsuhisa Horimoto and
Temur Kutsia},
title = {Deducing Interactions in Partially Unspecified Biological Systems},
booktitle = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
of Hagenberg, Austria, July 2-4, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4545},
pages = {262--276},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73433-8\_19},
doi = {10.1007/978-3-540-73433-8\_19},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/ab/BaldanBBB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BraccialiBCD07,
author = {Andrea Bracciali and
Marcello Brunelli and
Enrico Cataldo and
Pierpaolo Degano},
editor = {Muffy Calder and
Stephen Gilmore},
title = {Expressive Models for Synaptic Plasticity},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4695},
pages = {152--167},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75140-3\_11},
doi = {10.1007/978-3-540-75140-3\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/BraccialiBCD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/BraccialiEDKLS06,
author = {Andrea Bracciali and
Ulle Endriss and
Neophytos Demetriou and
Antonis C. Kakas and
Wenjin Lu and
Kostas Stathis},
title = {Crafting the mind of {PROSOCS} agents},
journal = {Appl. Artif. Intell.},
volume = {20},
number = {2-4},
pages = {105--131},
year = {2006},
url = {https://doi.org/10.1080/08839510500479496},
doi = {10.1080/08839510500479496},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aai/BraccialiEDKLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BraccialiBT05,
author = {Andrea Bracciali and
Antonio Brogi and
Franco Turini},
title = {A framework for specifying and verifying the behaviour of open systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {63},
number = {2},
pages = {215--240},
year = {2005},
url = {https://doi.org/10.1016/j.jlap.2004.05.004},
doi = {10.1016/J.JLAP.2004.05.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BraccialiBT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BraccialiBC05,
author = {Andrea Bracciali and
Antonio Brogi and
Carlos Canal},
title = {A formal approach to component adaptation},
journal = {J. Syst. Softw.},
volume = {74},
number = {1},
pages = {45--54},
year = {2005},
url = {https://doi.org/10.1016/j.jss.2003.05.007},
doi = {10.1016/J.JSS.2003.05.007},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/BraccialiBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/BraccialiT04,
author = {Andrea Bracciali and
Paolo Torroni},
editor = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Alexandre Leite},
title = {A New Framework for Knowledge Revision of Abductive Agents Through
Their Interaction},
booktitle = {Computational Logic in Multi-Agent Systems, 4th International Workshop,
{CLIMA} IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3259},
pages = {159--177},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30200-1\_9},
doi = {10.1007/978-3-540-30200-1\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clima/BraccialiT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/BraccialiMST04,
author = {Andrea Bracciali and
Paolo Mancarella and
Kostas Stathis and
Francesca Toni},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {On Modelling Multi-agent Systems Declaratively},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {53--68},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_4},
doi = {10.1007/11493402\_4},
timestamp = {Fri, 27 Mar 2020 08:51:13 +0100},
biburl = {https://dblp.org/rec/conf/dalt/BraccialiMST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esaw/BraccialiMST04,
author = {Andrea Bracciali and
Paolo Mancarella and
Kostas Stathis and
Francesca Toni},
editor = {Marie{-}Pierre Gleizes and
Andrea Omicini and
Franco Zambonelli},
title = {Engineering Stable Multi-agent Systems},
booktitle = {Engineering Societies in the Agents World V, 5th InternationalWorkshop,
{ESAW} 2004, Toulouse, France, October 20-22, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3451},
pages = {322--334},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11423355\_23},
doi = {10.1007/11423355\_23},
timestamp = {Mon, 07 Oct 2019 16:15:28 +0200},
biburl = {https://dblp.org/rec/conf/esaw/BraccialiMST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/BaldanBB04,
author = {Paolo Baldan and
Andrea Bracciali and
Roberto Bruni},
editor = {Corrado Priami and
Paola Quaglia},
title = {Symbolic Equivalences for Open Systems},
booktitle = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
Italy, March 9-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3267},
pages = {1--17},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31794-4\_1},
doi = {10.1007/978-3-540-31794-4\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/gc/BaldanBB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/BraccialiDEKLMSSTT04,
author = {Andrea Bracciali and
Neophytos Demetriou and
Ulrich Endriss and
Antonis C. Kakas and
Wenjin Lu and
Paolo Mancarella and
Fariba Sadri and
Kostas Stathis and
Giacomo Terreni and
Francesca Toni},
editor = {Corrado Priami and
Paola Quaglia},
title = {The {KGP} Model of Agency for Global Computing: Computational Model
and Prototype Implementation},
booktitle = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
Italy, March 9-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3267},
pages = {340--367},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31794-4\_18},
doi = {10.1007/978-3-540-31794-4\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gc/BraccialiDEKLMSSTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BraccialiK04,
author = {Andrea Bracciali and
Antonis C. Kakas},
editor = {James P. Delgrande and
Torsten Schaub},
title = {Frame consistency: computing with causal explanations},
booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
Whistler, Canada, June 6-8, 2004, Proceedings},
pages = {79--87},
year = {2004},
url = {http://www.pims.math.ca/science/2004/NMR/papers/paper11.pdf},
timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
biburl = {https://dblp.org/rec/conf/nmr/BraccialiK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaldiBFT05,
author = {Giacomo Baldi and
Andrea Bracciali and
Gian{-}Luigi Ferrari and
Emilio Tuosto},
editor = {Nadia Busi and
Roberto Gorrieri and
Fabio Martinelli},
title = {A Coordination-based Methodology for Security Protocol Verification},
booktitle = {Proceedings of the 2nd International Workshop on Security Issues with
Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna,
Italy, June 26, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {121},
pages = {23--46},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.10.006},
doi = {10.1016/J.ENTCS.2004.10.006},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BaldiBFT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Bracciali03,
author = {Andrea Bracciali},
title = {Behavioural patterns and software composition},
school = {University of Pisa, Italy},
year = {2003},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0028427},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Bracciali03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BaldanBB02,
author = {Paolo Baldan and
Andrea Bracciali and
Roberto Bruni},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Bisimulation by Unification},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {254--270},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_18},
doi = {10.1007/3-540-45719-4\_18},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BaldanBB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cd/BraccialiBC02,
author = {Andrea Bracciali and
Antonio Brogi and
Carlos Canal},
editor = {Judy M. Bishop},
title = {Adapting Components with Mismatching Behaviours},
booktitle = {Component Deployment, {IFIP/ACM} Working Conference, {CD} 2002, Berlin,
Germany, June 20-21, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2370},
pages = {185--199},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45440-3\_13},
doi = {10.1007/3-540-45440-3\_13},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cd/BraccialiBC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BraccialiBC02,
author = {Andrea Bracciali and
Antonio Brogi and
Carlos Canal},
editor = {Farhad Arbab and
Carolyn L. Talcott},
title = {Dynamically Adapting the Behaviour of Software Components},
booktitle = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
2002, YORK, UK, April 8-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2315},
pages = {88--95},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46000-4\_10},
doi = {10.1007/3-540-46000-4\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BraccialiBC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/BraccialiBFT02,
author = {Andrea Bracciali and
Antonio Brogi and
Gian{-}Luigi Ferrari and
Emilio Tuosto},
editor = {Hamid R. Arabnia},
title = {Security and Dynamic Compositions of Open Systems},
booktitle = {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},
pages = {1372--1377},
publisher = {{CSREA} Press},
year = {2002},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/BraccialiBFT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraccialiBC02,
author = {Andrea Bracciali and
Antonio Brogi and
Carlos Canal},
editor = {Antonio Brogi and
Ernesto Pimentel},
title = {Systematic Component Adaptation},
booktitle = {Formal Methods and Component Interaction 2002, {ICALP} 2002 Satellite
Workshop, M{\'{a}}laga, Spain, July 12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {4},
pages = {97--113},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80452-3},
doi = {10.1016/S1571-0661(04)80452-3},
timestamp = {Tue, 06 Dec 2022 10:35:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BraccialiBC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BraccialiBT01,
author = {Andrea Bracciali and
Antonio Brogi and
Franco Turini},
editor = {Gary B. Lamont},
title = {Coordinating interaction patterns},
booktitle = {Proceedings of the 2001 {ACM} Symposium on Applied Computing (SAC),
March 11-14, 2001, Las Vegas, NV, {USA}},
pages = {159--165},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/372202.372305},
doi = {10.1145/372202.372305},
timestamp = {Tue, 06 Nov 2018 11:06:46 +0100},
biburl = {https://dblp.org/rec/conf/sac/BraccialiBT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraccialiBFT01,
author = {Andrea Bracciali and
Antonio Brogi and
Gian{-}Luigi Ferrari and
Emilio Tuosto},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Security Issues in Component-based Design},
booktitle = {International Workshop on Concurrency and Coordination, ConCoord 2001,
associated to the 13th Lipari School, Lipari Island, Italy, July 6-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {54},
pages = {49--57},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00234-8},
doi = {10.1016/S1571-0661(04)00234-8},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BraccialiBFT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BolognesiB99,
author = {Tommaso Bolognesi and
Andrea Bracciali},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {Formal specification of discrete systems by active predicates and
dynamic constraints (Short Paper)},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
Third International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
timestamp = {Fri, 08 Apr 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/BolognesiB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-01-20 22:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
