Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 14 a 33 di 70
Titolo Data di pubblicazione Autore(i) Tipo File
Encoding Timed Models as Uniform Labeled Transition Systems 1-gen-2013 Bernardo, Marco; Tesei, Luca Contributo in atto di convegno su volume
An experimental spatio-temporal model checker 1-gen-2015 Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 1-gen-2015 Lafuente Alberto, Lluch; Loreti, Michele; Montanari, Ugo Capitolo di libro o voce di enciclopedia
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 1-gen-2008 Massink, Mieke; Latella, Diego; Ter, Maurice H.; Harrison, Michael D.; Loreti, Michele Capitolo di libro o voce di enciclopedia
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT 1-gen-2019 Fortino, Giancarlo; Re, Barbara; Viroli, Mirko; Zambonelli, Franco Contributo in atto di convegno su volume
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation 1-gen-2017 Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Formalizing properties of mobile agent systems 1-gen-2002 Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
Group-by-group probabilistic bisimilarities and their logical characterizations 1-gen-2014 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
HELM and the Semantic Math-Web 1-gen-2001 Asperti, A; Padovani, Luca; SACERDOTI COEN, C; Schena, I. Contributo in atto di convegno su volume
How Adaptive and Reliable is Your Program? 1-gen-2021 Castiglioni, V.; Loreti, M.; Tini, S. Capitolo di libro o voce di enciclopedia
How Grossone Can Be Helpful to Iteratively Compute Negative Curvature Directions 1-gen-2019 De Leone, Renato; Fasano, Giovanni; Roma, Massimo; Sergeyev, Yaroslav D. Contributo in atto di convegno su volume
Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks 1-gen-2023 Belenchia, M.; Corradini, F.; Quadrini, M.; Loreti, M. Capitolo di libro o voce di enciclopedia
Implementing Session Centered Calculi 1-gen-2008 Bettini, Lorenzo; DE NICOLA, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
Interactive Editing of MathML Markup Using TeX Syntax 1-gen-2004 Padovani, Luca Contributo in atto di convegno su volume
The Klaim Project: Theory and Practice 1-gen-2003 Bettini, Lorenzo; Bono, Viviana; DE NICOLA, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Bettin Capitolo di libro o voce di enciclopedia
A Language-Based Approach to Autonomic Computing 1-gen-2013 De Nicola, Rocco; Ferrari, Gianluigi; Loreti, Michele; Pugliese, Rosario Capitolo di libro o voce di enciclopedia
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems 1-gen-2022 Loreti, M.; Rehman, A. Capitolo di libro o voce di enciclopedia
Measuring Adaptability and Reliability of Large Scale Systems 1-gen-2020 Castiglioni, V.; Loreti, M.; Tini, S. Capitolo di libro o voce di enciclopedia
A Methodology for the Analysis of Robotic Systems via Process Mining 1-gen-2024 Corradini, F.; Pettinari, S.; Re, B.; Rossi, L.; Tiezzi, F. Capitolo di libro o voce di enciclopedia
A Modal Logic for KLAIM 1-gen-2000 DE NICOLA, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
Mostrati risultati da 14 a 33 di 70
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile