Evaluating Software Complexity Measures
IEEE Transactions on Software Engineering
An Extended Domain-Based Model of Software Reliability
IEEE Transactions on Software Engineering
The evaluation of program-based software test data adequacy criteria
Communications of the ACM
The expressiveness of a family of finite set languages
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PIE: A Dynamic Failure-Based Technique
IEEE Transactions on Software Engineering
A framework for evaluating regression test selection techniques
ICSE '94 Proceedings of the 16th international conference on Software engineering
Formal program verification and computability theory
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Control structures in hypothesis spaces: the influence on learning
Theoretical Computer Science
A study of homogeneity in relational databases
Annals of Mathematics and Artificial Intelligence
Semi-Thue Systems with an Inhibitor
Journal of Automated Reasoning
Toward a Formal Philosophy of Hypercomputation
Minds and Machines
IEEE Internet Computing
Coevolution Produces an Arms Race among Virtual Plants
EuroGP '02 Proceedings of the 5th European Conference on Genetic Programming
On the Connections between Rewriting and Formal Language Theory
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Determinization of Glushkov Automata
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
A Universal Turing Machine with 3 States and 9 Symbols
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Journal of Computing Sciences in Colleges
Regular Languages are Testable with a Constant Number of Queries
FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries
ACM Transactions on Information Systems (TOIS)
The modal argument for hypercomputing minds
Theoretical Computer Science - Super-recursive algorithms and hypercomputation
Toward an intutive and interesting theory course: the first step of a road map
Journal of Computing Sciences in Colleges
Encyclopedia of Computer Science
Coevolution and the Red Queen effect shape virtual plants
Genetic Programming and Evolvable Machines
Procedural modeling of buildings
ACM SIGGRAPH 2006 Papers
Computing queries with higher-order logics
Theoretical Computer Science - Logic, language, information and computation
On the expressive power of the loop language
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
The Ground Tree Transducer Game with Identical Tree Automata
Fundamenta Informaticae
Type sharing constraints and undecidability
Journal of Functional Programming
A survey of algebraic properties used in cryptographic protocols
Journal of Computer Security
Alternating two-way AC-tree automata
Information and Computation
Information Processing Letters
Parallelism Increases Iterative Learning Power
ALT '07 Proceedings of the 18th international conference on Algorithmic Learning Theory
Defining and Executing P Systems with Structured Data in K
Membrane Computing
Parallelism increases iterative learning power
Theoretical Computer Science
Extending the loop language with higher-order procedural variables
ACM Transactions on Computational Logic (TOCL)
Toward Aligning Computer Programming with Clear Thinking via the Reason Programming Language
Proceedings of the 2008 conference on Current Issues in Computing and Philosophy
Constructive reduction: understanding uncomputability through programming
ACM SIGCSE Bulletin
The concept of nondeterminism: its development and implications for teaching
ACM SIGCSE Bulletin
Adaptive range-based mobile multicast
Proceedings of the 1st ACM workshop on Mobile internet through cellular networks
U-shaped, iterative, and iterative-with-counter learning
COLT'07 Proceedings of the 20th annual conference on Learning theory
Formal Correctness Proof for DPLL Procedure
Informatica
Procedural modeling for digital cultural heritage
Journal on Image and Video Processing - Special issue on image and video processing for cultural heritage
Multiparty computation with full computation power and reduced overhead
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
A note on algebras of languages
Theoretical Computer Science
The predicate-minimizing logic MIN
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
A constellation resource discovery model based on scalable multi-tape universal turing machine
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
A note on blum static complexity measures
WTCS'12 Proceedings of the 2012 international conference on Theoretical Computer Science: computation, physics and beyond
A Representation Theorem for Primitive Recursive Algorithms
Fundamenta Informaticae
Proving as a Computable Procedure
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Stable Models for Stubborn Sets
Fundamenta Informaticae
An algorithm for transforming design text ROM diagram into FBS model
Computers in Industry
Binary trees as a computational framework
Computer Languages, Systems and Structures
Hi-index | 0.02 |