Dynamic Discretization of Continuous Values from Time Series. - Llanos Mora López; Inmaculada Fortes Ruiz; Rafael Morales Bueno; Francisco Triguero Ruiz (ECML, 2000)

Bounding Negative Information in Frequent Sets Algorithms. - Inmaculada Fortes Ruiz; José L. Balcázar; Rafael Morales Bueno (Discovery Science, 2001)

Busy Beaver Function in LOOP. - Manuel Baena-García; Rafael Morales Bueno; José-Luis Pérez-de-la-Cruz; Inmaculada Fortes Ruiz; Llanos Mora López (Bull. EATCS, 2005)

Inductive learning models with missing values. - Inmaculada Fortes Ruiz; Llanos Mora López; R. Morales; Francisco Triguero Ruiz (Math. Comput. Model., 2006)

A discrete-time retrial queueing system with starting failures, Bernoulli feedback and general retrial times. - Iván Atencia; Inmaculada Fortes; Sixto Sánchez (Comput. Ind. Eng., 2009)

A discrete-time retrial queueing system with recurrent customers. - Iván Atencia; Inmaculada Fortes; S. Nishimura; Sixto Sánchez (Comput. Oper. Res., 2010)

Closure via functional dependence simplification. - Ángel Mora 001; Pablo Cordero; Manuel Enciso; Inmaculada Fortes; Gabriel Aguilera 001 (Int. J. Comput. Math., 2012)

A Discrete-Time Queueing System With Different Types Of Displacement. - Iván Atencia; Inmaculada Fortes; Sixto Sánchez; Alexander V. Pechinkin (ECMS, 2013)

A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques. - Inmaculada Fortes; Maria A. Galán; Gabriel Aguilera 001; Alfredo Burrieza; J. Morones; Sixto Sánchez (Fuzzy Sets Syst., 2013)

A Discrete-Time Retrial Queueing System With Service Upgrade. - Iván Atencia; Inmaculada Fortes; Sixto Sánchez (ECMS, 2015)

Completeness of a functional system for surjective functions. - Alfredo Burrieza; Inmaculada Fortes; Inmaculada Perez de Guzmán (Math. Log. Q., 2017)

Simplifying Inductive Schemes in Temporal Logic. - Pablo Cordero; Inmaculada Fortes; Inmaculada Perez de Guzmán; Sixto Sánchez (TIME, 2019)