Andrea Bracciali
Orcid: 0000-0003-1451-9260Affiliations:
- University of Pisa, Italy
According to our database1,
Andrea Bracciali
authored at least 65 papers
between 1999 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on di.unipi.it
On csauthors.net:
Bibliography
2023
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
2021
Special Issue of Concurrency and Computation: Practice and experience "FPDAPP, Future Perspectives on Decentralized Applications".
Concurr. Comput. Pract. Exp., 2021
Proceedings of the Financial Cryptography and Data Security, 2021
2020
Programming languages for data-Intensive HPC applications: A systematic mapping study.
Parallel Comput., 2020
Inf. Sci., 2020
Appl. Soft Comput., 2020
Proceedings of the 2nd International Conference on Blockchain Economics, 2020
2019
Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-Oriented Survey of the State-of-the-Art in the Cloud Era.
Proceedings of the High-Performance Modelling and Simulation for Big Data Applications, 2019
Proceedings of the High-Performance Modelling and Simulation for Big Data Applications, 2019
Citizens Vote to Act: smart contracts for the management of water resources in smart cities.
Proceedings of the First International Conference on Societal Automation, 2019
Proceedings of the Euro-Par 2019: Parallel Processing Workshops, 2019
2018
Proceedings of the 2018 International Workshop on Blockchain Oriented Software Engineering, 2018
Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2018
2017
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.
Data Sci. Eng., 2017
Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers, 2017
Proceedings of the Internet Science, 2017
2016
BMC Bioinform., 2016
2015
Proceedings of the History and Philosophy of Computing - Third International Conference, 2015
Proceedings of the Programming Languages with Applications to Biology and Security, 2015
2014
Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2014
2013
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013
2012
Proceedings of the Handbook of Natural Computing, 2012
Formal Aspects Comput., 2012
2011
Proceedings of the Fundamental Approaches to Software Engineering, 2011
2010
Swarm Intell., 2010
Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy.
BMC Bioinform., 2010
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010
Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010
Proceedings of the Euro-Par 2010 Parallel Processing Workshops, 2010
2009
Proceedings of the Algorithmic Bioprocesses, 2009
2008
Int. J. Inf. Sec., 2008
Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008
Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008
BMC Bioinform., 2008
Proceedings of the 1st International ICST Conference on Forensic Applications and Techniques in Telecommunications, 2008
2007
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007
Proceedings of the Algebraic Biology, Second International Conference, 2007
2006
2005
J. Log. Algebraic Methods Program., 2005
2004
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.
Proceedings of the Global Computing, IST/FET International Workshop, 2004
Proceedings of the Global Computing, IST/FET International Workshop, 2004
Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004
Proceedings of the Declarative Agent Languages and Technologies II, 2004
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction.
Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004
2003
2002
Proceedings of the Formal Methods and Component Interaction 2002, 2002
Security and Dynamic Compositions of Open Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002
Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2001
Proceedings of the International Workshop on Concurrency and Coordination, 2001
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001
1999
Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper).
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999