BRYT: Automated keyword extraction for open datasets
Ahmed, Umair, Alexopoulos, Charalampos, Piangerelli, Marco, Polini, Andrea
Published in Intelligent systems with applications (01.09.2024)
Published in Intelligent systems with applications (01.09.2024)
Get full text
Journal Article
Model-driven engineering for multi-party business processes on multiple blockchains
Corradini, Flavio, Marcelletti, Alessandro, Morichetta, Andrea, Polini, Andrea, Re, Barbara, Scala, Emanuele, Tiezzi, Francesco
Published in Blockchain. Research and applications Online (01.09.2021)
Published in Blockchain. Research and applications Online (01.09.2021)
Get full text
Journal Article
Towards value-creating and sustainable open data ecosystems: A comparative case study and a research agenda
Van Loenen, Bastiaan, Zuiderwijk, Anneke, Vancauwenberghe, Glenn, Lopez-Pellicer, Francisco J., Mulder, Ingrid, Alexopoulos, Charalampos, Magnussen, Rikke, Saddiqa, Mubashrah, Dulong de Rosnay, Melanie, Crompvoets, Joep, Polini, Andrea, Re, Barbara, Casiano Flores, Cesar
Published in EJournal of eDemocracy and open government (22.12.2021)
Published in EJournal of eDemocracy and open government (22.12.2021)
Get full text
Journal Article
Collaboration vs. choreography conformance in BPMN
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Published in Logical methods in computer science (01.01.2020)
Published in Logical methods in computer science (01.01.2020)
Get full text
Journal Article
Electronic Government: 18th IFIP WG 8.5 International Conference, EGOV 2019, San Benedetto Del Tronto, Italy, September 2-4, 2019, Proceedings
Lindgren, Ida, Janssen, Marijn, Lee, Habin, Polini, Andrea, Rodríguez Bolívar, Manuel, Scholl, Hans Jochen, Tambouris, Efthimios
Year of Publication 2019
Year of Publication 2019
Get full text
eBook
Conference Proceeding
Book
SuMo: A mutation testing approach and tool for the Ethereum blockchain
Barboni, Morena, Morichetta, Andrea, Polini, Andrea
Published in The Journal of systems and software (01.11.2022)
Published in The Journal of systems and software (01.11.2022)
Get full text
Journal Article
A formal approach to modeling and verification of business process collaborations
Corradini, Flavio, Fornari, Fabrizio, Polini, Andrea, Re, Barbara, Tiezzi, Francesco
Published in Science of computer programming (15.11.2018)
Published in Science of computer programming (15.11.2018)
Get full text
Journal Article
A formal approach for the analysis of BPMN collaboration models
Corradini, Flavio, Fornari, Fabrizio, Polini, Andrea, Re, Barbara, Tiezzi, Francesco, Vandin, Andrea
Published in The Journal of systems and software (01.10.2021)
Published in The Journal of systems and software (01.10.2021)
Get full text
Journal Article
ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts
Barboni, Morena, Morichetta, Andrea, Polini, Andrea, Casoni, Francesco
Published in Software quality journal (01.03.2024)
Published in Software quality journal (01.03.2024)
Get full text
Journal Article
Consistent modelling of hierarchical BPMN collaborations
Corradini, Flavio, Polini, Andrea, Re, Barbara, Rossi, Lorenzo, Tiezzi, Francesco
Published in Business process management journal (31.03.2022)
Published in Business process management journal (31.03.2022)
Get full text
Journal Article
A Guidelines framework for understandable BPMN models
Corradini, Flavio, Ferrari, Alessio, Fornari, Fabrizio, Gnesi, Stefania, Polini, Andrea, Re, Barbara, Spagnolo, Giorgio O.
Published in Data & knowledge engineering (01.01.2018)
Published in Data & knowledge engineering (01.01.2018)
Get full text
Journal Article
Correctness checking for BPMN collaborations with sub-processes
Corradini, Flavio, Morichetta, Andrea, Polini, Andrea, Re, Barbara, Rossi, Lorenzo, Tiezzi, Francesco
Published in The Journal of systems and software (01.08.2020)
Published in The Journal of systems and software (01.08.2020)
Get full text
Journal Article