Automated Analysis of MUTEX Algorithms with FASE
Buti, Federico, Massimo Callisto De Donato, Corradini, Flavio, Di Berardini, Maria Rita, Vogler, Walter
Published in arXiv.org (07.06.2011)
Published in arXiv.org (07.06.2011)
Get full text
Paper
Journal Article
Digital Twins of Business Processes: A Research Manifesto
Fornari, Fabrizio, Compagnucci, Ivan, De Donato, Massimo Callisto, Bertrand, Yannis, Beyel, Harry Herbert, Carrión, Emilio, Franceschetti, Marco, Groher, Wolfgang, Grüger, Joscha, Kilic, Emre, Koschmider, Agnes, Leotta, Francesco, Li, Chiao-Yun, Lugaresi, Giovanni, Malburg, Lukas, Mangler, Juergen, Mecella, Massimo, Pastor, Oscar, Riss, Uwe, Seiger, Ronny, Serral, Estefania, Torres, Victoria, Valderas, Pedro
Year of Publication 25.09.2024
Year of Publication 25.09.2024
Get full text
Journal Article
Digital Twins of Business Processes: A Research Manifesto
nari, Fabrizio, Compagnucci, Ivan, Massimo Callisto De Donato, Bertrand, Yannis, Beyel, Harry Herbert, Carrión, Emilio, Franceschetti, Marco, Groher, Wolfgang, Grüger, Joscha, Kilic, Emre, Koschmider, Agnes, Leotta, Francesco, Chiao-Yun, Li, Lugaresi, Giovanni, Malburg, Lukas, Mangler, Juergen, Mecella, Massimo, Pastor, Oscar, Riss, Uwe, Seiger, Ronny, Serral, Estefania, Torres, Victoria, Valderas, Pedro
Published in arXiv.org (25.09.2024)
Get full text
Published in arXiv.org (25.09.2024)
Paper
PIATTAFORMA HARDWARE E SOFTWARE DI MONITORAGGIO E LOCALIZZAZIONE DI VITTIME DA TERREMOTO INTRAPPOLATE NELLE MACERIE A SUPPORTO DI INTERVENTI DI SOCCORSO
Robuffo, Federico, Graziosi, Fabio, Re, Barbara, Corradini, Flavio, Della Penna, Giuseppe, Callisto De Donato, Massimo, D'Innocenzo, Alessandro, Anceschi, Emiliano, De Angelis, Francesco
Year of Publication 02.06.2023
Get full text
Year of Publication 02.06.2023
Patent
Multiscale Modelling: A Mobile Membrane Approach
Buti, Federico, De Donato, Massimo Callisto, Corradini, Flavio, Merelli, Emanuela, Tesei, Luca
Year of Publication 17.08.2011
Year of Publication 17.08.2011
Get full text
Journal Article
Evaluating the Efficiency of Asynchronous Systems with FASE
Buti, Federico, De Donato, Massimo Callisto, Corradini, Flavio, Di Berardini, Maria Rita, Vogler, Walter
Year of Publication 06.05.2011
Year of Publication 06.05.2011
Get full text
Journal Article
documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\textsc{BioShape}$\end{document}: End-User Development for Simulating Biological Systems
Buti, Federico, Cacciagrano, Diletta, Callisto De Donato, Massimo, Corradini, Flavio, Merelli, Emanuela, Tesei, Luca
Published in End-User Development (2011)
Published in End-User Development (2011)
Get full text
Book Chapter