| Publication | Date of Publication | Type |
|---|
Domains, information frames, and their logic
Theoretical Computer Science | 2025-11-21 | Paper |
On the main scientific achievements of Victor Selivanov
Computability | 2024-01-31 | Paper |
How much partiality is needed for a theory of computability?
Computability | 2024-01-31 | Paper |
scientific article; zbMATH DE number 7731929 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-26 | Paper |
Information Systems with Witnesses: The Function Space Construction
Mathematics for Computation (M4C) | 2023-08-04 | Paper |
Concurrent Gaussian Elimination
Mathematics for Computation (M4C) | 2023-08-04 | Paper |
| scientific article; zbMATH DE number 7568608 (Why is no real title available?) | 2022-08-05 | Paper |
scientific article; zbMATH DE number 7568608 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-05 | Paper |
Computing with continuous objects: a uniform co-inductive approach
Mathematical Structures in Computer Science | 2021-10-11 | Paper |
Bi-topological spaces and the Continuity Problem
(available as arXiv preprint) | 2021-09-02 | Paper |
Generalised information systems capture L-domains
Theoretical Computer Science | 2021-05-10 | Paper |
Computing with Continuous Objects: A Uniform Co-inductive Approach
(available as arXiv preprint) | 2020-04-11 | Paper |
Some results related to the continuity problem
Mathematical Structures in Computer Science | 2017-11-22 | Paper |
A coinductive approach to computing with compact sets
Journal of Logic and Analysis | 2017-04-10 | Paper |
| Partial numberings and precompleteness | 2015-04-09 | Paper |
| scientific article; zbMATH DE number 6423750 (Why is no real title available?) | 2015-04-09 | Paper |
| scientific article; zbMATH DE number 6423735 (Why is no real title available?) | 2015-04-09 | Paper |
| Representing L-domains as information systems | 2014-06-24 | Paper |
On the continuity of effective multifunctions
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
Every \({\Delta}^0_2\)-set is natural, up to Turing equivalence
Programs, Proofs, Processes | 2010-07-29 | Paper |
Effectivity and effective continuity of multifunctions
Journal of Symbolic Logic | 2010-06-24 | Paper |
| scientific article; zbMATH DE number 5566500 (Why is no real title available?) | 2009-06-18 | Paper |
Information systems revisited -- the general continuous case
Theoretical Computer Science | 2008-10-21 | Paper |
| scientific article; zbMATH DE number 5263151 (Why is no real title available?) | 2008-04-14 | Paper |
The largest Cartesian closed category of domains, considered constructively
Mathematical Structures in Computer Science | 2005-05-06 | Paper |
A note on partial numberings
MLQ | 2005-04-07 | Paper |
Strong reducibility of partial numberings
Archive for Mathematical Logic | 2005-03-02 | Paper |
Can partial indexings be totalized?
The Journal of Symbolic Logic | 2002-10-02 | Paper |
Safe Weak Minimization Revisited
SIAM Journal on Computing | 2002-09-29 | Paper |
| scientific article; zbMATH DE number 1696771 (Why is no real title available?) | 2002-07-22 | Paper |
Corrigendum to ``On functions preserving levels of approximation: A refined model construction for various lambda calculi''
Theoretical Computer Science | 2002-07-14 | Paper |
Representations versus numberings: On the relationship of two computability notions
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1678391 (Why is no real title available?) | 2001-12-04 | Paper |
Corrigendum to: ``On effective topological spaces''
The Journal of Symbolic Logic | 2001-09-03 | Paper |
| scientific article; zbMATH DE number 1559386 (Why is no real title available?) | 2001-01-31 | Paper |
On effective topological spaces
Journal of Symbolic Logic | 1999-06-27 | Paper |
On functions preserving levels of approximation: A refined model construction for various lambda calculi
Theoretical Computer Science | 1999-01-12 | Paper |
| scientific article; zbMATH DE number 1222114 (Why is no real title available?) | 1998-11-11 | Paper |
Effective inseparability in a topological setting
Annals of Pure and Applied Logic | 1996-10-09 | Paper |
On some decision problems in programming
Information and Computation | 1995-10-30 | Paper |
| scientific article; zbMATH DE number 17702 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4156425 (Why is no real title available?) | 1990-01-01 | Paper |
Computable one-to-one enumerations of effective domains
Information and Computation | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4079405 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4115977 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4100618 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4049046 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3992935 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3867312 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3805295 (Why is no real title available?) | 1981-01-01 | Paper |
On some properties of the Cesaro limit of a stochastic matrix
Linear Algebra and its Applications | 1981-01-01 | Paper |
A further anticycling rule in multichain policy iteration for undiscounted Markov renewal programs
Zeitschrift für Operations Research | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3689179 (Why is no real title available?) | 1980-01-01 | Paper |
A New Specification of the Multichain Policy Iteration Algorithm in Undiscounted Markov Renewal Programs
Management Science | 1980-01-01 | Paper |
