Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Linearization and Model Reduction in Zonotope-Based Reachability Analysis of Nonlinear ODEs
2025 Boreale M.; Collodi L.
Modeling and analyzing information quality requirements for socio-technical systems: Experience report
2015 Gharib M.; Giorgini P.
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS
2025 Bilotta A.; Maggesi M.; Perini Brogi C.
On Attacks (Dis)Similarities to Test Adversarial Defense: Can We Reduce the Attack Set?
2024 Puccetti T.; Zoppi T.; Ceccarelli A.
On the Usage of ChatGPT for Integrating CAPEC Attacks into ADVISE Meta Ontology
2025 Kordi M.; Mariotti F.; Magrini R.; Lollini P.; Bondavalli A.
Predict Cellular network traffic with Markov Logic
2018 Lippi M.; Mamei M.; Zambonellli F.
Preface
2018 Ferrari L.; Vamvakari M.
PURPLE: a PURPose-guided Log GEnerator (Extended Abstract)
2022 Burattin A.; Re B.; Rossi L.; Tiezzi F.
Reasoning with deep learning: An open challenge
2017 Lippi M.
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health
2024 Cappanera P.; Caruso S.; Dodaro C.; Galata G.; Gavanelli M.; Maratea M.; Marte C.; Mochi M.; Nonato M.; Roma M.
Recurrent Neural Networks for Guiding Proof Search in Propositional Logic
2025 Gianluca Amato; Nicola Balestra; Marco Maggesi; Maurizio Parton
Relational identity in adolescence: Between loneliness and sense of personal uniqueness
2019 Palma T.D.; Sica L.S.; Ciucci E.; Baroncelli A.; Carpenzano D.; Facci C.
RePROSitory: a Repository platform for sharing business PROcess models and logS
2021 Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
The rise of online teaching and digital learning during the health emergency from Covid-19 and teachers’ working self-efficacy: an Italian perspective.
2021 Carolina Facci, Marisabel Iacopino, Andrea Baroncelli, Enrica Ciucci
Risk assessment of a biometric continuous authentication protocol for internet services
2017 Schiavone, Enrico; Ceccarelli, Andrea; Bondavalli, Andrea
Risorse linguistiche di varietà storiche di italiano: il progetto TrAVaSI
2020 Marco Biffi, Manuel Favaro, Simonetta Montemagni
Setting the Path to the Combinatorial Characterization of Prime Double Square Polyominoes
2023 Michela Ascolese, Andrea Frosini
Spoofing detectability as a property of biometric characteristics
2021 Zoppi T.; Schiavone E.; Bicchierai I.; Brancati F.; Bondavalli A.
Summary: Building and evaluating a theory of architectural technical debt in software-intensive systems
2021 Verdecchia R.; Kruchten P.; Lago P.; Malavolta I.
Toward the integration of perception and knowledge reasoning: An adaptive rehabilitation scenario
2020 Umbrico A.; Sorrentino A.; Cavallo F.; Fiorini L.; Orlandini A.; Cesta A.
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