Michela Quadrini

36 papers B 1C 2Misc 1Journal 13Unranked 19
YearRankTypeTitle / Venue / Authors
2026 — conf
Scalable Verification of Local and Global Properties of Collective Systems.
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Michele Loreti, Michela Quadrini, Aniqa Rehman
2025 — conf
A Formal Approach to Identify Structural Patterns in RNA.
CMSB
Michele Loreti, Michela Quadrini, Matteo Scoccia, Luca Tesei
2025 — conf
A comparative study of speech-to-text for Italian.
Ital-IA
Michela Quadrini, Michele Loreti, Mattia Luciani, Ivano Corradetti, Carboni Matteo, Stefano Vagnoni
2024 — conf
Comparison of Machine Learning approaches for Stress Detection from Wearable Sensors Data.
Ital-IA
Michela Quadrini, Denise Falcone, Gianluca Gerard
2024 — conf
Encoding Methods Comparison for Stress Detection.
HC@AIxIA
Marco Serenelli, Michela Quadrini, Maria Óskarsdóttir, Michele Loreti
2024 — conf
Monitoring Local and Global Properties of Collective Adaptive Systems.
ISoLA (2)
Nicola Del Giudice, Michele Loreti, Michela Quadrini, Aniqa Rehman
2024 — conf
Real-Time Intrusion Detection via Machine Learning Approaches.
Ital-IA
Erik Murtaj, Michela Quadrini, Fausto Marcantoni, Michele Loreti, Hans Friedrich Witschel
2024 — conf
Reproducibility Report for the Paper: DRackSim: Simulating CXL-enabled Large-Scale Disaggregated Memory Systems.
SIGSIM-PADS
Michela Quadrini
2024 J jnl
Sibilla: A tool for reasoning about collective systems.
Sci. Comput. Program.
Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti
2024 — conf
Sleep Apnea Detection using Mel-spectrograms Snoring and Convolutional Neural Networks.
BIBM
Michela Quadrini, Ereza Abdullah, Niccolò Francioni, Marco Quadrini, Matteo Scoccia, Michele Bellesi, Michele Loreti
2024 J jnl
Stress detection with encoding physiological signals and convolutional neural network.
Mach. Learn.
Michela Quadrini, Antonino Capuccio, Denise Falcone, Sebastian Daberdaku, Alessandro Blanda, Luca Bellanova, Gianluca Gerard
2024 — conf
Synthesis Tool Suite for Large Stochastic Model.
VALUETOOLS
Lorenzo Matteucci, Michela Quadrini, Michele Loreti
2024 — conf
TARNAS, a TrAnslator for RNA Secondary Structure Formats.
CIBB
Michela Quadrini, Piero Hierro Canchari, Piermichele Rosati, Luca Tesei
2024 J jnl
The μG Language for Programming Graph Neural Networks.
CoRR
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
2024 J jnl
libmg: A Python library for programming graph neural networks in μG.
Sci. Comput. Program.
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
2023 J jnl
A Spatial Logic for Simplicial Models.
Log. Methods Comput. Sci.
Michele Loreti, Michela Quadrini
2023 C conf
Implementing a CTL Model Checker with μ
FORTE
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
2022 J jnl
Automatic generation of pseudoknotted RNAs taxonomy.
BMC Bioinform.
Michela Quadrini, Luca Tesei, Emanuela Merelli
2022 J jnl
Hierarchical representation for PPI sites prediction.
BMC Bioinform.
Michela Quadrini, Sebastian Daberdaku, Carlo Ferrari
2022 C conf
Sibilla: A Tool for Reasoning about Collective Systems.
COORDINATION
Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti
2022 B conf
Stress Detection from Wearable Sensor Data Using Gramian Angular Fields and CNN.
DS
Michela Quadrini, Sebastian Daberdaku, Alessandro Blanda, Antonino Capuccio, Luca Bellanova, Gianluca Gerard
2021 J jnl
A Spatial Logic for a Simplicial Complex Model.
CoRR
Michele Loreti, Michela Quadrini
2021 — conf
ProSPs: Protein Sites Prediction Based on Sequence Fragments.
LOD
Michela Quadrini, Massimo Cavallin, Sebastian Daberdaku, Carlo Ferrari
2021 J jnl
Structural relation matching: an algorithm to identify structural patterns into RNAs and their interactions.
J. Integr. Bioinform.
Michela Quadrini
2020 J jnl
ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots.
Bioinform.
Michela Quadrini, Luca Tesei, Emanuela Merelli
2020 — conf
Hierarchical Representation and Graph Convolutional Networks for the Prediction of Protein-Protein Interaction Sites.
LOD (2)
Michela Quadrini, Sebastian Daberdaku, Carlo Ferrari
2020 Misc conf
Searching RNA Substructures with Arbitrary Pseudoknots.
PACBB
Michela Quadrini
2019 J jnl
An algebraic language for RNA pseudoknots comparison.
BMC Bioinform.
Michela Quadrini, Luca Tesei, Emanuela Merelli
2019 — conf
Label Core for Understanding RNA Structure.
CIBB
Michela Quadrini, Emanuela Merelli, Riccardo Piergallini
2019 — conf
Loop Grammars to Identify RNA Structural Patterns.
BIOINFORMATICS
Michela Quadrini, Emanuela Merelli, Riccardo Piergallini
2018 J jnl
An integral equation method for the numerical solution of the Burgers equation.
Comput. Math. Appl.
Nadaniela Egidi, Pierluigi Maponi, Michela Quadrini
2018 — conf
Loop-loop Interaction Metrics on RNA Secondary Structures with Pseudoknots.
BIOINFORMATICS
Michela Quadrini, Emanuela Merelli
2017 J jnl
An algebraic representation for tree alignment of RNA pseudoknotted structures.
PeerJ Prepr.
Michela Quadrini, Luca Tesei, Emanuela Merelli
2017 — conf
Topological Classification of RNA Structures via Intersection Graph.
TPNC
Michela Quadrini, Rosario Culmone, Emanuela Merelli
2016 — conf
Survey of TOPDRIM Applications of Topological Data Analysis.
KDWeb
Emanuela Merelli, Matteo Rucco, Luca Tesei, Marco Piangerelli, Adane Letta Mamuye, Michela Quadrini
2014 — conf
AAL domain ontology for event-based human activity recognition.
MESA
Rosario Culmone, Marco Falcioni, Paolo Giuliodori, Emanuela Merelli, Alessandro Orrù, Michela Quadrini, Paolo Ciampolini, Ferdinando Grossi, Guido Matrella