IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 57 di 57
Titolo Data di pubblicazione Autori Tipo File Abstract
All Green: How Different Age Groups Solved the Same Bebras Task 1-ott-2023 Bellettini, CarloLonati, ViolettaMonga, MattiaMorpurgo, Anna Book Part (author) -
DaVinci Goes to Bebras: A Study on the Problem Solving Ability of GPT-3 1-gen-2023 Bellettini, CarloLonati, ViolettaMonga, MattiaMorpurgo, Anna + Book Part (author) -
Replication Data for: How is two better than one? An observational study on the impact of working in pairs when solving Bebras tasks 1-gen-2022 Carlo BellettiniVioletta LonatiMattia MongaAnna Morpurgo Dataset -
How is Two Better Than One? An Observational Study on the Impact of Working in Pairs When Solving Bebras Tasks 1-gen-2022 Carlo BellettiniVioletta LonatiMattia MongaAnna Morpurgo Book Part (author) -
Behind the Shoulders of Bebras Teams: Analyzing How They Interact with the Platform to Solve Tasks 1-nov-2020 Bellettini, CarloLonati, ViolettaMonga, MattiaMorpurgo, Anna Book Part (author) -
Algomotricità: manipolare i fondamenti dell’informatica 1-gen-2020 C. BellettiniV. LonatiD. MalchiodiM. MongaA. Morpurgo Book Part (author) -
Situated Learning with Bebras Tasklets 1-nov-2019 Bellettini, CarloLonati, ViolettaMonga, MattiaMorpurgo, Anna + Book Part (author) -
An Analysis of the Performance of Italian Schools in Bebras and in the National Student Assessment INVALSI 1-set-2019 C. BellettiniV. LonatiM. MongaA. Morpurgo Book Part (author) -
How Pupils Solve Online Problems: An Analytical View 1-mag-2019 Carlo BellettiniVioletta LonatiMattia MongaAnna Morpurgo Book Part (author) -
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems 1-mag-2019 Camilli, MatteoCapra, LorenzoBellettini, Carlo Book Part (author) -
Informatics and Computational Thinking: A Teacher Professional Development Proposal Based on Social-Constructivism 11-ott-2018 C. BellettiniV. LonatiD. MalchiodiM. MongaA. Morpurgo Book Part (author) -
Online Model-Based Testing under Uncertainty 1-ott-2018 Camilli, MatteoBellettini, CarloScandurra, Patrizia + Book Part (author) -
A high-level petri net-based formal model of distributed self-adaptive systems 24-set-2018 Matteo CamilliCarlo BellettiniLorenzo Capra Book Part (author) -
Informatica e pensiero computazionale : una proposta costruttivista per gli insegnanti 1-giu-2018 C. BellettiniV. LonatiD. MalchiodiM. MongaA. Morpurgo Book Part (author) -
A Platform for the Italian Bebras 1-mar-2018 Morpurgo, AnnaMonga, MattiaMalchiodi, DarioLonati, ViolettaBellettini, Carlo + Book Part (author) -
Design-Time to Run-Time Verification of Microservices Based Applications 1-feb-2018 M. CamilliC. BellettiniL. Capra Book Part (author) -
A Formal Framework for Specifying and Verifying Microservices Based Process Flows 1-gen-2018 M. CamilliC. BellettiniL. CapraM. Monga Book Part (author) -
Towards Inverse Uncertainty Quantification in Software Development (Short Paper) 1-lug-2017 M. CamilliC. Bellettini + Book Part (author) -
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets 9-apr-2017 M. CamilliP. ScandurraC. Bellettini + Book Part (author) -
Distributed CTL model checking using MapReduce : theory and practice 1-gen-2016 C. BellettiniM. CamilliL. CapraM. Monga Article (author) -
Coverability analysis of time basic petri nets with non-urgent behavior 1-gen-2016 CAMILLI, MATTEOC. BellettiniL. CapraM. Monga Book Part (author) -
La formazione degli insegnanti della classe 42/A – Informatica: l'esperienza dell'Università degli Studi di Milano 1-dic-2015 C. BellettiniV. LonatiD. MalchiodiM. MongaA. MorpurgoF. Pedersini Book Part (author) -
How Challenging are Bebras Tasks? : An IRT Analysis Based on the Performance of Italian Students 1-giu-2015 C. BellettiniV. LonatiD. MalchiodiM. MongaA. MorpurgoM. Torelli Book Part (author) -
CTL model checking in the cloud using MapReduce 1-feb-2015 M. CamilliC. BellettiniL. CapraM. Monga Book Part (author) -
Informatics education in italian secondary schools 1-giu-2014 C. BellettiniV. LonatiD. MalchiodiM. MongaA. MorpurgoM. Torelli + Article (author) -
Teaching informatics for fun and profit 1-gen-2014 C. BellettiniV. LonatiD. MalchiodiM. MongaA. MorpurgoM. Torelli Book Part (author) -
Extracurricular activities for improving the perception of informatics in secondary schools 1-gen-2014 C. BellettiniV. LonatiD. MalchiodiM. MongaA. MorpurgoM. Torelli + Book Part (author) -
What you see is what you have in mind : constructing mental models for formatted text processing 1-gen-2013 C. BellettiniV. LonatiD. MalchiodiM. MongaA. MorpurgoM. Torelli Book Part (author) -
MaRDiGraS : simplified building of reachability graphs on large clusters 1-gen-2013 C. BellettiniM. CamilliL. CapraM. Monga Book Part (author) -
Exploring the processing of formatted texts by a kynesthetic approach 1-gen-2012 C. BellettiniV. LonatiD. MalchiodiM. MongaA. MorpurgoM. Torelli Book Part (author) -
Symbolic state space exploration of RT systems in the cloud 1-gen-2012 C. BellettiniM. CamilliL. CapraM. Monga Book Part (author) -
Reachability analysis of time basic Petri Nets: a time coverage approach 1-gen-2012 C. BellettiniL. Capra Book Part (author) -
Memory corruption attacks, defenses, and evasions 1-ago-2008 C. BellettiniJ.L. RRushi Book Part (author) -
Combating memory corruption attacks on SCADA devices 1-gen-2008 C. BellettiniJ. RRushi Book Part (author) -
A product machine model for anomaly detection of interposition attacks on cyber-physical systems 1-gen-2008 C. BellettiniJ.L. Rrushi Book Part (author) -
Vulnerability Analysis of SCADA Protocol Binaries through Detection of Memory Access Taintedness 1-giu-2007 C. BellettiniJ. Rrushi Book Part (author) -
Using a stochastic well-formed net model for assessing a decentralized approach to configuration management 1-mar-2007 C. BellettiniL. CapraM. Monga Article (author) -
A metamodel for modeling and measuring scrum development process 1-gen-2007 Ernesto DamianiAlberto ColomboFulvio FratiCarlo Bellettini Book Part (author) -
SCADA Protocol Obfuscation: A Proactive Defense Line in SCADA Systems 1-gen-2007 Carlo BellettiniRRUSHI, JULIAN Book Part (author) -
Validation of Reverse Engineered Web Application Models 1-gen-2006 C. BellettiniA. MarchettoA. Trentini Article (author) -
AN APPROACH TO CONCERNS AND ASPECTS MINING FOR WEB APPLICATIONS 1-gen-2005 C. BellettiniA. MarchettoA. Trentini Article (author) -
Quotient graphs for the analysis of asymmetric distributed systems : surveying two alternative approaches 1-gen-2005 C. BellettiniL. Capra Book Part (author) -
Quantitative assessment of a peer-to-peer cooperative infrastructure using Stochastic Well-Formed Nets 1-gen-2005 C. BellettiniL. CapraM. Monga Article (author) -
TestUml: user-metrics driven Web Applications testing 1-gen-2005 C. BellettiniA. MarchettoA. Trentini Book Part (author) -
Applying MDSOC to Web Applications 1-gen-2005 C. BellettiniA. MarchettoA. Trentini Book Part (author) -
A comparative assessment of peer-to-peer and server-based configuration management systems 1-set-2004 C. BellettiniL. CapraM. Monga Book Part (author) -
Fuzzy selection of software components and of Web services 1-gen-2004 Carlo Bellettini + Book Part (author) -
Local symmetries exploitation for the analysis of asymmetric distributed systems 1-gen-2004 L. CapraC. Bellettini Book Part (author) -
WebUml: reverse engineering of web applications 1-gen-2004 C. BellettiniA. MarchettoA. Trentini Book Part (author) -
A quotient graph for asymmetric distributed systems 1-gen-2004 C. BellettiniL. Capra Book Part (author) -
Querying UML/XMI Design Information 1-gen-2001 C. BellettiniE. Damiani + Book Part (author) -
Role based access control models 1-gen-2001 C. BellettiniE. BertinoFERRARI, ELENA Article (author) -
Software reuse in-the-small : automating group rewarding 1-gen-2001 C. BellettiniE. Damiani + Article (author) -
User opinions and rewards in a reuse-based development system 1-gen-1999 C. BellettiniE. Damiani + Book Part (author) -
A hierarchy-aware approach to faceted classification of objected-oriented components 1-gen-1999 E. DamianiC. Bellettini + Article (author) -
HyperReal : a modular control architecture for HRT systems 1-gen-1996 C. Bellettini + Article (author) -
Merlot: a tool for analysis of real-time specifications 1-gen-1993 C. Bellettini + Book Part (author) -
Mostrati risultati da 1 a 57 di 57
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