Probabilistic Pattern Matching and the Evolution of Stochastic Regular Expressions
Applied Intelligence
Persistent Turing Machines as a Model of Interactive Computation
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Executable Protocol Specification in ESL
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
The Expressive Power of Horn Monadic Linear Logic
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Indexing Semistructured Data Using PATRICIA Tree
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Fast Test Generation for Circuits with RTL and Gate-Level Views
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Applying Propositional Logic to Workflow Verification
Information Technology and Management
RDS: Remote Distributed Scheme for Protecting Mobile Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Literature Extraction of Protein Functions Using Sentence Pattern Mining
IEEE Transactions on Knowledge and Data Engineering
Safety analysis of usage control authorization models
ASIACCS '06 Proceedings of the 2006 ACM Symposium on Information, computer and communications security
Finite automata models for CS problem with binary semaphore
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
Proceedings of the 5th international conference on Generative programming and component engineering
Revisiting a limit on efficient quantum computation
Proceedings of the 44th annual Southeast regional conference
Query rewriting with symmetric constraints
AI Communications
On Τ-adic representations of integers
Designs, Codes and Cryptography
Journal of Systems and Software
Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs
Electronic Notes in Theoretical Computer Science (ENTCS)
Turing machines and bimachines
Theoretical Computer Science
Composition of Motion Description Languages
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Some Theorems Concerning the Core Function
Concurrency, Graphs and Models
Back to the Complexity of Universal Programs
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
A Characterisation of NL Using Membrane Systems without Charges and Dissolution
UC '08 Proceedings of the 7th international conference on Unconventional Computing
On the State Complexity of Complements, Stars, and Reversals of Regular Languages
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
Polynomial Distinguishability of Timed Automata
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
Computation with finite stochastic chemical reaction networks
Natural Computing: an international journal
How Redundant Is Your Universal Computation Device?
Membrane Computing
Induction as a tool for conceptual coherence in computer science
Proceedings of the 46th Annual Southeast Regional Conference on XX
Dominance and equivalence for sensor-based agents
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Model checking of healthcare domain models
Computer Methods and Programs in Biomedicine
On NFAs where all states are final, initial, or both
Theoretical Computer Science
Modal and mixed specifications: Key decision problems and their complexities
Mathematical Structures in Computer Science
The computational complexity of equivalence and isomorphism problems
The computational complexity of equivalence and isomorphism problems
Existential heap abstraction entailment is undecidable
SAS'03 Proceedings of the 10th international conference on Static analysis
A time hierarchy theorem for nondeterministic cellular automata
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Deterministic blow-ups of minimal nondeterministic finite automata over a fixed alphabet
DLT'07 Proceedings of the 11th international conference on Developments in language theory
Periodic and infinite traces in matrix semigroups
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
2-layer erroneous-plan recognition for dementia patients in smart homes
Healthcom'09 Proceedings of the 11th international conference on e-Health networking, applications and services
Variations of the turing test in the age of internet and virtual reality
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
The efficiency of identifying timed automata and the power of clocks
Information and Computation
Quantum Information & Computation
A geometric approach to quantum circuit lower bounds
Quantum Information & Computation
| Hi-index | 0.00 |