Communications of the ACM - Services science
Computing is a natural science
Communications of the ACM - Creating a science of games
A probability ranking principle for interactive information retrieval
Information Retrieval
Programming Languages For Interactive Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploring enterprise mobility: Lessons from the field
Information-Knowledge-Systems Management - Enterprise Mobility: Applications, Technologes and Strategies
Data & Knowledge Engineering
Proceedings of the 2008 ACM/IEEE conference on Supercomputing
How We Think of Computing Today
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Optimization in Discovery of Compound Granules
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
EyeSpy: supporting navigation through play
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Interactive Granular Computing in Rightly Judging Systems
RSKT '09 Proceedings of the 4th International Conference on Rough Sets and Knowledge Technology
Turing machines, transition systems, and interaction
Information and Computation
On compiling structured interactive programs with registers and voices
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Services as a paradigm of computation
Formal methods and hybrid real-time systems
The reaction algebra: a formal language for event correlation
Pillars of computer science
Five design challenges for human computation
Proceedings of the 6th Nordic Conference on Human-Computer Interaction: Extending Boundaries
Information systems in modeling interactive computations on granules
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
Discovery of processes and their interactions from data and domain knowledge
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
A tester-assisted methodology for test redundancy detection
Advances in Software Engineering - Special issue on software test automation
Interaction and coordination of tools for structured data
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Proceedings of the 5th India Software Engineering Conference
The computational power of interactive recurrent neural networks
Neural Computation
The expressive power of analog recurrent neural networks on infinite input streams
Theoretical Computer Science
Supporting polyrepresentation and information seeking strategies
FDIA'09 Proceedings of the Third BCS-IRSG conference on Future Directions in Information Access
Optimization in Discovery of Compound Granules
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Perspectives on Uncertainty and Risk in Rough Sets and Interactive Rough-Granular Computing
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
| Hi-index | 0.00 |