Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Barbara Re 0001
@article{DBLP:journals/bise/CompagnucciCFR24, author = {Ivan Compagnucci and Flavio Corradini and Fabrizio Fornari and Barbara Re}, title = {A Study on the Usage of the {BPMN} Notation for Designing Process Collaboration, Choreography, and Conversation Models}, journal = {Bus. Inf. Syst. Eng.}, volume = {66}, number = {1}, pages = {43--66}, year = {2024}, url = {https://doi.org/10.1007/s12599-023-00818-7}, doi = {10.1007/S12599-023-00818-7}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/bise/CompagnucciCFR24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bdcc/CorradiniPRRT23, author = {Flavio Corradini and Sara Pettinari and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, title = {Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems}, journal = {Big Data Cogn. Comput.}, volume = {7}, number = {3}, pages = {139}, year = {2023}, url = {https://doi.org/10.3390/bdcc7030139}, doi = {10.3390/BDCC7030139}, timestamp = {Sat, 13 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/bdcc/CorradiniPRRT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computing/CorradiniFFPRR23, author = {Flavio Corradini and Arianna Fedeli and Fabrizio Fornari and Andrea Polini and Barbara Re and Luca Ruschioni}, title = {X-IoT: a model-driven approach to support IoT application portability across IoT platforms}, journal = {Computing}, volume = {105}, number = {9}, pages = {1981--2005}, year = {2023}, url = {https://doi.org/10.1007/s00607-023-01155-z}, doi = {10.1007/S00607-023-01155-Z}, timestamp = {Thu, 14 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computing/CorradiniFFPRR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fgcs/CorradiniM0P0023, author = {Flavio Corradini and Alessandro Marcelletti and Andrea Morichetta and Andrea Polini and Barbara Re and Francesco Tiezzi}, title = {A Flexible Approach to Multi-party Business Process Execution on Blockchain}, journal = {Future Gener. Comput. Syst.}, volume = {147}, pages = {219--234}, year = {2023}, url = {https://doi.org/10.1016/j.future.2023.05.006}, doi = {10.1016/J.FUTURE.2023.05.006}, timestamp = {Wed, 01 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fgcs/CorradiniM0P0023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ras/CorradiniPRRT23, author = {Flavio Corradini and Sara Pettinari and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, title = {A BPMN-driven framework for Multi-Robot System development}, journal = {Robotics Auton. Syst.}, volume = {160}, pages = {104322}, year = {2023}, url = {https://doi.org/10.1016/j.robot.2022.104322}, doi = {10.1016/J.ROBOT.2022.104322}, timestamp = {Fri, 21 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ras/CorradiniPRRT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/CorradiniFFPR23, author = {Flavio Corradini and Arianna Fedeli and Fabrizio Fornari and Andrea Polini and Barbara Re}, title = {FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development}, journal = {Softw. Syst. Model.}, volume = {22}, number = {1}, pages = {131--158}, year = {2023}, url = {https://doi.org/10.1007/s10270-022-01026-9}, doi = {10.1007/S10270-022-01026-9}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/CorradiniFFPR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/CompagnucciC0P023, author = {Ivan Compagnucci and Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi}, title = {A systematic literature review on IoT-aware business process modeling views, requirements and notations}, journal = {Softw. Syst. Model.}, volume = {22}, number = {3}, pages = {969--1004}, year = {2023}, url = {https://doi.org/10.1007/s10270-022-01049-2}, doi = {10.1007/S10270-022-01049-2}, timestamp = {Thu, 15 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/CompagnucciC0P023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/CompagnucciC0023, author = {Ivan Compagnucci and Flavio Corradini and Fabrizio Fornari and Barbara Re}, editor = {Dirk Fahland and Andr{\'{e}}s Jim{\'{e}}nez{-}Ram{\'{\i}}rez and Akhil Kumar and Jan Mendling and Brian T. Pentland and Stefanie Rinderle{-}Ma and Tijs Slaats and Johan Versendaal and Barbara Weber and Mathias Weske and Karolin Winter}, title = {{BPMN} Inspector: {A} Tool for Extracting Features from {BPMN} Models}, booktitle = {Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration {\&} Resources Forum at {BPM} 2023 co-located with 21st International Conference on Business Process Management {(BPM} 2023), Utrecht, The Netherlands, September 11th to 15th, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3469}, pages = {122--126}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3469/paper-22.pdf}, timestamp = {Wed, 06 Sep 2023 08:40:08 +0200}, biburl = {https://dblp.org/rec/conf/bpm/CompagnucciC0023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/DonatoC00R23, author = {Massimo Callisto De Donato and Flavio Corradini and Fabrizio Fornari and Barbara Re and Matteo Romagnoli}, editor = {Tiago Prince Sales and Sybren de Kinderen and Henderik A. Proper and Luise Pufahl and Dimka Karastoyanova and Marten van Sinderen}, title = {Design and Development of a Digital Twin Prototype for the {SAFE} Project}, booktitle = {Enterprise Design, Operations, and Computing. {EDOC} 2023 Workshops - IDAMS, iRESEARCH, MIDas4CS, SoEA4EE, {EDOC} Forum, Demonstrations Track and Doctoral Consortium, Groningen, The Netherlands, October 30 - November 3, 2023, Revised Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {498}, pages = {107--122}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-54712-6\_7}, doi = {10.1007/978-3-031-54712-6\_7}, timestamp = {Mon, 15 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edoc/DonatoC00R23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/CorradiniPRRT23, author = {Flavio Corradini and Sara Pettinari and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, editor = {Henderik A. Proper and Luise Pufahl and Dimka Karastoyanova and Marten van Sinderen and Jo{\~{a}}o L. R. Moreira}, title = {A Methodology for the Analysis of Robotic Systems via Process Mining}, booktitle = {Enterprise Design, Operations, and Computing - 27th International Conference, {EDOC} 2023, Groningen, The Netherlands, October 30 - November 3, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14367}, pages = {117--133}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-46587-1\_7}, doi = {10.1007/978-3-031-46587-1\_7}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edoc/CorradiniPRRT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/DonatoC00R23a, author = {Massimo Callisto De Donato and Flavio Corradini and Fabrizio Fornari and Barbara Re and Matteo Romagnoli}, editor = {Tiago Prince Sales and Sybren de Kinderen and Henderik A. Proper and Luise Pufahl and Dimka Karastoyanova and Marten van Sinderen}, title = {Enabling 3D Simulation in ThingsBoard: {A} First Step Towards {A} Digital Twin Platform}, booktitle = {Enterprise Design, Operations, and Computing. {EDOC} 2023 Workshops - IDAMS, iRESEARCH, MIDas4CS, SoEA4EE, {EDOC} Forum, Demonstrations Track and Doctoral Consortium, Groningen, The Netherlands, October 30 - November 3, 2023, Revised Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {498}, pages = {325--330}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-54712-6\_20}, doi = {10.1007/978-3-031-54712-6\_20}, timestamp = {Thu, 28 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/DonatoC00R23a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/er/CorradiniP0R023, author = {Flavio Corradini and Sara Pettinari and Barbara Re and Luca Ruschioni and Francesco Tiezzi}, editor = {Claudenir M. Fonseca and Jos{\'{e}} Borbinha and Giancarlo Guizzardi and David Aveiro and Sotirios Liaskos and C. Maria Keet and Estefan{\'{\i}}a Serral and Fernanda Bai{\~{a}}o and Jo{\~{a}}o Ara{\'{u}}jo and Tiago Prince Sales and Miguel Mira da Silva and Sergio de Cesare and H. Sofia Pinto and Ladjel Bellatreche and Simon Hacks}, title = {Enhancing compatibility in QoS communication for the Internet of Robotic Things}, booktitle = {Companion Proceedings of the 42nd International Conference on Conceptual Modeling: {ER} Forum, 7th SCME, Project Exhibitions, Posters and Demos, and Doctoral Consortium co-located with {ER} 2023, Lisbon, Portugal, November 06-09, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3618}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3618/forum\_paper\_17.pdf}, timestamp = {Thu, 18 Jan 2024 15:46:24 +0100}, biburl = {https://dblp.org/rec/conf/er/CorradiniP0R023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/bir/2023w, editor = {Andrea Morichetta and Robert Andrei Buchmann and Kurt Sandkuhl and Ulf Seigerroth and Marite Kirikova and Charles M{\o}ller and Anne Gutschmidt and Ana{-}Maria Ghiran and Alessandro Marcelletti and Barbara Re and Bj{\"{o}}rn Johansson}, title = {Joint Proceedings of the {BIR} 2023 Workshops and Doctoral Consortium co-located with 22nd International Conference on Perspectives in Business Informatics Research {(BIR} 2023), Ascoli Piceno, Italy, September 13-15, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3514}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3514}, urn = {urn:nbn:de:0074-3514-0}, timestamp = {Fri, 17 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bir/2023w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bpmj/CorradiniPRRT22, author = {Flavio Corradini and Andrea Polini and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, title = {Consistent modelling of hierarchical {BPMN} collaborations}, journal = {Bus. Process. Manag. J.}, volume = {28}, number = {2}, pages = {442--460}, year = {2022}, url = {https://doi.org/10.1108/BPMJ-07-2021-0485}, doi = {10.1108/BPMJ-07-2021-0485}, timestamp = {Thu, 02 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bpmj/CorradiniPRRT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/is/CorradiniMRRT22, author = {Flavio Corradini and Chiara Muzi and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, title = {Formalising and animating multiple instances in {BPMN} collaborations}, journal = {Inf. Syst.}, volume = {103}, pages = {101459}, year = {2022}, url = {https://doi.org/10.1016/j.is.2019.101459}, doi = {10.1016/J.IS.2019.101459}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/is/CorradiniMRRT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/is/CorradiniMRRT22a, author = {Flavio Corradini and Chiara Muzi and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, title = {{BPMN} 2.0 OR-Join Semantics: Global and local characterisation}, journal = {Inf. Syst.}, volume = {105}, pages = {101934}, year = {2022}, url = {https://doi.org/10.1016/j.is.2021.101934}, doi = {10.1016/J.IS.2021.101934}, timestamp = {Fri, 21 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/is/CorradiniMRRT22a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tmis/CorradiniMMPRT22, author = {Flavio Corradini and Alessandro Marcelletti and Andrea Morichetta and Andrea Polini and Barbara Re and Francesco Tiezzi}, title = {Engineering Trustable and Auditable Choreography-based Systems Using Blockchain}, journal = {{ACM} Trans. Manag. Inf. Syst.}, volume = {13}, number = {3}, pages = {31:1--31:53}, year = {2022}, url = {https://doi.org/10.1145/3505225}, doi = {10.1145/3505225}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tmis/CorradiniMMPRT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/AntinoriCC00S22, author = {Alessandro Antinori and Riccardo Coltrinari and Flavio Corradini and Fabrizio Fornari and Barbara Re and Marco Scarpetta}, editor = {Christian Janiesch and Chiara Di Francescomarino and Thomas Grisold and Akhil Kumar and Jan Mendling and Brian T. Pentland and Hajo A. Reijers and Mathias Weske and Robert Winter}, title = {BPMN-Redrawer: From Images to {BPMN} Models}, booktitle = {Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration {\&} Resources Track at {BPM} 2022 co-located with 20th International Conference on Business Process Management {(BPM} 2022), M{\"{u}}nster, Germany, September 11th to 16th, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3216}, pages = {107--111}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3216/paper\_246.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:55 +0100}, biburl = {https://dblp.org/rec/conf/bpm/AntinoriCC00S22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/CorradiniM0P0022, author = {Flavio Corradini and Alessandro Marcelletti and Andrea Morichetta and Andrea Polini and Barbara Re and Francesco Tiezzi}, editor = {Christian Janiesch and Chiara Di Francescomarino and Thomas Grisold and Akhil Kumar and Jan Mendling and Brian T. Pentland and Hajo A. Reijers and Mathias Weske and Robert Winter}, title = {ChorChain: {A} Blockchain-Based Framework for Executing and Auditing {BPMN} Choreographies}, booktitle = {Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration {\&} Resources Track at {BPM} 2022 co-located with 20th International Conference on Business Process Management {(BPM} 2022), M{\"{u}}nster, Germany, September 11th to 16th, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3216}, pages = {132--136}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3216/paper\_254.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bpm/CorradiniM0P0022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/BurattinRRT22, author = {Andrea Burattin and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, editor = {Claudio Di Ciccio and Remco M. Dijkman and Adela del{-}R{\'{\i}}o{-}Ortega and Stefanie Rinderle{-}Ma}, title = {A Purpose-Guided Log Generation Framework}, booktitle = {Business Process Management - 20th International Conference, {BPM} 2022, M{\"{u}}nster, Germany, September 11-16, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13420}, pages = {181--198}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-16103-2\_14}, doi = {10.1007/978-3-031-16103-2\_14}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bpm/BurattinRRT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpmds/Corradini00022, author = {Flavio Corradini and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, editor = {Adriano Augusto and Asif Gill and Dominik Bork and Selmin Nurcan and Iris Reinhartz{-}Berger and Rainer Schmidt}, title = {A Technique for Collaboration Discovery}, booktitle = {Enterprise, Business-Process and Information Systems Modeling - 23rd International Conference, {BPMDS} 2022 and 27th International Conference, {EMMSAD} 2022, Held at CAiSE 2022, Leuven, Belgium, June 6-7, 2022, Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {450}, pages = {63--78}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-07475-2\_5}, doi = {10.1007/978-3-031-07475-2\_5}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bpmds/Corradini00022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dasc/CorradiniFPR22, author = {Flavio Corradini and Arianna Fedeli and Andrea Polini and Barbara Re}, title = {Towards a Digital Twin Modelling Notation}, booktitle = {{IEEE} Intl. Conf. on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, Falerna, Italy, September 12-15, 2022}, pages = {1--6}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927827}, doi = {10.1109/DASC/PICOM/CBDCOM/CY55231.2022.9927827}, timestamp = {Mon, 02 Jan 2023 14:34:28 +0100}, biburl = {https://dblp.org/rec/conf/dasc/CorradiniFPR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dasc/CorradiniPRRT22, author = {Flavio Corradini and Sara Pettinari and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, title = {An Approach to Support Digital Process Twin}, booktitle = {{IEEE} Intl. Conf. on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, Falerna, Italy, September 12-15, 2022}, pages = {1--4}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927841}, doi = {10.1109/DASC/PICOM/CBDCOM/CY55231.2022.9927841}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dasc/CorradiniPRRT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/CorradiniF0P022, author = {Flavio Corradini and Arianna Fedeli and Fabrizio Fornari and Andrea Polini and Barbara Re}, editor = {Tiago Prince Sales and Henderik A. Proper and Giancarlo Guizzardi and Marco Montali and Fabrizio Maria Maggi and Claudenir M. Fonseca}, title = {{DTMN} a Modelling Notation for Digital Twins}, booktitle = {Enterprise Design, Operations, and Computing. {EDOC} 2022 Workshops - IDAMS, SoEA4EE, TEAR, {EDOC} Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {466}, pages = {63--78}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-26886-1\_4}, doi = {10.1007/978-3-031-26886-1\_4}, timestamp = {Sat, 11 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/CorradiniF0P022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpm/Burattin00022, author = {Andrea Burattin and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, editor = {Marwan Hassani and Agnes Koschmider and Marco Comuzzi and Fabrizio Maria Maggi and Luise Pufahl}, title = {{PURPLE:} a PURPose-guided Log GEnerator (Extended Abstract)}, booktitle = {Proceedings of the {ICPM} Doctoral Consortium and Demo Track 2022 co-located with 4th International Conference on Process Mining {(ICPM} 2022), Bolzano, Italy, October, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3299}, pages = {90--94}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3299/Paper19.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:44 +0100}, biburl = {https://dblp.org/rec/conf/icpm/Burattin00022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/percom/CorradiniMMPRT22, author = {Flavio Corradini and Alessandro Marcelletti and Andrea Morichetta and Andrea Polini and Barbara Re and Francesco Tiezzi}, title = {A Choreography-Driven Approach for Blockchain-Based IoT Applications}, booktitle = {2022 {IEEE} International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom 2022 Workshops, Pisa, Italy, March 21-25, 2022}, pages = {255--260}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/PerComWorkshops53856.2022.9767513}, doi = {10.1109/PERCOMWORKSHOPS53856.2022.9767513}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/percom/CorradiniMMPRT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/CorradiniF0P022, author = {Flavio Corradini and Arianna Fedeli and Fabrizio Fornari and Andrea Polini and Barbara Re}, editor = {Jiman Hong and Miroslav Bures and Juw Won Park and Tom{\'{a}}s Cern{\'{y}}}, title = {X-IoT: a model-driven approach for cross-platform IoT applications development}, booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022}, pages = {1448--1451}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3477314.3507164}, doi = {10.1145/3477314.3507164}, timestamp = {Wed, 11 May 2022 08:59:01 +0200}, biburl = {https://dblp.org/rec/conf/sac/CorradiniF0P022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wetseb-ws/CorradiniM0P0022, author = {Flavio Corradini and Alessandro Marcelletti and Andrea Morichetta and Andrea Polini and Barbara Re and Francesco Tiezzi}, title = {Flexible execution of multi-party business processes on blockchain}, booktitle = {Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB@ICSE 2022, Pittsburgh, Pennsylvania, 19 May 2022}, pages = {25--32}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3528226.3528369}, doi = {10.1145/3528226.3528369}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wetseb-ws/CorradiniM0P0022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/CorradiniMMRT21, author = {Flavio Corradini and Andrea Morichetta and Chiara Muzi and Barbara Re and Francesco Tiezzi}, title = {Well-structuredness, safeness and soundness: {A} formal classification of {BPMN} collaborations}, journal = {J. Log. Algebraic Methods Program.}, volume = {119}, pages = {100630}, year = {2021}, url = {https://doi.org/10.1016/j.jlamp.2020.100630}, doi = {10.1016/J.JLAMP.2020.100630}, timestamp = {Thu, 20 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/CorradiniMMRT21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/CorradiniFPRTV21, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, title = {A formal approach for the analysis of {BPMN} collaboration models}, journal = {J. Syst. Softw.}, volume = {180}, pages = {111007}, year = {2021}, url = {https://doi.org/10.1016/j.jss.2021.111007}, doi = {10.1016/J.JSS.2021.111007}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/CorradiniFPRTV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bir/CompagnucciC0021, author = {Ivan Compagnucci and Flavio Corradini and Fabrizio Fornari and Barbara Re}, editor = {Robert Andrei Buchmann and Andrea Polini and Bj{\"{o}}rn Johansson and Dimitris Karagiannis}, title = {Trends on the Usage of {BPMN} 2.0 from Publicly Available Repositories}, booktitle = {Perspectives in Business Informatics Research - 20th International Conference on Business Informatics Research, {BIR} 2021, Vienna, Austria, September 22-24, 2021, Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {430}, pages = {84--99}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-87205-2\_6}, doi = {10.1007/978-3-030-87205-2\_6}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bir/CompagnucciC0021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/Corradini0P0021, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi}, editor = {Andrea Marrella and Daniele Theseider Dupr{\'{e}}}, title = {RePROSitory: a Repository platform for sharing business PROcess models and logS}, booktitle = {Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management {(BPM} 2021), Rome, Italy, September 10th, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2952}, pages = {13--18}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2952/paper\_292a.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:55 +0100}, biburl = {https://dblp.org/rec/conf/bpm/Corradini0P0021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/CorradiniM0P0021, author = {Flavio Corradini and Alessandro Marcelletti and Andrea Morichetta and Andrea Polini and Barbara Re and Francesco Tiezzi}, editor = {Andrea Marrella and Daniele Theseider Dupr{\'{e}}}, title = {ChorChain: {A} model-driven framework for choreography-based systems using blockchain}, booktitle = {Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management {(BPM} 2021), Rome, Italy, September 10th, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2952}, pages = {26--32}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2952/paper\_294a.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bpm/CorradiniM0P0021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/CorradiniFFP021, author = {Flavio Corradini and Arianna Fedeli and Fabrizio Fornari and Andrea Polini and Barbara Re}, editor = {Adriano Augusto and Asif Gill and Selmin Nurcan and Iris Reinhartz{-}Berger and Rainer Schmidt and Jelena Zdravkovic}, title = {FloWare: An Approach for IoT Support and Application Development}, booktitle = {Enterprise, Business-Process and Information Systems Modeling - 22nd International Conference, {BPMDS} 2021, and 26th International Conference, {EMMSAD} 2021, Held at CAiSE 2021, Melbourne, VIC, Australia, June 28-29, 2021, Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {421}, pages = {350--365}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-79186-5\_23}, doi = {10.1007/978-3-030-79186-5\_23}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/caise/CorradiniFFP021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip8-1/BurrCP00021, author = {Khalid Bourr and Flavio Corradini and Sara Pettinari and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, editor = {Balbir Barn and Kurt Sandkuhl and Estefan{\'{\i}}a Serral Asensio and Janis Stirna}, title = {Disciplined use of {BPMN} for mission modeling of Multi-Robot Systems}, booktitle = {Proceedings of the Forum at Practice of Enterprise Modeling 2021 (PoEM-Forum 2021) (PoEM 2021), Riga, Latvia, November 24-26, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {3045}, pages = {1--10}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-3045/paper01.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:10 +0100}, biburl = {https://dblp.org/rec/conf/ifip8-1/BurrCP00021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/bir/2021w, editor = {Peter Forbrig and Knut Hinkelmann and Marite Kirikova and Birger Lantow and Charles M{\o}ller and Andrea Morichetta and Pierluigi Plebani and Barbara Re and Kurt Sandkuhl and Ulf Seigerroth}, title = {Joint Proceedings of the {BIR} 2021 Workshops and Doctoral Consortium co-located with 20th International Conference on Perspectives in Business Informatics Research {(BIR} 2021), Vienna, Austria, September 22-24, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2991}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2991}, urn = {urn:nbn:de:0074-2991-7}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bir/2021w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eg/BertolinoAPRS20, author = {Antonia Bertolino and Guglielmo De Angelis and Andrea Polini and Barbara Re and Andrea Sergiacomi}, title = {Process-oriented knowledge management and learning in public administrations}, journal = {Electron. Gov. an Int. J.}, volume = {16}, number = {4}, pages = {441--465}, year = {2020}, url = {https://doi.org/10.1504/EG.2020.110615}, doi = {10.1504/EG.2020.110615}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eg/BertolinoAPRS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/CorradiniMPRRT20, author = {Flavio Corradini and Andrea Morichetta and Andrea Polini and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, title = {Correctness checking for {BPMN} collaborations with sub-processes}, journal = {J. Syst. Softw.}, volume = {166}, pages = {110594}, year = {2020}, url = {https://doi.org/10.1016/j.jss.2020.110594}, doi = {10.1016/J.JSS.2020.110594}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jss/CorradiniMPRRT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/CorradiniMPRT20, author = {Flavio Corradini and Andrea Morichetta and Andrea Polini and Barbara Re and Francesco Tiezzi}, title = {Collaboration vs. choreography conformance in {BPMN}}, journal = {Log. Methods Comput. Sci.}, volume = {16}, number = {4}, year = {2020}, url = {https://lmcs.episciences.org/6861}, timestamp = {Thu, 20 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/CorradiniMPRT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/CompagnucciCFP020, author = {Ivan Compagnucci and Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi}, editor = {Adela del{-}R{\'{\i}}o{-}Ortega and Henrik Leopold and Fl{\'{a}}via Maria Santoro}, title = {Modelling Notations for IoT-Aware Business Processes: {A} Systematic Literature Review}, booktitle = {Business Process Management Workshops - {BPM} 2020 International Workshops, Seville, Spain, September 13-18, 2020, Revised Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {397}, pages = {108--121}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-66498-5\_9}, doi = {10.1007/978-3-030-66498-5\_9}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/CompagnucciCFP020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/BellucciniNDP0T20, author = {Sara Belluccini and Rocco De Nicola and Marlon Dumas and Pille Pullonen and Barbara Re and Francesco Tiezzi}, editor = {Kyungmin Bae and Domenico Bianculli and Stefania Gnesi and Nico Plat}, title = {Verification of Privacy-Enhanced Collaborations}, booktitle = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020}, pages = {141--152}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3372020.3391553}, doi = {10.1145/3372020.3391553}, timestamp = {Thu, 27 Jul 2023 16:07:53 +0200}, biburl = {https://dblp.org/rec/conf/icse/BellucciniNDP0T20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip8-1/Marcelletti020, author = {Alessandro Marcelletti and Barbara Re}, editor = {Petra Maria Asprion and Signe Balina and Peter Forbrig and Janis Kampars and Marite Kirikova and Charles M{\o}ller and Andrea Morichetta and Ben Roelens and Kurt Sandkuhl}, title = {FabNet: an Automatic Hyperledger Fabric Network Wizard (short paper)}, booktitle = {Proceedings of the workshops co-organized with the 13th {IFIP} {WG} 8.1 working conference on the Practice of Enterprise Modelling (PoEM 2020), On-line (originally located in Riga, Latvia), November 26, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2749}, pages = {59--67}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2749/short1.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:10 +0100}, biburl = {https://dblp.org/rec/conf/ifip8-1/Marcelletti020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/BellucciniN0T20, author = {Sara Belluccini and Rocco De Nicola and Barbara Re and Francesco Tiezzi}, editor = {Brijesh Dongol and Elena Troubitsyna}, title = {{PALM:} {A} Technique for Process ALgebraic Specification Mining}, booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12546}, pages = {397--418}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-63461-2\_22}, doi = {10.1007/978-3-030-63461-2\_22}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifm/BellucciniN0T20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/CorradiniMMPRT20, author = {Fl{\'{a}}vio Corradini and Alessandro Marcelletti and Andrea Morichetta and Andrea Polini and Barbara Re and Francesco Tiezzi}, editor = {Chih{-}Cheng Hung and Tom{\'{a}}s Cern{\'{y}} and Dongwan Shin and Alessio Bechini}, title = {Engineering trustable choreography-based systems using blockchain}, booktitle = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020}, pages = {1470--1479}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3341105.3373988}, doi = {10.1145/3341105.3373988}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/CorradiniMMPRT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-04396, author = {Flavio Corradini and Andrea Morichetta and Andrea Polini and Barbara Re and Francesco Tiezzi}, title = {Collaboration vs. choreography conformance in {BPMN}}, journal = {CoRR}, volume = {abs/2002.04396}, year = {2020}, url = {https://arxiv.org/abs/2002.04396}, eprinttype = {arXiv}, eprint = {2002.04396}, timestamp = {Thu, 20 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-04396.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/0001CFFP0RSVZ19, author = {Stefano Mariani and Roberto Casadei and Fabrizio Fornari and Giancarlo Fortino and Danilo Pianini and Barbara Re and Wilma Russo and Claudio Savaglio and Mirko Viroli and Franco Zambonelli}, editor = {Claudio Savaglio and Giancarlo Fortino and Giovanni Ciatto and Andrea Omicini}, title = {Case Studies for a New IoT Programming Paradigm: Fluidware}, booktitle = {Proceedings of the 1st Workshop on Artificial Intelligence and Internet of Things co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), Rende (CS), Italy, November 22, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2502}, pages = {82--96}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2502/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:00 +0100}, biburl = {https://dblp.org/rec/conf/aiia/0001CFFP0RSVZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Corradini00T19, author = {Flavio Corradini and Andrea Morichetta and Barbara Re and Francesco Tiezzi}, editor = {M{\'{a}}rio S. Alvim and Kostas Chatzikokolakis and Carlos Olarte and Frank Valencia}, title = {Walking Through the Semantics of Exclusive and Event-Based Gateways in {BPMN} Choreographies}, booktitle = {The Art of Modelling Computational Systems: {A} Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11760}, pages = {163--181}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31175-9\_10}, doi = {10.1007/978-3-030-31175-9\_10}, timestamp = {Sat, 09 Apr 2022 12:46:09 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Corradini00T19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Fortino0VZ19, author = {Giancarlo Fortino and Barbara Re and Mirko Viroli and Franco Zambonelli}, editor = {Michele Boreale and Flavio Corradini and Michele Loreti and Rosario Pugliese}, title = {Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT}, booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11665}, pages = {411--427}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-21485-2\_22}, doi = {10.1007/978-3-030-21485-2\_22}, timestamp = {Thu, 04 Jul 2019 14:12:17 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Fortino0VZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/CorradiniM0P0S19, author = {Flavio Corradini and Fausto Marcantoni and Andrea Morichetta and Andrea Polini and Barbara Re and Massimiliano Sampaolo}, editor = {Maurice H. ter Beek and Alessandro Fantechi and Laura Semini}, title = {Enabling Auditing of Smart Contracts Through Process Mining}, booktitle = {From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11865}, pages = {467--480}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30985-5\_27}, doi = {10.1007/978-3-030-30985-5\_27}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/CorradiniM0P0S19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/CorradiniFP0T19, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi}, editor = {Beno{\^{\i}}t Depaire and Johannes De Smedt and Marlon Dumas and Dirk Fahland and Akhil Kumar and Henrik Leopold and Manfred Reichert and Stefanie Rinderle{-}Ma and Stefan Schulte and Stefan Seidel and Wil M. P. van der Aalst}, title = {RePROSitory: a Repository Platform for Sharing Business PROcess modelS}, booktitle = {Proceedings of the Dissertation Award, Doctoral Consortium, and Demonstration Track at {BPM} 2019 co-located with 17th International Conference on Business Process Management, {BPM} 2019, Vienna, Austria, September 1-6, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2420}, pages = {149--153}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2420/paperDT7.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:55 +0100}, biburl = {https://dblp.org/rec/conf/bpm/CorradiniFP0T19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/AbdulC00T19, author = {Basit Mubeen Abdul and Flavio Corradini and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, editor = {Cinzia Cappiello and Marcela Ruiz}, title = {{UBBA:} Unity Based {BPMN} Animator}, booktitle = {Information Systems Engineering in Responsible Information Systems - CAiSE Forum 2019, Rome, Italy, June 3-7, 2019, Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {350}, pages = {1--9}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-21297-1\_1}, doi = {10.1007/978-3-030-21297-1\_1}, timestamp = {Thu, 20 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/caise/AbdulC00T19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/percom/ZambonelliVFR19, author = {Franco Zambonelli and Mirko Viroli and Giancarlo Fortino and Barbara Re}, title = {Towards Adaptive Flow Programming for the IoT: The Fluidware Approach}, booktitle = {{IEEE} International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019, Kyoto, Japan, March 11-15, 2019}, pages = {549--554}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/PERCOMW.2019.8730736}, doi = {10.1109/PERCOMW.2019.8730736}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/percom/ZambonelliVFR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/epart/2019, editor = {Panos Panagiotopoulos and Noella Edelmann and Olivier Glassey and Gianluca Misuraca and Peter Parycek and Thomas J. Lampoltshammer and Barbara Re}, title = {Electronic Participation - 11th {IFIP} {WG} 8.5 International Conference, ePart 2019, San Benedetto Del Tronto, Italy, September 2-4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11686}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-27397-2}, doi = {10.1007/978-3-030-27397-2}, isbn = {978-3-030-27396-5}, timestamp = {Thu, 05 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epart/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dke/CorradiniFFGPRS18, author = {Flavio Corradini and Alessio Ferrari and Fabrizio Fornari and Stefania Gnesi and Andrea Polini and Barbara Re and Giorgio Oronzo Spagnolo}, title = {A Guidelines framework for understandable {BPMN} models}, journal = {Data Knowl. Eng.}, volume = {113}, pages = {129--154}, year = {2018}, url = {https://doi.org/10.1016/j.datak.2017.11.003}, doi = {10.1016/J.DATAK.2017.11.003}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dke/CorradiniFFGPRS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isf/CogniniCGPR18, author = {Riccardo Cognini and Flavio Corradini and Stefania Gnesi and Andrea Polini and Barbara Re}, title = {Business process flexibility - a systematic literature review with a software systems perspective}, journal = {Inf. Syst. Frontiers}, volume = {20}, number = {2}, pages = {343--371}, year = {2018}, url = {https://doi.org/10.1007/s10796-016-9678-2}, doi = {10.1007/S10796-016-9678-2}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isf/CogniniCGPR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/CorradiniFPRT18, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi}, title = {A formal approach to modeling and verification of business process collaborations}, journal = {Sci. Comput. Program.}, volume = {166}, pages = {35--70}, year = {2018}, url = {https://doi.org/10.1016/j.scico.2018.05.008}, doi = {10.1016/J.SCICO.2018.05.008}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/CorradiniFPRT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/CorradiniM00T18, author = {Flavio Corradini and Chiara Muzi and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, editor = {Mathias Weske and Marco Montali and Ingo Weber and Jan vom Brocke}, title = {Animating Multiple Instances in {BPMN} Collaborations: From Formal Semantics to Tool Support}, booktitle = {Business Process Management - 16th International Conference, {BPM} 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11080}, pages = {83--101}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-98648-7\_6}, doi = {10.1007/978-3-319-98648-7\_6}, timestamp = {Thu, 20 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/CorradiniM00T18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/CorradiniM00T18a, author = {Flavio Corradini and Chiara Muzi and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, editor = {Wil M. P. van der Aalst and Fabio Casati and Raffaele Conforti and Massimiliano de Leoni and Marlon Dumas and Akhil Kumar and Jan Mendling and Surya Nepal and Brian T. Pentland and Barbara Weber}, title = {{MIDA:} Multiple Instances and Data Animator}, booktitle = {Proceedings of the Dissertation Award, Demonstration, and Industrial Track at {BPM} 2018 co-located with 16th International Conference on Business Process Management {(BPM} 2018), Sydney, Australia, September 9-14, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2196}, pages = {86--90}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2196/BPM\_2018\_paper\_18.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:55 +0100}, biburl = {https://dblp.org/rec/conf/bpm/CorradiniM00T18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/FornariRP0T18, author = {Fabrizio Fornari and Marcello La Rosa and Andrea Polini and Barbara Re and Francesco Tiezzi}, editor = {Jan Mendling and Haralambos Mouratidis}, title = {Checking Business Process Correctness in Apromore}, booktitle = {Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {317}, pages = {114--123}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-92901-9\_11}, doi = {10.1007/978-3-319-92901-9\_11}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/caise/FornariRP0T18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/Corradini0P0T18, author = {Flavio Corradini and Andrea Morichetta and Andrea Polini and Barbara Re and Francesco Tiezzi}, title = {Collaboration vs. Choreography Conformance in {BPMN} 2.0: From Theory to Practice}, booktitle = {22nd {IEEE} International Enterprise Distributed Object Computing Conference, {EDOC} 2018, Stockholm, Sweden, October 16-19, 2018}, pages = {95--104}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/EDOC.2018.00022}, doi = {10.1109/EDOC.2018.00022}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/Corradini0P0T18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mobilecloud/Morichetta0T18, author = {Andrea Morichetta and Barbara Re and Francesco Tiezzi}, title = {Runtime Computation of Optimal Offloading Scheduling}, booktitle = {6th {IEEE} International Conference on Mobile Cloud Computing, Services, and Engineering, MobileCloud 2018, Bamberg, Germany, March 26-29, 2018}, pages = {73--78}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/MobileCloud.2018.00019}, doi = {10.1109/MOBILECLOUD.2018.00019}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mobilecloud/Morichetta0T18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/CorradiniM0RT18, author = {Flavio Corradini and Chiara Muzi and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, editor = {A Min Tjoa and Ladjel Bellatreche and Stefan Biffl and Jan van Leeuwen and Jir{\'{\i}} Wiedermann}, title = {Global vs. Local Semantics of {BPMN} 2.0 OR-Join}, booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10706}, pages = {321--336}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-73117-9\_23}, doi = {10.1007/978-3-319-73117-9\_23}, timestamp = {Sat, 30 Sep 2023 09:57:10 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/CorradiniM0RT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1809-06178, author = {Flavio Corradini and Chiara Muzi and Barbara Re and Francesco Tiezzi}, title = {A Classification of {BPMN} Collaborations based on Safeness and Soundness Notions}, journal = {CoRR}, volume = {abs/1809.06178}, year = {2018}, url = {http://arxiv.org/abs/1809.06178}, eprinttype = {arXiv}, eprint = {1809.06178}, timestamp = {Thu, 20 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1809-06178.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jaise/CorradiniARADI17, author = {Flavio Corradini and Francesco De Angelis and Barbara Re and Emiliano Anceschi and Massimo Callisto De Donato and Paolo Iddas}, title = {Private assisted house for smart living}, journal = {J. Ambient Intell. Smart Environ.}, volume = {9}, number = {6}, pages = {725--741}, year = {2017}, url = {https://doi.org/10.3233/AIS-170460}, doi = {10.3233/AIS-170460}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jaise/CorradiniARADI17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bis/CorradiniFMPRT17, author = {Flavio Corradini and Fabrizio Fornari and Chiara Muzi and Andrea Polini and Barbara Re and Francesco Tiezzi}, editor = {Witold Abramowicz}, title = {On Avoiding Erroneous Synchronization in {BPMN} Processes}, booktitle = {Business Information Systems - 20th International Conference, {BIS} 2017, Poznan, Poland, June 28-30, 2017, Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {288}, pages = {106--119}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59336-4\_8}, doi = {10.1007/978-3-319-59336-4\_8}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bis/CorradiniFMPRT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/FornariGRPRS17, author = {Fabrizio Fornari and Stefania Gnesi and Marcello La Rosa and Andrea Polini and Barbara Re and Giorgio Oronzo Spagnolo}, editor = {Robert Claris{\'{o}} and Henrik Leopold and Jan Mendling and Wil M. P. van der Aalst and Akhil Kumar and Brian T. Pentland and Mathias Weske}, title = {Checking Business Process Modeling Guidelines in Apromore}, booktitle = {Proceedings of the {BPM} Demo Track and {BPM} Dissertation Award co-located with 15th International Conference on Business Process Modeling {(BPM} 2017), Barcelona, Spain, September 13, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1920}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1920/BPM\_2017\_paper\_204.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:55 +0100}, biburl = {https://dblp.org/rec/conf/bpm/FornariGRPRS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/CorradiniP0RT17, author = {Flavio Corradini and Andrea Polini and Barbara Re and Lorenzo Rossi and Francesco Tiezzi}, editor = {Robert Pergl and Russell Lock and Eduard Babkin and Martin Molhanec}, title = {Supporting Multi-layer Modeling in {BPMN} Collaborations}, booktitle = {Enterprise and Organizational Modeling and Simulation - 13th International Workshop, {EOMAS} 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {298}, pages = {53--67}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68185-6\_4}, doi = {10.1007/978-3-319-68185-6\_4}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/caise/CorradiniP0RT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/CorradiniFP0TV17, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, editor = {Grigore Rosu and Massimiliano Di Penta and Tien N. Nguyen}, title = {BProVe: a formal verification framework for business process models}, booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November 03, 2017}, pages = {217--228}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ASE.2017.8115635}, doi = {10.1109/ASE.2017.8115635}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/CorradiniFP0TV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/CorradiniFP0TV17a, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, editor = {Grigore Rosu and Massimiliano Di Penta and Tien N. Nguyen}, title = {BProVe: tool support for business process verification}, booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November 03, 2017}, pages = {937--942}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ASE.2017.8115708}, doi = {10.1109/ASE.2017.8115708}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/CorradiniFP0TV17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/BettacchiPR16, author = {Alessandro Bettacchi and Alberto Polzonetti and Barbara Re}, editor = {John Krogstie and Haralambos Mouratidis and Jianwen Su}, title = {Understanding Production Chain Business Process Using Process Mining: {A} Case Study in the Manufacturing Scenario}, booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {249}, pages = {193--203}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39564-7\_19}, doi = {10.1007/978-3-319-39564-7\_19}, timestamp = {Tue, 12 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/caise/BettacchiPR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtacsit/CorradiniR16, author = {Flavio Corradini and Barbara Re}, editor = {Alda Kika and Klesti Hoxha}, title = {The European Digital Agenda and the Impact of {ICT} on Public Administrations and Small and Medium Enterprises}, booktitle = {Proceedings of the 2nd International Conference on Recent Trends and Applications in Computer Science and Information Technology, Tirana, Albania, November 18-19, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1746}, pages = {11--16}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1746/paper-02.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:18 +0100}, biburl = {https://dblp.org/rec/conf/rtacsit/CorradiniR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/worldcist/CogniniMPR16, author = {Riccardo Cognini and Michelangelo Marani and Alberto Polzonetti and Barbara Re}, editor = {{\'{A}}lvaro Rocha and Ana Maria Ramalho Correia and Hojjat Adeli and Lu{\'{\i}}s Paulo Reis and Marcelo Mendon{\c{c}}a Teixeira}, title = {webBPMN: {A} Language to Design Web Applications Regulated by Workflows}, booktitle = {New Advances in Information Systems and Technologies - Volume 1 [WorldCIST'16, Recife, Pernambuco, Brazil, March 22-24, 2016]}, series = {Advances in Intelligent Systems and Computing}, volume = {444}, pages = {579--587}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-31232-3\_54}, doi = {10.1007/978-3-319-31232-3\_54}, timestamp = {Wed, 21 Oct 2020 09:19:56 +0200}, biburl = {https://dblp.org/rec/conf/worldcist/CogniniMPR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/16/CogniniCPR16, author = {Riccardo Cognini and Flavio Corradini and Andrea Polini and Barbara Re}, editor = {Dimitris Karagiannis and Heinrich C. Mayr and John Mylopoulos}, title = {Business Process Feature Model: An Approach to Deal with Variability of Business Processes}, booktitle = {Domain-Specific Conceptual Modeling, Concepts, Methods and Tools}, pages = {171--194}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39417-6\_8}, doi = {10.1007/978-3-319-39417-6\_8}, timestamp = {Tue, 12 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/16/CogniniCPR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/16/AngelisPPRTW16, author = {Guglielmo De Angelis and Alfonso Pierantonio and Andrea Polini and Barbara Re and Barbara Th{\"{o}}nssen and Robert Woitsch}, editor = {Dimitris Karagiannis and Heinrich C. Mayr and John Mylopoulos}, title = {Modeling for Learning in Public Administrations - The Learn PAd Approach}, booktitle = {Domain-Specific Conceptual Modeling, Concepts, Methods and Tools}, pages = {575--594}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39417-6\_26}, doi = {10.1007/978-3-319-39417-6\_26}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/16/AngelisPPRTW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bpmj/CorradiniPR15, author = {Flavio Corradini and Andrea Polini and Barbara Re}, title = {Inter-organizational business process verification in public administration}, journal = {Bus. Process. Manag. J.}, volume = {21}, number = {5}, pages = {1040--1065}, year = {2015}, url = {https://doi.org/10.1108/BPMJ-02-2014-0013}, doi = {10.1108/BPMJ-02-2014-0013}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bpmj/CorradiniPR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/CogniniCPR15, author = {Riccardo Cognini and Flavio Corradini and Andrea Polini and Barbara Re}, editor = {Anne Persson and Janis Stirna}, title = {Extending Feature Models to Express Variability in Business Process Models}, booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {215}, pages = {245--256}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19243-7\_24}, doi = {10.1007/978-3-319-19243-7\_24}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/caise/CogniniCPR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/es/CogniniCPR15, author = {Riccardo Cognini and Flavio Corradini and Andrea Polini and Barbara Re}, title = {Process Variability Modeling for Complex Organizations}, booktitle = {International Conference on Enterprise Systems, {ES} 2015, Basel, Switzerland, October 14-15, 2015}, pages = {9--20}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/ES.2015.9}, doi = {10.1109/ES.2015.9}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/es/CogniniCPR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/CorradiniPRT15, author = {Flavio Corradini and Andrea Polini and Barbara Re and Francesco Tiezzi}, editor = {Christiano Braga and Peter Csaba {\"{O}}lveczky}, title = {An Operational Semantics of {BPMN} Collaboration}, booktitle = {Formal Aspects of Component Software - 12th International Conference, {FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9539}, pages = {161--180}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-28934-2\_9}, doi = {10.1007/978-3-319-28934-2\_9}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/CorradiniPRT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ict4ageingwell/CorradiniARADI15, author = {Flavio Corradini and Francesco De Angelis and Barbara Re and Emiliano Anceschi and Massimo Callisto De Donato and Paolo Iddas}, editor = {Andreas Holzinger and Carsten R{\"{o}}cker and Ana L. N. Fred and Markus Helfert and John O'Donoghue and Martina Ziefle}, title = {An Integration Platform for Private Assisted Houses}, booktitle = {ICT4AgeingWell 2015 - Proceedings of the 1st International Conference on Information and Communication Technologies for Ageing Well and e-Health, Lisbon, Portugal, 20-22 May, 2015}, pages = {45--52}, publisher = {{SCITEPRESS}}, year = {2015}, url = {https://doi.org/10.5220/0005436000450052}, doi = {10.5220/0005436000450052}, timestamp = {Tue, 12 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ict4ageingwell/CorradiniARADI15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iiaiaai/CogniniPP015, author = {Riccardo Cognini and Andrea Polini and Alberto Polzonetti and Barbara Re}, title = {{BPFM:} {A} Notation and an Approach to Homogenize Variable Business Processes for Public Services}, booktitle = {{IIAI} 4th International Congress on Advanced Applied Informatics, {IIAI-AAI} 2015, Okayama, Japan, July 12-16, 2015}, pages = {34--39}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/IIAI-AAI.2015.179}, doi = {10.1109/IIAI-AAI.2015.179}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iiaiaai/CogniniPP015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/CogniniCPR14, author = {Riccardo Cognini and Flavio Corradini and Andrea Polini and Barbara Re}, editor = {Fabiana Fournier and Jan Mendling}, title = {Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes}, booktitle = {Business Process Management Workshops - {BPM} 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers}, series = {Lecture Notes in Business Information Processing}, volume = {202}, pages = {210--221}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-15895-2\_19}, doi = {10.1007/978-3-319-15895-2\_19}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/CogniniCPR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cts/SpigaBRSFMSVVDPRFVFFRACC14, author = {Daniele Spiga and Gian Mario Bilei and Hassen Riahi and Loriano Storchi and Enrico Fattibene and Matteo Manzali and Davide Salomoni and Valerio Venturi and Paolo Veronesi and Claudia Diamantini and Domenico Potena and Laura Raffaeli and Livio Fani and Andrea Valentini and Damiano Falcioni and Daniele Fan{\`{\i}} and Barbara Re and Cinzia Amici and Serenella Carota and Francesco Cirillo}, title = {A cloud-based solution for public administrations: The experience of the Regione Marche}, booktitle = {2014 International Conference on Collaboration Technologies and Systems, {CTS} 2014, Minneapolis, MN, USA, May 19-23, 2014}, pages = {493--499}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/CTS.2014.6867614}, doi = {10.1109/CTS.2014.6867614}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cts/SpigaBRSFMSVVDPRFVFFRACC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/egov/CogniniCPR14, author = {Riccardo Cognini and Flavio Corradini and Andrea Polini and Barbara Re}, editor = {Marijn Janssen and Hans Jochen Scholl and Maria A. Wimmer and Frank Bannister}, title = {Modelling Process Intensive Scenarios for the Smart City}, booktitle = {Electronic Government - 13th {IFIP} {WG} 8.5 International Conference, {EGOV} 2014, Dublin, Ireland, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8653}, pages = {147--158}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44426-9\_12}, doi = {10.1007/978-3-662-44426-9\_12}, timestamp = {Fri, 08 Sep 2023 14:38:14 +0200}, biburl = {https://dblp.org/rec/conf/egov/CogniniCPR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ieem/CogniniCPR14, author = {Riccardo Cognini and Flavio Corradini and Alberto Polzonetti and Barbara Re}, title = {Five factors that make pervasive business intelligence a winning wager}, booktitle = {2014 {IEEE} International Conference on Industrial Engineering and Engineering Management, {IEEM} 2014, Selangor Darul Ehsan, Malaysia, December 9-12, 2014}, pages = {617--621}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/IEEM.2014.7058712}, doi = {10.1109/IEEM.2014.7058712}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/ieem/CogniniCPR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mesa/RossiBSDFGPPPPR14, author = {Lorena Rossi and Alberto Belli and Adelmo De Santis and Claudia Diamantini and Emanuele Frontoni and Ennio Gambi and Lorenzo Palma and Luca Pernini and Paola Pierleoni and Domenico Potena and Laura Raffaeli and Susanna Spinsante and Primo Zingaretti and Diletta Cacciagrano and Flavio Corradini and Rosario Culmone and Francesco De Angelis and Emanuela Merelli and Barbara Re}, title = {Interoperability issues among smart home technological frameworks}, booktitle = {10th {IEEE/ASME} International Conference on Mechatronic and Embedded Systems and Applications, {MESA} 2014, Senigallia, Italy, September 10-12, 2014}, pages = {1--7}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/MESA.2014.6935626}, doi = {10.1109/MESA.2014.6935626}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mesa/RossiBSDFGPPPPR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/CogniniCGPR14, author = {Riccardo Cognini and Flavio Corradini and Stefania Gnesi and Andrea Polini and Barbara Re}, editor = {Yookun Cho and Sung Y. Shin and Sang{-}Wook Kim and Chih{-}Cheng Hung and Jiman Hong}, title = {Research challenges in business process adaptability}, booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014}, pages = {1049--1054}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2554850.2555055}, doi = {10.1145/2554850.2555055}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/CogniniCGPR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/egov/FalcioniIMR13, author = {Damiano Falcioni and Fabrizio Ippoliti and Fausto Marcantoni and Barbara Re}, editor = {Andrea Ko and Christine Leitner and Herbert Leitold and Alexander Prosser}, title = {Digital Identity into Practice: The Case of UniCam}, booktitle = {Technology-Enabled Innovation for Democracy, Government and Governance - Second Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, {EGOVIS/EDEM} 2013, Prague, Czech Republic, August 26-28, 2013, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8061}, pages = {18--28}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40160-2\_3}, doi = {10.1007/978-3-642-40160-2\_3}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/egov/FalcioniIMR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/egov/CogniniFPR13, author = {Riccardo Cognini and Damiano Falcioni and Alberto Polzonetti and Barbara Re}, editor = {Maria A. Wimmer and Marijn Janssen and Ann Macintosh and Hans Jochen Scholl and Efthimios Tambouris}, title = {A Collaborative Approach to Public Administrations Inter-organizational Business Processes Modelling}, booktitle = {Electronic Government and Electronic Participation: Joint Proceedings of Ongoing Research of {IFIP} {EGOV} and {IFIP} ePart 2013, 16-19 September 2013, Koblenz, Germany}, series = {{LNI}}, volume = {{P-221}}, pages = {69--75}, publisher = {{GI}}, year = {2013}, url = {https://dl.gi.de/handle/20.500.12116/17288}, timestamp = {Fri, 08 Sep 2023 14:38:13 +0200}, biburl = {https://dblp.org/rec/conf/egov/CogniniFPR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/CogniniFPPR13, author = {Riccardo Cognini and Damiano Falcioni and Andrea Polini and Alberto Polzonetti and Barbara Re}, editor = {Sung Y. Shin and Jos{\'{e}} Carlos Maldonado}, title = {\emph{HawkEye}: a tool for collaborative business process modelling and verification}, booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing, {SAC} '13, Coimbra, Portugal, March 18-22, 2013}, pages = {785--786}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2480362.2480512}, doi = {10.1145/2480362.2480512}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/CogniniFPPR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/PoliniPR12, author = {Andrea Polini and Andrea Polzonetti and Barbara Re}, title = {Formal Methods to Improve Public Administration Business Processes}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {46}, number = {2}, pages = {203--229}, year = {2012}, url = {https://doi.org/10.1051/ita/2012002}, doi = {10.1051/ITA/2012002}, timestamp = {Thu, 04 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/PoliniPR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/egov/FalcioniPPR12, author = {Damiano Falcioni and Andrea Polini and Alberto Polzonetti and Barbara Re}, editor = {Hans Jochen Scholl and Marijn Janssen and Maria A. Wimmer and Carl Erik Moe and Leif Skiftenes Flak}, title = {Improving {PA} Business Processes through Modeling, Analysis, and Reengineering}, booktitle = {Electronic Government - 11th {IFIP} {WG} 8.5 International Conference, {EGOV} 2012, Kristiansand, Norway, September 3-6, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7443}, pages = {78--89}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33489-4\_7}, doi = {10.1007/978-3-642-33489-4\_7}, timestamp = {Fri, 08 Sep 2023 14:38:13 +0200}, biburl = {https://dblp.org/rec/conf/egov/FalcioniPPR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/egov/CarotaCFMMPPRS12, author = {Serenella Carota and Flavio Corradini and Damiano Falcioni and Maria Laura Maggiulli and Fausto Marcantoni and Roberto Piangerelli and Alberto Polzonetti and Barbara Re and Andrea Sergiacomi}, editor = {Andrea Ko and Christine Leitner and Herbert Leitold and Alexander Prosser}, title = {FedCohesion: Federated Identity Management in the Marche Region}, booktitle = {Advancing Democracy, Government and Governance - Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, {EGOVIS/EDEM} 2012, Vienna, Austria, September 3-6, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7452}, pages = {112--124}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32701-8\_11}, doi = {10.1007/978-3-642-32701-8\_11}, timestamp = {Sun, 02 Oct 2022 15:59:53 +0200}, biburl = {https://dblp.org/rec/conf/egov/CarotaCFMMPPRS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/egov/FalcioniPPR12a, author = {Damiano Falcioni and Andrea Polini and Alberto Polzonetti and Barbara Re}, editor = {Andrea Ko and Christine Leitner and Herbert Leitold and Alexander Prosser}, title = {Livelock and Deadlock Detection for {PA} Inter-organizational Business Processes}, booktitle = {Advancing Democracy, Government and Governance - Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, {EGOVIS/EDEM} 2012, Vienna, Austria, September 3-6, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7452}, pages = {125--139}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32701-8\_12}, doi = {10.1007/978-3-642-32701-8\_12}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/egov/FalcioniPPR12a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/FalcioniPPR12, author = {Damiano Falcioni and Andrea Polini and Alberto Polzonetti and Barbara Re}, editor = {Antony Tang and Henry Muccini}, title = {Direct Verification of {BPMN} Processes through an Optimized Unfolding Technique}, booktitle = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012}, pages = {179--188}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/QSIC.2012.59}, doi = {10.1109/QSIC.2012.59}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/qsic/FalcioniPPR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/SabucedoACPR10, author = {Luis {\'{A}}lvarez Sabucedo and Luis E. Anido{-}Rif{\'{o}}n and Flavio Corradini and Alberto Polzonetti and Barbara Re}, title = {Knowledge-based platform for eGovernment agents: {A} Web-based solution using semantic technologies}, journal = {Expert Syst. Appl.}, volume = {37}, number = {5}, pages = {3647--3656}, year = {2010}, url = {https://doi.org/10.1016/j.eswa.2009.10.026}, doi = {10.1016/J.ESWA.2009.10.026}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eswa/SabucedoACPR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ism/CorradiniPPR10, author = {Flavio Corradini and Andrea Polini and Alberto Polzonetti and Barbara Re}, title = {Business Processes Verification for e-Government Service Delivery}, journal = {Inf. Syst. Manag.}, volume = {27}, number = {4}, pages = {293--308}, year = {2010}, url = {https://doi.org/10.1080/10580530.2010.514164}, doi = {10.1080/10580530.2010.514164}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ism/CorradiniPPR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csreaEEE/AngelisMRP10, author = {Francesco De Angelis and Fausto Marcantoni and Barbara Re and Alberto Polzonetti}, editor = {Hamid R. Arabnia and Azita Bahrami and Ashu M. G. Solo}, title = {A System for Process Management for Emergency Teams: Idea, Approach, Governance}, booktitle = {Proceedings of the 2010 International Conference on E-Learning, E-Business, Enterprise Information Systems, {\&} E-Government, {EEE} 2010, July 12-15, 2010, Las Vegas Nevada, {USA}}, pages = {183--188}, publisher = {{CSREA} Press}, year = {2010}, timestamp = {Tue, 12 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csreaEEE/AngelisMRP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/egov/CorradiniFPPR10, author = {Flavio Corradini and Damiano Falcioni and Andrea Polini and Alberto Polzonetti and Barbara Re}, editor = {Maria A. Wimmer and Jean{-}Loup Chappelet and Marijn Janssen and Hans Jochen Scholl}, title = {Designing Quality Business Processes for E-Government Digital Services}, booktitle = {Electronic Government, 9th {IFIP} {WG} 8.5 International Conference, {EGOV} 2010, Lausanne, Switzerland, August 29 - September 2, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6228}, pages = {424--435}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14799-9\_36}, doi = {10.1007/978-3-642-14799-9\_36}, timestamp = {Fri, 08 Sep 2023 14:38:12 +0200}, biburl = {https://dblp.org/rec/conf/egov/CorradiniFPPR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ic/AngelisGRP10, author = {Francesco De Angelis and Roberto Gagliardi and Barbara Re and Alberto Polzonetti}, editor = {Hamid R. Arabnia and Victor A. Clincy and Joan Lu and Andy Marsh and Ashu M. G. Solo}, title = {Internet Security: Now and in the Future}, booktitle = {Proceedings of the 2010 International Conference on Internet Computing, {ICOMP} 2010, July 12-15, 2010, Las Vegas Nevada, {USA}}, pages = {193--198}, publisher = {{CSREA} Press}, year = {2010}, timestamp = {Tue, 12 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ic/AngelisGRP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csreaEEE/CorradiniMPRV09, author = {Flavio Corradini and Emanuela Merelli and Alberto Polzonetti and Barbara Re and Leonardo Vito}, editor = {Hamid R. Arabnia and Azita Bahrami}, title = {Resourceome for e-Government: Semantic Web Tool for Managing {PA} Resources}, booktitle = {Proceedings of the 2009 International Conference on E-Learning, E-Business, Enterprise Information Systems, {\&} E-Government, {EEE} 2009, July 13-16, 2009, Las Vegas Nevada, {USA}}, pages = {354--356}, publisher = {{CSREA} Press}, year = {2009}, timestamp = {Tue, 12 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csreaEEE/CorradiniMPRV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/SchollBAPR09, author = {Hans Jochen Scholl and Karine Barzilai{-}Nahon and Jin{-}Hyuk Ahn and Olga H. Popova and Barbara Re}, title = {E-Commerce and E-Government: How Do They Compare? What Can They Learn from Each Other?}, booktitle = {42st Hawaii International International Conference on Systems Science {(HICSS-42} 2009), Proceedings {(CD-ROM} and online), 5-8 January 2009, Waikoloa, Big Island, HI, {USA}}, pages = {1--10}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/HICSS.2009.169}, doi = {10.1109/HICSS.2009.169}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/SchollBAPR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijiq/CorradiniPRT08, author = {Flavio Corradini and Alberto Polzonetti and Barbara Re and Luca Tesei}, title = {Quality of service in e-government underlines the role of information usability}, journal = {Int. J. Inf. Qual.}, volume = {2}, number = {2}, pages = {133--151}, year = {2008}, url = {https://doi.org/10.1504/IJIQ.2008.022960}, doi = {10.1504/IJIQ.2008.022960}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijiq/CorradiniPRT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/egov/CorradiniSPAR07, author = {Flavio Corradini and Luis {\'{A}}lvarez Sabucedo and Alberto Polzonetti and Luis E. Anido{-}Rif{\'{o}}n and Barbara Re}, editor = {Maria A. Wimmer and Hans Jochen Scholl and {\AA}ke Gr{\"{o}}nlund}, title = {A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal}, booktitle = {Electronic Government, 6th International Conference, {EGOV} 2007, Regensburg, Germany, September 3-7, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4656}, pages = {204--215}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74444-3\_18}, doi = {10.1007/978-3-540-74444-3\_18}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/egov/CorradiniSPAR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dgo/CorradiniAPR06, author = {Flavio Corradini and Francesco De Angelis and Alberto Polzonetti and Barbara Re}, editor = {Jos{\'{e}} A. B. Fortes and Ann Macintosh}, title = {Quality evaluation of e-Government digital services}, booktitle = {Proceedings of the 7th Annual International Conference on Digital Government Research, {DG.O} 2006, San Diego, California, USA, May 21-24, 2006}, series = {{ACM} International Conference Proceeding Series}, volume = {151}, pages = {377--378}, publisher = {Digital Government Research Center}, year = {2006}, url = {https://doi.org/10.1145/1146598.1146710}, doi = {10.1145/1146598.1146710}, timestamp = {Tue, 06 Nov 2018 11:06:50 +0100}, biburl = {https://dblp.org/rec/conf/dgo/CorradiniAPR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/woa/CorradiniEMR04, author = {Flavio Corradini and Chiara Ercoli and Emanuela Merelli and Barbara Re}, editor = {Matteo Baldoni and Flavio De Paoli and Alberto Martelli and Andrea Omicini}, title = {An agent-based matchmaker}, booktitle = {{WOA} 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November - 1 December 2004, Torino, Italy}, pages = {150--156}, publisher = {Pitagora Editrice Bologna}, year = {2004}, timestamp = {Tue, 12 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/woa/CorradiniEMR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.