Hypercard automata simulation: finite-state, pushdown and Turing machines
ACM SIGCSE Bulletin
Formal program verification and computability theory
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Database indexing for large DNA and protein sequence collections
The VLDB Journal — The International Journal on Very Large Data Bases
Evaluating real-time software specification languages
Computer Standards & Interfaces
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Fundamenta Informaticae - Special issue on computing patterns in strings
Accelerating machines: a review
International Journal of Parallel, Emergent and Distributed Systems
Development of a deterministic XML schema by resolving structure ambiguity of HL7 messages
Computer Methods and Programs in Biomedicine
Fundamenta Informaticae - Computing Patterns in Strings
| Hi-index | 0.00 |