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)

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)

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