Journal of the ACM (JACM)
Abstract computability and algebraic specification
ACM Transactions on Computational Logic (TOCL)
Theoretical Computer Science
Foundation of a computable solid modelling
Theoretical Computer Science
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Streams, Stream Transformers and Domain Representations
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
A Logical Approach to Specification of Hybrid Systems
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Semantic Characterisations of Second-Order Computability over the Real Numbers
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Abstract versus concrete computation on metric partial algebras
ACM Transactions on Computational Logic (TOCL)
The rational numbers as an abstract data type
Journal of the ACM (JACM)
Two categories of effective continuous cpos
Theoretical Computer Science - Spatial representation: Discrete vs. continous computational models
Towards a descriptive set theory for domain-like structures
Theoretical Computer Science - Spatial representation: Discrete vs. continous computational models
Two preservation results for countable products of sequential spaces
Mathematical Structures in Computer Science
Programming Experimental Procedures for Newtonian Kinematic Machines
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
On the Continuity of Effective Multifunctions
Electronic Notes in Theoretical Computer Science (ENTCS)
Stability for Effective Algebras
Electronic Notes in Theoretical Computer Science (ENTCS)
Reducibility of domain representations and cantor–weihrauch domain representations
Mathematical Structures in Computer Science
On the completeness of quantum computation models
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
Fields of logic and computation
Elementary algebraic specifications of the rational function field
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Partial continuous functions and admissible domain representations
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Admissible representations in computable analysis
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Computability in computational geometry
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Hi-index | 0.00 |