Inmaculada Fortes

According to our database, Inmaculada Fortes authored at least 12 papers between 2000 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Simplifying Inductive Schemes in Temporal Logic.

Pablo Cordero, Inmaculada Fortes, Inmaculada Perez de Guzmán, Sixto Sánchez

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

2017

Completeness of a functional system for surjective functions.

Alfredo Burrieza, Inmaculada Fortes, Inmaculada Perez de Guzmán

Math. Log. Q., 2017

2015

A Discrete-Time Retrial Queueing System With Service Upgrade.

Iván Atencia, Inmaculada Fortes, Sixto Sánchez

Proceedings of the 29th European Conference on Modelling and Simulation, 2015

2013

A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques.

Inmaculada Fortes, Maria A. Galán, Gabriel Aguilera, Alfredo Burrieza, J. Morones, Sixto Sánchez

Fuzzy Sets Syst., 2013

A Discrete-Time Queueing System With Different Types Of Displacement.

Iván Atencia, Inmaculada Fortes, Sixto Sánchez, Alexander V. Pechinkin

Proceedings of the 27th European Conference on Modelling and Simulation, 2013

2012

Closure via functional dependence simplification.

Ángel Mora, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera

Int. J. Comput. Math., 2012

2010

A discrete-time retrial queueing system with recurrent customers.

Iván Atencia, Inmaculada Fortes, S. Nishimura, Sixto Sánchez

Comput. Oper. Res., 2010

2009

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

2006

Inductive learning models with missing values.

Inmaculada Fortes Ruiz, Llanos Mora López, R. Morales, Francisco Triguero Ruiz

Math. Comput. Model., 2006

2005

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

2001

Bounding Negative Information in Frequent Sets Algorithms.

Inmaculada Fortes Ruiz, José L. Balcázar, Rafael Morales Bueno

Proceedings of the Discovery Science, 4th International Conference, DS 2001, Washington, 2001

2000

Dynamic Discretization of Continuous Values from Time Series.

Llanos Mora López, Inmaculada Fortes Ruiz, Rafael Morales Bueno, Francisco Triguero Ruiz

Proceedings of the Machine Learning: ECML 2000, 11th European Conference on Machine Learning, Barcelona, Catalonia, Spain, May 31, 2000