Tibor Gregorics
From MaRDI portal
Person:1698574
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 |
|---|---|---|
| Time complexity of \(A^{**}\) | 2021-12-13 | Paper |
| Object-oriented backtracking Acta Universitatis Sapientiae. Informatica | 2018-02-16 | Paper |
| A unified approach of program verification Acta Universitatis Sapientiae. Informatica | 2017-08-09 | Paper |
| Remarks on the \(\mathrm A^{\ast\ast}\) algorithm Acta Universitatis Sapientiae. Informatica | 2015-02-05 | Paper |
| Concept of the abstract program (available as arXiv preprint) | 2014-12-30 | Paper |
| scientific article; zbMATH DE number 6315451 (Why is no real title available?) | 2014-07-09 | Paper |
| Address standardization Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica | 2012-07-12 | Paper |
| scientific article; zbMATH DE number 2065281 (Why is no real title available?) | 2004-05-18 | Paper |
| A more effective version of algorithm A Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica | 2002-02-13 | Paper |
| scientific article; zbMATH DE number 1134692 (Why is no real title available?) | 1998-03-26 | Paper |
Research outcomes over time
This page was built for person: Tibor Gregorics
