Inmaculada Fortes

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 3

Top Topics

Arrival Process

Top Venues

Fuzzy Sets Syst.

Publications

Pablo Cordero, Inmaculada Fortes, Inmaculada Perez de Guzmán, Sixto Sánchez
Simplifying Inductive Schemes in Temporal Logic. TIME (2019)
Alfredo Burrieza, Inmaculada Fortes, Inmaculada Perez de Guzmán
Completeness of a functional system for surjective functions. Math. Log. Q. 63 (6) (2017)
Ivan Atencia, Inmaculada Fortes, Sixto Sánchez
A Discrete-Time Retrial Queueing System With Service Upgrade. ECMS (2015)
Inmaculada Fortes, Maria A. Galán, Gabriel Aguilera, Alfredo Burrieza, J. Morones, Sixto Sánchez
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques. Fuzzy Sets Syst. 218 (2013)
Ivan Atencia, Inmaculada Fortes, Sixto Sánchez, Alexander V. Pechinkin
A Discrete-Time Queueing System With Different Types Of Displacement. ECMS (2013)
Angel Mora, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera
Closure via functional dependence simplification. Int. J. Comput. Math. 89 (4) (2012)
Ivan Atencia, Inmaculada Fortes, S. Nishimura, Sixto Sánchez
A discrete-time retrial queueing system with recurrent customers. Comput. Oper. Res. 37 (7) (2010)
Ivan Atencia, Inmaculada Fortes, Sixto Sánchez
A discrete-time retrial queueing system with starting failures, Bernoulli feedback and general retrial times. Comput. Ind. Eng. 57 (4) (2009)