Why interaction is more powerful than algorithms
Communications of the ACM
Automated Software Engineering
Theoretical Computer Science
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Persistent Turing Machines as a Model of Interactive Computation
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
On the Power of Interactive Computing
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Interaction as a Framework for Modeling
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
Combining Mobile Processes and Declarative Programming
CL '00 Proceedings of the First International Conference on Computational Logic
Reasoning About Interactive Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Towards an ASM Thesis for Unconventional Algorithms
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Evaluating real-time software specification languages
Computer Standards & Interfaces
Modeling Indirect Interaction in Open Computational Systems
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Turing machines, transition systems, and interaction
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Propositional computability logic I
ACM Transactions on Computational Logic (TOCL)
Interactive Systems with Registers and Voices
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Theoretical Computer Science
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)
Data & Knowledge Engineering
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Are Statecharts Finite Automata?
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Time-awareness and Proactivity in Models of Interactive Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
The Role of Agent Interaction in Models of Computing: Panelist Reviews
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Indemics: an interactive data intensive framework for high performance epidemic simulation
Proceedings of the 24th ACM International Conference on Supercomputing
Information systems in modeling interactive computations on granules
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
The global interaction research initiative at the IT university of Copenhagen, Denmark
Proceedings of the ACM 2011 conference on Computer supported cooperative work
EG-ICE'06 Proceedings of the 13th international conference on Intelligent Computing in Engineering and Architecture
Location awareness of information agents
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
The church-turing thesis: breaking the myth
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
The computational power of interactive recurrent neural networks
Neural Computation
Refinement-Preserving translation from event-b to register-voice interactive systems
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Interactive Systems with Registers and Voices
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Interactive information systems: Toward perception based computing
Theoretical Computer Science
| Hi-index | 0.02 |