Journal of the ACM (JACM) - The MIT Press scientific computation series
A model curriculum for a liberal arts degree in computer science
Communications of the ACM - The MIT Press scientific computation series
Teaching theory of computation at the junior level
APL '87 Proceedings of the international conference on APL: APL in transition
The parallel complexity of simple chain queries
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The management of changing types in an object-oriented database
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A rule-based circuit representation for automated CMOS design and verification
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Two undergraduate courses in the theory of computation
ACM SIGCSE Bulletin
Undergraduate theory of computation: an approach using simulation tools
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
A first course in program verification and the semantics of programming languages
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
A framework for high level synthesis of digital architectures from u-recursive algorithms
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
On finding the closest bitwise matches in a fixed set
ACM Transactions on Mathematical Software (TOMS)
On Datalog vs. polynomial time (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Nomenclator descriptive query optimization for large X.500 environments
SIGCOMM '91 Proceedings of the conference on Communications architecture & protocols
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
The parallel complexity of simple logic programs
Journal of the ACM (JACM)
A restated pumping lemma for context-free languages
ACM SIGACT News
On the impact of forgetting on learning machines
COLT '93 Proceedings of the sixth annual conference on Computational learning theory
A linear programming approach to logical inference
CSC '93 Proceedings of the 1993 ACM conference on Computer science
LLparse and LRparse: visual and interactive tools for parsing
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
On the impact of forgetting on learning machines
Journal of the ACM (JACM)
A Model for Secure Protocols and Their Compositions
IEEE Transactions on Software Engineering
Technical opinion: noncomputability is easy to understand
Communications of the ACM
Mobile Networks and Applications - Special issue: protocols for mobile environments
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Determining Aliasing Probabilities in BIST by Counting Strings
Journal of Electronic Testing: Theory and Applications
Automatic functional test program generation for microprocessors
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Using JFLAP to interact with theorems in automata theory
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Interaction between path and type constraints
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Applications of restrictive cutsets and topological CROSS's for minimum total load
ACM-SE 37 Proceedings of the 37th annual Southeast regional conference (CD-ROM)
Symbolic Verification of Communication Protocols with Infinite StateSpaces using QDDs
Formal Methods in System Design
WSC '88 Proceedings of the 20th conference on Winter simulation
Observations on the complexity of composable simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Crozzle: an NP-complete problem
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Increasing visualization and interaction in the automata theory course
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Computational aspects of resilient data extraction from semistructured sources (extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Shock Graphs and Shape Matching
International Journal of Computer Vision
Undecidability of context-sensitive data-dependence analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
Scalable data mining with model constraints
ACM SIGKDD Explorations Newsletter - Special issue on “Scalable data mining algorithms”
On the fundamental limitations of transformational design
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Branching time controllers for discrete event systems
Theoretical Computer Science
Grammar based off line generation of disposable credit card numbers
Proceedings of the 2002 ACM symposium on Applied computing
Animating automata: a cross-platform program for teaching finite automata
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Minds and Machines
Inclusion dependencies and their interaction with functional dependencies
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Minds and Machines
In Computation, Parallel is Nothing, Physical Everything
Minds and Machines
Effective Computation by Humans and Machines
Minds and Machines
Toward a Formal Philosophy of Hypercomputation
Minds and Machines
Is There a Nonrecursive Decidable Equational Theory?
Minds and Machines
A framework to visualize equivalences between computational models of regular languages
Information Processing Letters
Searching a minimal semantically-equivalent subset of a set of partial values
The VLDB Journal — The International Journal on Very Large Data Bases
Mining Sequential Patterns with Regular Expression Constraints
IEEE Transactions on Knowledge and Data Engineering
Accuracy of Memory Reference Traces of Parallel Computations in Trace-Drive Simulation
IEEE Transactions on Parallel and Distributed Systems
Access Graphs: A Model for Investigating Memory Consistency
IEEE Transactions on Parallel and Distributed Systems
interactions - Winds of change
Models of molecular computing based on molecular reactions
New Generation Computing
More on generalized automatic sequences
Journal of Automata, Languages and Combinatorics
SPIRIT: Sequential Pattern Mining with Regular Expression Constraints
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
A Multidatabase Transaction Model for InterBase
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Towards Formal Specification of Client-Server Interactions for a Wide Range of Internet Applications
WI '01 Proceedings of the First Asia-Pacific Conference on Web Intelligence: Research and Development
Techniques for Implicit State Enumeration of EFSMs
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Molecular Assembly and Computation: From Theory to Experimental Demonstrations
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Computational Completeness of Programming Languages Based on Graph Transformation
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Theory and Generality of Complete Traversals
Selected Papers from the International Seminar on Generic Programming
A Formal Service Specification for the Internet Open Trading Protocol
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Challenges and Applications for Self-Assembled DNA Nanostructures
DNA '00 Revised Papers from the 6th International Workshop on DNA-Based Computers: DNA Computing
The General Neural-Network Paradigm for Visual Cryptography
IWANN '01 Proceedings of the 6th International Work-Conference on Artificial and Natural Neural Networks: Connectionist Models of Neurons, Learning Processes and Artificial Intelligence-Part I
Theoretical Computer Science - Algorithms,automata, complexity and games
Theoretical Computer Science - Algorithms,automata, complexity and games
Fuzzy Sets and Systems - Special issue: Interfaces between fuzzy set theory and interval analysis
Using theoretical computer simulators for formal languages and automata theory
ACM SIGCSE Bulletin
A class of synchronization systems that permit the use of large atomic blocks
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
An algebra for program fragments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
A family of NFAs which need 2n - α deterministic states
Theoretical Computer Science
A Network State Based Intrusion Detection Model
ICCNMC '01 Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
ILP-based optimization of sequential circuits for low power
Proceedings of the 2003 international symposium on Low power electronics and design
An efficient method for protocol conversion
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
On-Line Monitor Design of Finite-State Machines
Journal of Electronic Testing: Theory and Applications
Recent advances in intelligent paradigms and applications
Complexity classes and fragments of C
Information Processing Letters
Computational Linguistics
Chinese number-names, tree adjoining languages, and mild context-sensitivity
Computational Linguistics
Computing with features as formulae
Computational Linguistics
A rule-based hyphenator for Modern Greek
Computational Linguistics
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review
Decidability and undecidability in stand-alone feature logics
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
Superlinear Performance in Real-Time Parallel Computation
The Journal of Supercomputing
Categorial and non-categorial languages
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
Computing optimal descriptions for Optimality Theory grammars with context-free position structures
ACL '96 Proceedings of the 34th annual meeting on Association for Computational Linguistics
COLING '86 Proceedings of the 11th coference on Computational linguistics
Uniform recognition for acyclic context-sensitive grammars is NP-complete
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 4
Computational complexity of probabilistic disambiguation by means of tree-grammars
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 2
From monomials to words to graphs
Journal of Combinatorial Theory Series A
Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment
Information Technology and Management
Didactic strategies for promoting significant learning in formal languages and automata theory
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
Theory of computation on abstract/concrete computer automata
ACM SIGACT News
The modal argument for hypercomputing minds
Theoretical Computer Science - Super-recursive algorithms and hypercomputation
The language intersection problem for non-recursive context-free grammars
Information and Computation
Property-Oriented Test Generation from UML Statecharts
Proceedings of the 19th IEEE international conference on Automated software engineering
Blind construction of optimal nonlinear recursive predictors for discrete sequences
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Tantrix TM rotation puzzles are intractable
Discrete Applied Mathematics - Fun with algorithms 2 (FUN 2001)
Planar tilings by polyominoes, polyhexes, and polyiamonds
Journal of Computational and Applied Mathematics
Uniquely decodable n-gram embeddings
Theoretical Computer Science
A visual and interactive automata theory course emphasizing breadth of automata
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Journal of Intelligent Information Systems
Incremental Design Debugging in a Logic Synthesis Environment
Journal of Electronic Testing: Theory and Applications
Appearance-preserving manipulation of hand-drawn graphs
GRAPHITE '05 Proceedings of the 3rd international conference on Computer graphics and interactive techniques in Australasia and South East Asia
Reversing: an essential heuristic in program and proof design
Proceedings of the 37th SIGCSE technical symposium on Computer science education
Programming languages capturing complexity classes
Nordic Journal of Computing
The computational power of Benenson automata
Theoretical Computer Science
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
A control theory perspective on configuration management and Cfengine
ACM SIGBED Review
Conception of adaptive programming languages
MS'06 Proceedings of the 17th IASTED international conference on Modelling and simulation
Probabilistic anomaly detection in distributed computer networks
Science of Computer Programming
Journal of Computing Sciences in Colleges
Logics of communication and change
Information and Computation
Regular Expressions for Languages over Infinite Alphabets
Fundamenta Informaticae
Interactive symbolic software for teaching formal languages, automata and beyond
Journal of Computing Sciences in Colleges
ProofChecker: an accessible environment for automata theory correctness proofs
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
Semantic identification: balancing between complexity and validity
EURASIP Journal on Applied Signal Processing
Journal of Computing Sciences in Colleges - Papers of the Fourteenth Annual CCSC Midwestern Conference and Papers of the Sixteenth Annual CCSC Rocky Mountain Conference
A combined framework for grouping and order optimization
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Manipulating sets in common Lisp
ACM SIGPLAN Lisp Pointers
Self-regulating finite automata
Acta Cybernetica
Evolutionary program induction directed by logic grammars
Evolutionary Computation
Durations and parametric model-checking in timed automata
ACM Transactions on Computational Logic (TOCL)
Xoc, an extension-oriented compiler for systems programming
Proceedings of the 13th international conference on Architectural support for programming languages and operating systems
Enhancing the learning and teaching of functions through programming in ML
Journal of Computing Sciences in Colleges
Incorporating transformations into jflap for enhanced understanding of automata
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Lower bounds for the computational power of networks of spiking neurons
Neural Computation
Computation of distances for regular and context-free probabilistic languages
Theoretical Computer Science
Computational complexity of sentences over fields
Information and Computation
Temporal Logics for Representing Agent Communication Protocols
Agent Communication II
Analysis of decision-making behavior based on complex adaptive system
WSEAS TRANSACTIONS on SYSTEMS
To happen or not to happen: towards an open distributed complex event processing system
Proceedings of the 5th Middleware doctoral symposium
Information Sciences: an International Journal
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Epileptic Spike Recognition in Electroencephalogram Using Deterministic Finite Automata
Journal of Medical Systems
Lattices of local two-dimensional languages
Theoretical Computer Science
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Efficient symbolic computation of process expressions
Science of Computer Programming
ACM SIGACT News
Speed up of the edge-based inverse halftoning algorithm using a finite state machine model approach
Computers & Mathematics with Applications
Constructive reduction: understanding uncomputability through programming
ACM SIGCSE Bulletin
The concept of nondeterminism: its development and implications for teaching
ACM SIGCSE Bulletin
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Formal language characterizations of P, NP, and Pspace
Journal of Automata, Languages and Combinatorics
Type checking stream flow endpoints
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
A computational model for inference chains in expert systems
INES'09 Proceedings of the IEEE 13th international conference on Intelligent Engineering Systems
A formal framework for database sampling
Information and Software Technology
The baffling CS notions of "as-if" and "don't-care"
Proceedings of the 41st ACM technical symposium on Computer science education
Mathematics and Computers in Simulation
A graphical framework for assisting proofs
Journal of Computing Sciences in Colleges
Tools for proving zero knowledge
EUROCRYPT'92 Proceedings of the 11th annual international conference on Theory and application of cryptographic techniques
Post-supervised template induction for dynamic web sources
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
IWPEC'08 Proceedings of the 3rd international conference on Parameterized and exact computation
Applying Weighted Finite State Machines to Protocol Performance Analysis
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
On contemporary denotational mathematics for computational intelligence
Transactions on computational science II
Computational complexity in logic testing
INES'10 Proceedings of the 14th international conference on Intelligent engineering systems
One-stack automata as acceptors of context-free languages
Journal of Computing Sciences in Colleges
On the complexity of regular-grammars with integer attributes
Journal of Computer and System Sciences
Finite automata based algorithms for the generalized constrained longest common subsequence problems
SPIRE'10 Proceedings of the 17th international conference on String processing and information retrieval
DFAspike: A new computational proposition for efficient recognition of epileptic spike in EEG
Computers in Biology and Medicine
Variable and clause ordering in an FSA approach to propositional satisfiability
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Pumping visibly pushdown languages
AIASABEBI'11 Proceedings of the 11th WSEAS international conference on Applied informatics and communications, and Proceedings of the 4th WSEAS International conference on Biomedical electronics and biomedical informatics, and Proceedings of the international conference on Computational engineering in systems applications
Does Chomsky complexity affect genetic programming computational requirements?
Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment
Parallelism and time in hierarchical self-assembly
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
A model of pedagogical negotiation
EPIA'05 Proceedings of the 12th Portuguese conference on Progress 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
The power of nondeterminism in self-assembly
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
Cyclic pattern kernels revisited
PAKDD'05 Proceedings of the 9th Pacific-Asia conference on Advances in Knowledge Discovery and Data Mining
The structure of optimal prefix-free codes in restricted languages: the uniform probability case
WADS'05 Proceedings of the 9th international conference on Algorithms and Data Structures
A note on blum static complexity measures
WTCS'12 Proceedings of the 2012 international conference on Theoretical Computer Science: computation, physics and beyond
A finite state intersection approach to propositional satisfiability
Theoretical Computer Science
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Randomness behaviour in blum universal static complexity spaces
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
Ontology-based incremental annotation of characters in folktales
LaTeCH '12 Proceedings of the 6th Workshop on Language Technology for Cultural Heritage, Social Sciences, and Humanities
High throughput constraint repetition for regular expression matching algorithm
ICICA'12 Proceedings of the Third international conference on Information Computing and Applications
Design and Implementation of an Autonomic Code Generator Based on RTPA
International Journal of Software Science and Computational Intelligence
Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems
International Journal of Software Science and Computational Intelligence
On the Origin of Ambiguity in Efficient Communication
Journal of Logic, Language and Information
Deciding unique decodability of bigram counts via finite automata
Journal of Computer and System Sciences
Hi-index | 0.02 |
From the Publisher:Lewis and Papadimitriou present this long awaited Second Edition of their best-selling theory of computation. The authors are well-known for their clear presentation that makes the material accessible to a a broad audience and requires no special previous mathematical experience. In this new edition, the authors incorporate a somewhat more informal, friendly writing style to present both classical and contemporary theories of computation. Algorithms, complexity analysis, and algorithmic ideas are introduced informally in Chapter 1, and are pursued throughout the book. Each section is followed by problems.