Pubblicazioni

• 1 . A SPATIAL LOGIC FOR SIMPLICIAL MODELS
  Loreti, M.; Quadrini, M.
  LOGICAL METHODS IN COMPUTER SCIENCE;2023;Vol. 19;Pages:1 -25 [ Articolo ]
• 2 . Implementing a CTL Model Checker with µG, a Language for Programming Graph Neural Networks
  Belenchia, M.; Corradini, F.; Quadrini, M.; Loreti, M.
  2023;Vol. 13910;Pages:37 -54 [ Contributo in volume (capitolo o saggio) ]
• 3 . Automatic generation of pseudoknotted RNAs taxonomy
  Quadrini, M.; Tesei, L.; Merelli, E.
  BMC BIOINFORMATICS;2022;Vol. 23;Pages:1 -24 [ Articolo ]
• 4 . Hierarchical representation for PPI sites prediction
  Quadrini, M.; Daberdaku, S.; Ferrari, C.
  BMC BIOINFORMATICS;2022;Vol. 23;Pages:1 -34 [ Articolo ]
• 5 . ProSPs: Protein Sites Prediction Based on Sequence Fragments
  Quadrini, M.; Cavallin, M.; Daberdaku, S.; Ferrari, C.
  2022;Pages:568 -580 [ Contributo in volume (capitolo o saggio) ]