List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Simplifying inductive schemes in temporal logic | 2023-02-03 | Paper |
| Discrete-Time Queueing System with Expulsions Communications in Computer and Information Science | 2015-01-21 | Paper |
| A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques Fuzzy Sets and Systems | 2014-05-14 | Paper |
| Discrete-time queueing system with expulsions Communications in Computer and Information Science | 2013-11-13 | Paper |
| An M/G/1 retrial queue with active breakdowns and Bernoulli schedule in the server | 2007-01-04 | Paper |
| scientific article; zbMATH DE number 2130425 (Why is no real title available?) | 2005-01-20 | Paper |
Research outcomes over time
This page was built for person: S. Sánchez
