M. Kushwaha, W. Rostain, S. Prakash, J. N. Duncan, and A. Jaramillo, Using RNA as molecular code for programming cellular function, ACS Synthetic Biology, vol.5, issue.8, pp.795-809, 2016.
DOI : 10.1021/acssynbio.5b00297
URL : https://doi.org/10.1021/acssynbio.5b00297

G. Rodrigo and A. Jaramillo, RiboMaker: computational design of conformation-based riboregulation, Bioinformatics, vol.30, issue.17, pp.2508-2510, 2014.
DOI : 10.1093/bioinformatics/btu335
URL : https://academic.oup.com/bioinformatics/article-pdf/30/17/2508/9963990/btu335.pdf

J. S. Mccaskill, The equilibrium partition function and base pair binding probabilities for RNA secondary structure, Biopolymers, vol.29, pp.1105-1119, 1990.

Y. Zhang, Y. Ponty, M. Blanchette, E. Lécuyer, and J. Waldispühl, SPARCS: a web server to analyze (un)structured regions in coding RNA sequences, Nucleic acids research, vol.41, pp.480-485, 2013.
DOI : 10.1093/nar/gkt461
URL : https://hal.archives-ouvertes.fr/hal-00819017

M. Wachsmuth, S. Findeiß, N. Weissheimer, P. F. Stadler, and M. Mörl, De novo design of a synthetic riboswitch that regulates transcription termination, Nucleic Acids Research, vol.41, issue.4, pp.2541-2551, 2013.

G. Domin, S. Findeiß, M. Wachsmuth, S. Will, P. F. Stadler et al., Applicability of a computational design approach for synthetic riboswitches, Nucleic Acids Research, vol.45, issue.7, pp.4108-4119, 2017.

S. Findeiß, M. Etzel, S. Will, M. Mörl, and P. F. Stadler, Design of artificial riboswitches as biosensors, Sensors, p.17, 2017.

J. Y. Zhu, A. Steif, J. R. Proctor, and I. M. Meyer, Transient RNA structure features are evolutionarily conserved and can be computationally predicted, Nucleic acids research, vol.41, pp.6273-6285, 2013.
DOI : 10.1093/nar/gkt319
URL : https://academic.oup.com/nar/article-pdf/41/12/6273/16952882/gkt319.pdf

V. Reinharz, Y. Ponty, and J. Waldispühl, A weighted sampling algorithm for the design of RNA sequences with targeted secondary structure and nucleotide distribution, Bioinformatics, vol.29, pp.308-315, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00840260

Y. Zhou, Y. Ponty, S. Vialette, J. Waldispühl, Y. Zhang et al., Flexible RNA design under structure and sequence constraints using formal languages, ACM Conference on Bioinformatics, p.229, 2013.
DOI : 10.1145/2506583.2506623
URL : https://hal.archives-ouvertes.fr/hal-00823279

A. Levin, M. Lis, Y. Ponty, C. W. O'donnell, S. Devadas et al., A global sampling approach to designing and reengineering RNA secondary structures, Nucleic acids research, vol.40, issue.20, pp.10041-10052, 2012.
DOI : 10.1093/nar/gks768
URL : https://hal.archives-ouvertes.fr/hal-00733924

A. Busch and R. Backofen, INFO-RNA-a fast approach to inverse RNA folding, Bioinformatics, vol.22, pp.1823-1831, 2006.
DOI : 10.1093/bioinformatics/btl194
URL : https://academic.oup.com/bioinformatics/article-pdf/22/15/1823/668282/btl194.pdf

I. L. Hofacker, W. Fontana, P. F. Stadler, L. S. Bonhoeffer, M. Tacker et al., Fast folding and comparison of RNA secondary structures. Monatshefte für Chemie, Chemical Monthly, vol.125, issue.2, pp.167-188, 1994.
DOI : 10.1007/bf00818163

R. Kleinkauf, T. Houwaart, R. Backofen, and M. Mann, antarna -multi-objective inverse folding of pseudoknot rna using ant-colony optimization, BMC Bioinformatics, vol.16, issue.1, p.389, 2015.

R. B. Lyngsø, J. W. Anderson, E. Sizikova, A. Badugu, T. Hyland et al., Frnakenstein: multiple target inverse RNA folding, BMC bioinformatics, vol.13, p.260, 2012.

C. Höner-zu-siederdissen, S. Hammer, I. Abfalter, I. L. Hofacker, C. Flamm et al., Computational design of RNAs with complex energy landscapes, Biopolymers, vol.99, pp.1124-1136, 2013.

A. Taneda, Multi-objective optimization for RNA design with multiple target secondary structures, BMC bioinformatics, vol.16, p.280, 2015.
DOI : 10.1186/s12859-015-0706-x
URL : https://bmcbioinformatics.biomedcentral.com/track/pdf/10.1186/s12859-015-0706-x

