Hypercard automata simulation: finite-state, pushdown and Turing machines
ACM SIGCSE Bulletin
EURO-DAC '94 Proceedings of the conference on European design automation
An approach to guided incremental specification
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Quantum Finite State Transducers
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Creating Difficult Instances of the Post Correspondence Problem
CG '00 Revised Papers from the Second International Conference on Computers and Games
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
Improved indexing for cache miss reduction in embedded systems
Proceedings of the 40th annual Design Automation Conference
Optimality theory and the generative complexity of constraint violability
Computational Linguistics
Zero cost indexing for improved processor cache performance
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A backoff model for bootstrapping resources for non-English languages
HLT '05 Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing
SPEX: Streamed and Progressive Evaluation of XPath
IEEE Transactions on Knowledge and Data Engineering
Size of Quantum Finite State Transducers
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Basic notions in computational complexity
Algorithms and theory of computation handbook
Algorithms and theory of computation handbook
Algorithms and theory of computation handbook
Cybernetics and Systems Analysis
The tenjinno machine translation competition
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
A survey on XML streaming evaluation techniques
The VLDB Journal — The International Journal on Very Large Data Bases
Hi-index | 0.00 |