Sixto Snchez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2013–2019
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TIME | Simplifying Inductive Schemes in Temporal Logic. | Pablo Cordero, Inmaculada Fortes, Inmaculada Perez de Guzmn, Sixto Snchez |
| 2015 | ECMS | A Discrete-Time Retrial Queueing System With Service Upgrade. | Ivn Atencia, Inmaculada Fortes, Sixto Snchez |
| 2013 | ECMS | A Discrete-Time Queueing System With Different Types Of Displacement. | Ivn Atencia, Inmaculada Fortes, Sixto Snchez, Alexander V. Pechinkin |