Sixto Sánchez

According to our database, Sixto Sánchez authored at least 6 papers between 2009 and 2019.

Collaborative distances:

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

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

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

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