A formal approach to identify structural patterns in RNA

DOI10.1007/978-3-032-01436-8_11MaRDI QIDQ7290116zbMATH OpenFDO

Authors Michele Loreti, Michela Quadrini, Matteo Scoccia, Luca Tesei

Publication date 6 July 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-032-01436-8_11

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Protein sequences, DNA sequences (92D20)

Cites work

• A propositional modal logic of time intervals
• Actions and Events in Interval Temporal Logic
• Algorithms for pattern matching and discovery in RNA secondary structure
• An automata-theoretic approach to linear temporal logic
• Efficient pattern matching for RNA secondary structures
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Multiple pattern matching: a Markov chain approach
• RNA secondary structure: a complete mathematical analysis
• Shapes of topological RNA structures
• Software model checking

This page was built for publication: A formal approach to identify structural patterns in RNA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7290116)