S. Hammer, B. Tschiatschek, C. Flamm, I. L. Hofacker, and S. Findeiß, RNAblueprint: flexible multiple target nucleic acid sequence design, Bioinformatics, vol.33, pp.2850-2858, 2017.
DOI : 10.1093/bioinformatics/btx263
URL : https://academic.oup.com/bioinformatics/article-pdf/33/18/2850/25164141/btx263.pdf

Y. Ding and C. E. Lawrence, A statistical sampling algorithm for RNA secondary structure prediction, Nucleic acids research, vol.31, pp.7280-7301, 2003.
DOI : 10.1093/nar/gkg938
URL : https://academic.oup.com/nar/article-pdf/31/24/7280/9492196/gkg938.pdf

A. A. Bulatov, M. Dyer, L. A. Goldberg, M. Jerrum, and C. Mcquillan, The expressibility of functions on the boolean domain, with applications to counting CSPs, J. ACM, vol.60, issue.5, pp.32-13236, 2013.

J. Cai, A. Galanis, L. A. Goldberg, H. Guo, M. Jerrum et al., # BIS-hardness for 2-spin systems on bipartite bounded degree graphs in the tree non-uniqueness region, Journal of Computer and System Sciences, vol.82, issue.5, pp.690-711, 2016.

R. Dechter, Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms, p.191, 2013.
DOI : 10.2200/s00529ed1v01y201308aim023

T. Van-dijk, J. Van-den-heuvel, and W. Slob, Computing treewidth with LibTW, 2006.

J. Ren, B. Rastegari, A. Condon, and H. H. Hoos, Hotknots: heuristic prediction of RNA secondary structures including pseudoknots, RNA, vol.11, pp.1494-1504, 2005.

D. H. Turner and D. H. Mathews, NNDB: the nearest neighbor parameter database for predicting stability of nucleic acid secondary structure, Nucleic acids research, vol.38, pp.280-282, 2009.

O. Bodini and Y. Ponty, Multi-dimensional Boltzmann sampling of languages, Proceedings of the 21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), pp.49-64, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00450763

J. Waldispühl and Y. Ponty, An unbiased adaptive sampling algorithm for the exploration of RNA mutational landscapes under evolutionary pressure, Journal of computational biology : a journal of computational molecular cell biology, vol.18, pp.1465-1479, 2011.

A. Denise, Y. Ponty, and M. Termier, Controlled non-uniform random generation of decomposable structures, Theoretical Computer Science, vol.411, pp.3527-3552, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00483581

M. Bendkowski, O. Bodini, and S. Dovgal, Polynomial tuning of multiparametric combinatorial samplers, 2017.
DOI : 10.1137/1.9781611975062.9
URL : https://epubs.siam.org/doi/pdf/10.1137/1.9781611975062.9

J. Cupal, I. L. Hofacker, and P. F. Stadler, Dynamic programming algorithm for the density of states of RNA secondary structures, German Conference on Bioinformatics, pp.184-186, 1996.

E. A. Bender, L. B. Richmond, and S. Williamson, Central and local limit theorems applied to asymptotic enumeration. iii. matrix recursions, Journal of Combinatorial Theory, Series A, vol.35, issue.3, pp.263-278, 1983.
DOI : 10.1016/0097-3165(73)90038-1
URL : https://doi.org/10.1016/0097-3165(73)90038-1

M. Drmota, Systems of functional equations, Random Structures and Algorithms, vol.10, issue.1-2, pp.103-124, 1997.
URL : https://hal.archives-ouvertes.fr/hal-01197227

Q. Ge and D. ?tefankovi?, A graph polynomial for independent sets of bipartite graphs, Combinatorics, Probability and Computing, vol.21, issue.05, pp.695-714, 2012.

R. Lorenz, S. H. Bernhart, C. H. Zu-siederdissen, H. Tafer, C. Flamm et al., ViennaRNA Package 2.0, Algorithms for Molecular Biology, vol.6, issue.1, p.26, 2011.
DOI : 10.1186/1748-7188-6-26
URL : https://almob.biomedcentral.com/track/pdf/10.1186/1748-7188-6-26

C. Flamm, I. L. Hofacker, S. Maurer-stroh, P. F. Stadler, and M. Zehl, Design of multistable RNA molecules, RNA, vol.7, pp.254-265, 2001.

R. M. Dirks and N. A. Pierce, A partition function algorithm for nucleic acid secondary structure including pseudoknots, J. Comput. Chem, vol.24, issue.13, pp.1664-1677, 2003.
DOI : 10.1002/jcc.10296

S. Sheikh, R. Backofen, and Y. Ponty, Impact of the energy model on the complexity of RNA folding with pseudoknots, Combinatorial Pattern Matching -23rd Annual Symposium, vol.7354, pp.321-333, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00670232

E. Rivas, J. Clements, and S. R. Eddy, A statistical test for conserved rna structure shows lack of evidence for structure in lncrnas, Nature methods, vol.14, pp.45-48, 2017.