S. Akers, Binary Decision Diagrams, IEEE Transactions on Computers, vol.27, issue.6, 1978.
DOI : 10.1109/TC.1978.1675141

Y. Aumann and M. Bender, Fault tolerant data structures, Proceedings of 37th Conference on Foundations of Computer Science, 1996.
DOI : 10.1109/SFCS.1996.548517

A. Bernasconi, V. Ciriani, and L. Lago, Error resilient OBDDs, 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), pp.246-249, 2013.
DOI : 10.1109/DDECS.2013.6549826

A. Bernasconi, V. Ciriani, and L. Lago, On the error resilience of ordered binary decision diagrams, Theoretical Computer Science, vol.595, pp.1404-3919, 2014.
DOI : 10.1016/j.tcs.2015.05.050

R. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, 1986.
DOI : 10.1109/TC.1986.1676819

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.4027

V. Ciriani, S. D. Di-vimercati, S. Foresti, G. Livraga, and P. Samarati, An OBDD approach to enforce confidentiality and visibility constraints in data publishing*, Journal of Computer Security, vol.20, issue.5, pp.463-508, 2012.
DOI : 10.3233/JCS-2012-0449

R. Drechsler, Verifying integrity of decision diagrams, In: Computer Safety, Reliability and Security, 1998.

R. Ebendt, G. Fey, and R. Drechsler, Advanced BDD Optimization, 2005.

I. Finocchi, F. Grandoni, and G. Italiano, Designing reliable algorithms in unreliable memories, Computer Science Review, vol.1, issue.2, pp.77-87, 2007.
DOI : 10.1016/j.cosrev.2007.10.001

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.6428

I. Finocchi and G. Italiano, Sorting and Searching in Faulty Memories, Algorithmica, vol.14, issue.1, 2008.
DOI : 10.1007/s00453-007-9088-4

I. Finocchi, F. Grandoni, and G. F. Italiano, Optimal resilient sorting and searching in the presence of memory faults, Theoretical Computer Science, vol.410, issue.44, pp.4457-4470, 2009.
DOI : 10.1016/j.tcs.2009.07.026

I. Finocchi, F. Grandoni, and G. F. Italiano, Resilient dictionaries, ACM Transactions on Algorithms, vol.6, issue.1, 2009.
DOI : 10.1145/1644015.1644016

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.411.2319

G. Italiano, Resilient Algorithms and Data Structures, Algorithms and Complexity, 2010.
DOI : 10.1007/978-3-642-13073-1_3

B. Jacob, S. Ng, and D. Wang, Cache, DRAM, Disk, 2008.

D. Knuth, The Art of Computer Programming Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams, 2009.

H. T. Liaw and C. S. Lin, On the OBDD-representation of general Boolean functions, IEEE Transactions on Computers, 1992.

S. Minato, Zero-suppressed BDDs for set manipulation in combinatorial problems, Proceedings of the 30th international on Design automation conference , DAC '93, pp.272-277, 1993.
DOI : 10.1145/157485.164890

S. Minato, Data Mining Using Binary Decision Diagrams In: Progress in Representation of Discrete Functions, pp.97-109, 2010.

S. Minato, Techniques of BDD/ZDD: Brief History and Recent Activity, IEICE Transactions on Information and Systems, vol.96, issue.7, pp.1419-1429, 2013.
DOI : 10.1587/transinf.E96.D.1419

S. Minato and I. Kimihito, Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data, Transactions of the Japanese Society for Artificial Intelligence, vol.22, issue.1, pp.300-308, 2007.
DOI : 10.1527/tjsai.22.156

J. I. Requeno, J. M. Colom, M. P. Rocha, N. Luscombe, F. Fdez-riverola et al., Compact Representation of Biological Sequences Using Set Decision Diagrams, 6th International Conference on Practical Applications of Computational Biology & Bioinformatics, Advances in Intelligent and Soft Computing, pp.231-239, 2012.
DOI : 10.1007/978-3-642-28839-5_27

D. Taylor, Error models for robust storage structures, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium, 1990.
DOI : 10.1109/FTCS.1990.89396

S. Yoon, C. Nardini, L. Benini, and G. De-micheli, Discovering Coherent Biclusters from Gene Expression Data Using Zero-Suppressed Binary Decision Diagrams, IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol.2, issue.4, pp.339-354, 2005.
DOI : 10.1109/TCBB.2005.55