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 31 a 50 di 79
Titolo Data di pubblicazione Autore(i) Tipo File
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. Contributo in atto di convegno su volume
A Modal Logic for KLAIM 1-gen-2000 DE NICOLA, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
Modelling and analysis of collective adaptive systems with CARMA and its tools 1-gen-2016 Loreti, Michele; Hillston, Jane Capitolo di libro o voce di enciclopedia
MoMo: A Modal Logic for Reasoning About Mobility 1-gen-2005 DE NICOLA, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
A New Remez-Type Algorithm for Best Polynomial Approximation 1-gen-2020 Egidi, N.; Fatone, L.; Misici, L. Contributo in atto di convegno su volume
On a Uniform Framework for the Definition of Stochastic Process Languages. 1-gen-2009 De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink:, Mieke Capitolo di libro o voce di enciclopedia
On the Power of Attribute-Based Communication 1-gen-2016 Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
On the Interplay Between BPMN Collaborations and the Physical Environment 1-gen-2024 Corradini, Flavio; Piccioni, Jessica; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco Contributo in atto di convegno su volume
On-the-fly fast mean-field model-checking 1-gen-2014 Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
An Operational Semantics of BPMN Collaboration 1-gen-2016 Corradini, Flavio; Polini, Andrea; Tiezzi, Francesco; Re, Barbara Contributo in atto di convegno su volume
A Persistent Entropy Automaton for the Dow Jones Stock Market 1-gen-2019 Piangerelli, M.; Tesei, L.; Merelli, E. Contributo in atto di convegno su volume
The PLASTIC Framework and Tools for Testing Service-Oriented Applications 1-gen-2009 Bertolino, Antonia; De Angelis, Guglielmo; Frantzen, Lars; Polini, Andrea Contributo in atto di convegno su volume
Probabilistic Modelling and Analysis of a Fish Population 1-gen-2015 Cini, Chiara; Tesei, Luca; Scarcella, Giuseppe; NIETO CORIA, CESAR AUGUSTO; Merelli, Emanuela Contributo in atto di convegno su volume
Mostrati risultati da 31 a 50 di 79
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