Advanced Search

Home

About

Browse

Search

Register

Subscriptions

Deposit Papers

Help

Don't panic! Just leave the fields you don't want to search blank. Click here for a simple search.

Enter a term or terms to search for.
Title

Authors

Abstract

Keywords

Select one or more values from the list, and whether you want to search for records with any one or all of those values. Default is (Any).
Subject Categories

Select one or more values from the list. Default is (Any).
EPrint Type

Conference

Department

Editors

Institution

Status

Select a value.
Refereed

Publication

Report no.

Enter a single year (e.g. 1999), or a range of years, e.g. `1990-2000', `1990-' or -2000'.
Year

Retrieved records must fulfill of these conditions.

Order the results:

Contact site administrator at: ssg@cs.iastate.edu

(Any)
All uncategorized technical reports
Computer Applications: ADMINISTRATIVE DATA PROCESSING
Computer Applications: ARTS AND HUMANITIES
Computer Applications: COMPUTER-AIDED ENGINEERING
Computer Applications: COMPUTERS IN OTHER SYSTEMS (C.3)
Computer Applications: GENERAL
Computer Applications: LIFE AND MEDICAL SCIENCES
Computer Applications: PHYSICAL SCIENCES AND ENGINEERING
Computer Applications: SOCIAL AND BEHAVIORAL SCIENCES
Computer Systems Organization: COMPUTER SYSTEM IMPLEMENTATION
Computer Systems Organization: COMPUTER SYSTEM IMPLEMENTATION: General
Computer Systems Organization: COMPUTER SYSTEM IMPLEMENTATION: Large and Medium (``Mainframe'') Computers
Computer Systems Organization: COMPUTER SYSTEM IMPLEMENTATION: Microcomputers
Computer Systems Organization: COMPUTER SYSTEM IMPLEMENTATION: Minicomputers
Computer Systems Organization: COMPUTER SYSTEM IMPLEMENTATION: Servers
Computer Systems Organization: COMPUTER SYSTEM IMPLEMENTATION: VLSI Systems
Computer Systems Organization: COMPUTER-COMMUNICATION NETWORKS
Computer Systems Organization: COMPUTER-COMMUNICATION NETWORKS: Distributed Systems
Computer Systems Organization: COMPUTER-COMMUNICATION NETWORKS: General
Computer Systems Organization: COMPUTER-COMMUNICATION NETWORKS: Internetworking (C.2.2)
Computer Systems Organization: COMPUTER-COMMUNICATION NETWORKS: Local and Wide-Area Networks
Computer Systems Organization: COMPUTER-COMMUNICATION NETWORKS: Network Architecture and Design
Computer Systems Organization: COMPUTER-COMMUNICATION NETWORKS: Network Operations
Computer Systems Organization: COMPUTER-COMMUNICATION NETWORKS: Network Protocols
Computer Systems Organization: GENERAL
Computer Systems Organization: PERFORMANCE OF SYSTEMS
Computer Systems Organization: PROCESSOR ARCHITECTURES
Computer Systems Organization: PROCESSOR ARCHITECTURES: General
Computer Systems Organization: PROCESSOR ARCHITECTURES: Multiple Data Stream Architectures (Multiprocessors)
Computer Systems Organization: PROCESSOR ARCHITECTURES: Other Architecture Styles
Computer Systems Organization: PROCESSOR ARCHITECTURES: Parallel Architectures
Computer Systems Organization: PROCESSOR ARCHITECTURES: Single Data Stream Architectures
Computer Systems Organization: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS (J.7)
Computing Methodologies: ARTIFICIAL INTELLIGENCE
Computing Methodologies: ARTIFICIAL INTELLIGENCE: Applications and Expert Systems (H.4, J)
Computing Methodologies: ARTIFICIAL INTELLIGENCE: Automatic Programming (D.1.2, F.3.1, F.4.1)
Computing Methodologies: ARTIFICIAL INTELLIGENCE: Deduction and Theorem Proving (F.4.1)
Computing Methodologies: ARTIFICIAL INTELLIGENCE: General
Computing Methodologies: ARTIFICIAL INTELLIGENCE: Knowledge Representation Formalisms and Methods (F.4.1)
Computing Methodologies: ARTIFICIAL INTELLIGENCE: Learning (K.3.2)
Computing Methodologies: ARTIFICIAL INTELLIGENCE: Natural Language Processing
Computing Methodologies: ARTIFICIAL INTELLIGENCE: Problem Solving, Control Methods, and Search (F.2.2)
Computing Methodologies: ARTIFICIAL INTELLIGENCE: Programming Languages and Software (D.3.2)
Computing Methodologies: ARTIFICIAL INTELLIGENCE: Robotics
Computing Methodologies: COMPUTER GRAPHICS
Computing Methodologies: COMPUTER GRAPHICS: Applications
Computing Methodologies: COMPUTER GRAPHICS: Computational Geometry and Object Modeling
Computing Methodologies: COMPUTER GRAPHICS: General
Computing Methodologies: COMPUTER GRAPHICS: Graphics Systems (C.2.1, C.2.4, C.3)
Computing Methodologies: COMPUTER GRAPHICS: Graphics Utilities
Computing Methodologies: COMPUTER GRAPHICS: Hardware Architecture (B.4.2)
Computing Methodologies: COMPUTER GRAPHICS: Methodology and Techniques
Computing Methodologies: COMPUTER GRAPHICS: Picture/Image Generation
Computing Methodologies: COMPUTER GRAPHICS: Three-Dimensional Graphics and Realism
Computing Methodologies: DOCUMENT AND TEXT PROCESSING (H.4-5)
Computing Methodologies: DOCUMENT AND TEXT PROCESSING (H.4-5): Document Capture (I.4.1)
Computing Methodologies: DOCUMENT AND TEXT PROCESSING (H.4-5): Document Preparation
Computing Methodologies: DOCUMENT AND TEXT PROCESSING (H.4-5): Document and Text Editing
Computing Methodologies: DOCUMENT AND TEXT PROCESSING (H.4-5): Electronic Publishing (H.5.4, J.7)
Computing Methodologies: DOCUMENT AND TEXT PROCESSING (H.4-5): General
Computing Methodologies: DOCUMENT AND TEXT PROCESSING (H.4-5): Index Generation
Computing Methodologies: GENERAL
Computing Methodologies: IMAGE PROCESSING AND COMPUTER VISION
Computing Methodologies: IMAGE PROCESSING AND COMPUTER VISION: Applications
Computing Methodologies: IMAGE PROCESSING AND COMPUTER VISION: Compression (Coding) (E.4)
Computing Methodologies: IMAGE PROCESSING AND COMPUTER VISION: Digitization and Image Capture
Computing Methodologies: IMAGE PROCESSING AND COMPUTER VISION: Enhancement
Computing Methodologies: IMAGE PROCESSING AND COMPUTER VISION: Feature Measurement
Computing Methodologies: IMAGE PROCESSING AND COMPUTER VISION: General
Computing Methodologies: IMAGE PROCESSING AND COMPUTER VISION: Reconstruction
Computing Methodologies: IMAGE PROCESSING AND COMPUTER VISION: Restoration
Computing Methodologies: IMAGE PROCESSING AND COMPUTER VISION: Scene Analysis
Computing Methodologies: IMAGE PROCESSING AND COMPUTER VISION: Segmentation
Computing Methodologies: PATTERN RECOGNITION
Computing Methodologies: PATTERN RECOGNITION: Applications
Computing Methodologies: PATTERN RECOGNITION: Clustering
Computing Methodologies: PATTERN RECOGNITION: Design Methodology
Computing Methodologies: PATTERN RECOGNITION: General
Computing Methodologies: PATTERN RECOGNITION: Implementation (C.3)
Computing Methodologies: PATTERN RECOGNITION: Models
Computing Methodologies: SIMULATION AND MODELING (G.3)
Computing Methodologies: SIMULATION AND MODELING (G.3): Applications
Computing Methodologies: SIMULATION AND MODELING (G.3): General
Computing Methodologies: SIMULATION AND MODELING (G.3): Model Development
Computing Methodologies: SIMULATION AND MODELING (G.3): Model Validation and Analysis
Computing Methodologies: SIMULATION AND MODELING (G.3): Simulation Languages
Computing Methodologies: SIMULATION AND MODELING (G.3): Simulation Output Analysis
Computing Methodologies: SIMULATION AND MODELING (G.3): Simulation Support Systems
Computing Methodologies: SIMULATION AND MODELING (G.3): Simulation Theory
Computing Methodologies: SIMULATION AND MODELING (G.3): Types of Simulation
Computing Methodologies: SYMBOLIC AND ALGEBRAIC MANIPULATION
Computing Methodologies: SYMBOLIC AND ALGEBRAIC MANIPULATION: Algorithms (F.2.1-2)
Computing Methodologies: SYMBOLIC AND ALGEBRAIC MANIPULATION: Applications
Computing Methodologies: SYMBOLIC AND ALGEBRAIC MANIPULATION: Expressions and Their Representation (E.1-2)
Computing Methodologies: SYMBOLIC AND ALGEBRAIC MANIPULATION: General
Computing Methodologies: SYMBOLIC AND ALGEBRAIC MANIPULATION: Languages and Systems (D.3.2-3, F.2.2)
Computing Milieux: COMPUTERS AND EDUCATION
Computing Milieux: COMPUTERS AND EDUCATION: Computer Uses in Education
Computing Milieux: COMPUTERS AND EDUCATION: Computer and Information Science Education
Computing Milieux: COMPUTERS AND EDUCATION: General
Computing Milieux: COMPUTERS AND SOCIETY
Computing Milieux: COMPUTERS AND SOCIETY: Electronic Commerce (J.1)
Computing Milieux: COMPUTERS AND SOCIETY: General
Computing Milieux: COMPUTERS AND SOCIETY: Organizational Impacts
Computing Milieux: COMPUTERS AND SOCIETY: Public Policy Issues
Computing Milieux: COMPUTERS AND SOCIETY: Social Issues
Computing Milieux: GENERAL
Computing Milieux: HISTORY OF COMPUTING
Computing Milieux: LEGAL ASPECTS OF COMPUTING
Computing Milieux: LEGAL ASPECTS OF COMPUTING: General
Computing Milieux: LEGAL ASPECTS OF COMPUTING: Governmental Issues
Computing Milieux: LEGAL ASPECTS OF COMPUTING: Hardware/Software Protection
Computing Milieux: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
Computing Milieux: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS: General
Computing Milieux: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS: Installation Management
Computing Milieux: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS: Project and People Management
Computing Milieux: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS: Security and Protection (D.4.6, K.4.2)
Computing Milieux: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS: Software Management (D.2.9)
Computing Milieux: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS: System Management
Computing Milieux: PERSONAL COMPUTING
Computing Milieux: PERSONAL COMPUTING: Application Packages
Computing Milieux: PERSONAL COMPUTING: General
Computing Milieux: PERSONAL COMPUTING: Hardware
Computing Milieux: PERSONAL COMPUTING: Management/Maintenance
Computing Milieux: THE COMPUTER INDUSTRY
Computing Milieux: THE COMPUTING PROFESSION
Computing Milieux: THE COMPUTING PROFESSION: General
Computing Milieux: THE COMPUTING PROFESSION: Occupations
Computing Milieux: THE COMPUTING PROFESSION: Organizations
Computing Milieux: THE COMPUTING PROFESSION: Professional Ethics (K.4)
Computing Milieux: THE COMPUTING PROFESSION: Testing, Certification, and Licensing
Data: CODING AND INFORMATION THEORY (H.1.1)
Data: DATA ENCRYPTION
Data: DATA STORAGE REPRESENTATIONS
Data: DATA STRUCTURES
Data: FILES (D.4.3, F.2.2, H.2)
Data: GENERAL
General Literature: GENERAL
General Literature: INTRODUCTORY AND SURVEY
General Literature: REFERENCE (e.g., dictionaries, encyclopedias, glossaries)
Hardware: ARITHMETIC AND LOGIC STRUCTURES
Hardware: ARITHMETIC AND LOGIC STRUCTURES: Design Styles (C.1.1-2)
Hardware: ARITHMETIC AND LOGIC STRUCTURES: General
Hardware: ARITHMETIC AND LOGIC STRUCTURES: High-Speed Arithmetic
Hardware: ARITHMETIC AND LOGIC STRUCTURES: Performance Analysis and Design Aids (B.8)
Hardware: ARITHMETIC AND LOGIC STRUCTURES: Reliability, Testing, and Fault-Tolerance (B.8)
Hardware: CONTROL STRUCTURES AND MICROPROGRAMMING (D.3.2)
Hardware: CONTROL STRUCTURES AND MICROPROGRAMMING (D.3.2): Control Design Styles
Hardware: CONTROL STRUCTURES AND MICROPROGRAMMING (D.3.2): Control Structure Performance Analysis and Design Aids
Hardware: CONTROL STRUCTURES AND MICROPROGRAMMING (D.3.2): Control Structure Reliability, Testing, and Fault-Tolerance (B.8)
Hardware: CONTROL STRUCTURES AND MICROPROGRAMMING (D.3.2): General
Hardware: CONTROL STRUCTURES AND MICROPROGRAMMING (D.3.2): Microcode Applications
Hardware: CONTROL STRUCTURES AND MICROPROGRAMMING (D.3.2): Microprogram Design Aids (D.2.2, D.2.4, D.3.2, D.3.4)
Hardware: GENERAL
Hardware: INPUT/OUTPUT AND DATA COMMUNICATIONS
Hardware: INPUT/OUTPUT AND DATA COMMUNICATIONS: Data Communications Devices
Hardware: INPUT/OUTPUT AND DATA COMMUNICATIONS: General
Hardware: INPUT/OUTPUT AND DATA COMMUNICATIONS: Input/Output Devices
Hardware: INPUT/OUTPUT AND DATA COMMUNICATIONS: Interconnections (Subsystems)
Hardware: INPUT/OUTPUT AND DATA COMMUNICATIONS: Performance Analysis and Design Aids (B.8)
Hardware: INPUT/OUTPUT AND DATA COMMUNICATIONS: Reliability, Testing, and Fault-Tolerance (B.8)
Hardware: INTEGRATED CIRCUITS
Hardware: INTEGRATED CIRCUITS: Design Aids
Hardware: INTEGRATED CIRCUITS: General
Hardware: INTEGRATED CIRCUITS: Reliability and Testing (B.8)
Hardware: INTEGRATED CIRCUITS: Types and Design Styles
Hardware: LOGIC DESIGN
Hardware: LOGIC DESIGN: Design Aids
Hardware: LOGIC DESIGN: Design Styles
Hardware: LOGIC DESIGN: General
Hardware: LOGIC DESIGN: Reliability and Testing (B.8)
Hardware: MEMORY STRUCTURES
Hardware: MEMORY STRUCTURES: Design Styles (D.4.2)
Hardware: MEMORY STRUCTURES: General
Hardware: MEMORY STRUCTURES: Performance Analysis and Design Aids (B.8, C.4)
Hardware: MEMORY STRUCTURES: Reliability, Testing, and Fault-Tolerance (B.8)
Hardware: MEMORY STRUCTURES: Semiconductor Memories (B.7.1)
Hardware: PERFORMANCE AND RELIABILITY (C.4)
Hardware: PERFORMANCE AND RELIABILITY (C.4): General
Hardware: PERFORMANCE AND RELIABILITY (C.4): Performance Analysis and Design Aids
Hardware: PERFORMANCE AND RELIABILITY (C.4): Reliability, Testing, and Fault-Tolerance
Hardware: REGISTER-TRANSFER-LEVEL IMPLEMENTATION
Hardware: REGISTER-TRANSFER-LEVEL IMPLEMENTATION: Design
Hardware: REGISTER-TRANSFER-LEVEL IMPLEMENTATION: Design Aids
Hardware: REGISTER-TRANSFER-LEVEL IMPLEMENTATION: General
Hardware: REGISTER-TRANSFER-LEVEL IMPLEMENTATION: Reliability and Testing (B.8)
Information Systems: DATABASE MANAGEMENT (E.5)
Information Systems: DATABASE MANAGEMENT (E.5): Database Administration
Information Systems: DATABASE MANAGEMENT (E.5): Database Applications
Information Systems: DATABASE MANAGEMENT (E.5): Database Machines
Information Systems: DATABASE MANAGEMENT (E.5): General
Information Systems: DATABASE MANAGEMENT (E.5): Heterogeneous Databases
Information Systems: DATABASE MANAGEMENT (E.5): Languages (D.3.2)
Information Systems: DATABASE MANAGEMENT (E.5): Logical Design
Information Systems: DATABASE MANAGEMENT (E.5): Physical Design
Information Systems: DATABASE MANAGEMENT (E.5): Systems
Information Systems: GENERAL
Information Systems: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI) (I.7)
Information Systems: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI) (I.7): General
Information Systems: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI) (I.7): Group and Organization Interfaces
Information Systems: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI) (I.7): Hypertext/Hypermedia (I.7, J.7)
Information Systems: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI) (I.7): Multimedia Information Systems
Information Systems: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI) (I.7): Sound and Music Computing (J.5)
Information Systems: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI) (I.7): User Interfaces (D.2.2, H.1.2, I.3.6)
Information Systems: INFORMATION STORAGE AND RETRIEVAL
Information Systems: INFORMATION STORAGE AND RETRIEVAL: Content Analysis and Indexing
Information Systems: INFORMATION STORAGE AND RETRIEVAL: Digital Libraries
Information Systems: INFORMATION STORAGE AND RETRIEVAL: General
Information Systems: INFORMATION STORAGE AND RETRIEVAL: Information Search and Retrieval
Information Systems: INFORMATION STORAGE AND RETRIEVAL: Information Storage
Information Systems: INFORMATION STORAGE AND RETRIEVAL: Library Automation
Information Systems: INFORMATION STORAGE AND RETRIEVAL: Online Information Services
Information Systems: INFORMATION STORAGE AND RETRIEVAL: Systems and Software
Information Systems: INFORMATION SYSTEMS APPLICATIONS
Information Systems: INFORMATION SYSTEMS APPLICATIONS: Communications Applications
Information Systems: INFORMATION SYSTEMS APPLICATIONS: General
Information Systems: INFORMATION SYSTEMS APPLICATIONS: Office Automation (I.7)
Information Systems: INFORMATION SYSTEMS APPLICATIONS: Types of Systems
Information Systems: MODELS AND PRINCIPLES
Information Systems: MODELS AND PRINCIPLES: General
Information Systems: MODELS AND PRINCIPLES: Systems and Information Theory (E.4)
Information Systems: MODELS AND PRINCIPLES: User/Machine Systems
Mathematics of Computing: DISCRETE MATHEMATICS
Mathematics of Computing: DISCRETE MATHEMATICS: Applications
Mathematics of Computing: DISCRETE MATHEMATICS: Combinatorics (F.2.2)
Mathematics of Computing: DISCRETE MATHEMATICS: General
Mathematics of Computing: DISCRETE MATHEMATICS: Graph Theory (F.2.2)
Mathematics of Computing: GENERAL
Mathematics of Computing: MATHEMATICAL SOFTWARE
Mathematics of Computing: NUMERICAL ANALYSIS
Mathematics of Computing: NUMERICAL ANALYSIS: Approximation
Mathematics of Computing: NUMERICAL ANALYSIS: General
Mathematics of Computing: NUMERICAL ANALYSIS: Integral Equations
Mathematics of Computing: NUMERICAL ANALYSIS: Interpolation (I.3.5, I.3.7)
Mathematics of Computing: NUMERICAL ANALYSIS: Numerical Linear Algebra
Mathematics of Computing: NUMERICAL ANALYSIS: Optimization
Mathematics of Computing: NUMERICAL ANALYSIS: Ordinary Differential Equations
Mathematics of Computing: NUMERICAL ANALYSIS: Partial Differential Equations
Mathematics of Computing: NUMERICAL ANALYSIS: Quadrature and Numerical Differentiation (F.2.1)
Mathematics of Computing: NUMERICAL ANALYSIS: Roots of Nonlinear Equations
Mathematics of Computing: PROBABILITY AND STATISTICS
Software: GENERAL
Software: OPERATING SYSTEMS (C)
Software: OPERATING SYSTEMS (C): Communications Management (C.2)
Software: OPERATING SYSTEMS (C): File Systems Management (E.5)
Software: OPERATING SYSTEMS (C): General
Software: OPERATING SYSTEMS (C): Organization and Design
Software: OPERATING SYSTEMS (C): Performance (C.4, D.2.8, I.6)
Software: OPERATING SYSTEMS (C): Process Management
Software: OPERATING SYSTEMS (C): Reliability
Software: OPERATING SYSTEMS (C): Security and Protection (K.6.5)
Software: OPERATING SYSTEMS (C): Storage Management
Software: OPERATING SYSTEMS (C): Systems Programs and Utilities
Software: PROGRAMMING LANGUAGES
Software: PROGRAMMING LANGUAGES: Formal Definitions and Theory (D.2.1, F.3.1-2, F.4.2-3)
Software: PROGRAMMING LANGUAGES: General
Software: PROGRAMMING LANGUAGES: Language Classifications
Software: PROGRAMMING LANGUAGES: Language Constructs and Features (E.2)
Software: PROGRAMMING LANGUAGES: Processors
Software: PROGRAMMING TECHNIQUES (E)
Software: PROGRAMMING TECHNIQUES (E): Applicative (Functional) Programming
Software: PROGRAMMING TECHNIQUES (E): Automatic Programming (I.2.2)
Software: PROGRAMMING TECHNIQUES (E): Concurrent Programming
Software: PROGRAMMING TECHNIQUES (E): General
Software: PROGRAMMING TECHNIQUES (E): Logic Programming
Software: PROGRAMMING TECHNIQUES (E): Object-oriented Programming
Software: PROGRAMMING TECHNIQUES (E): Sequential Programming
Software: PROGRAMMING TECHNIQUES (E): Visual Programming
Software: SOFTWARE ENGINEERING (K.6.3)
Software: SOFTWARE ENGINEERING (K.6.3): Coding Tools and Techniques
Software: SOFTWARE ENGINEERING (K.6.3): Design Tools and Techniques
Software: SOFTWARE ENGINEERING (K.6.3): Distribution, Maintenance, and Enhancement
Software: SOFTWARE ENGINEERING (K.6.3): General (K.5.1)
Software: SOFTWARE ENGINEERING (K.6.3): Management (K.6.3, K.6.4)
Software: SOFTWARE ENGINEERING (K.6.3): Metrics (D.4.8)
Software: SOFTWARE ENGINEERING (K.6.3): Programming Environments
Software: SOFTWARE ENGINEERING (K.6.3): Requirements/Specifications (D.3.1)
Software: SOFTWARE ENGINEERING (K.6.3): Software/Program Verification (F.3.1)
Software: SOFTWARE ENGINEERING (K.6.3): Testing and Debugging
Theory of Computation: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY (B.6-7, F.1.3)
Theory of Computation: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY (B.6-7, F.1.3): General
Theory of Computation: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY (B.6-7, F.1.3): Nonnumerical Algorithms and Problems (E.2-5, G.2, H.2-3)
Theory of Computation: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY (B.6-7, F.1.3): Numerical Algorithms and Problems (G.1, G.4, I.1)
Theory of Computation: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY (B.6-7, F.1.3): Tradeoffs between Complexity Measures (F.1.3)
Theory of Computation: COMPUTATION BY ABSTRACT DEVICES
Theory of Computation: COMPUTATION BY ABSTRACT DEVICES: Complexity Measures and Classes (F.2)
Theory of Computation: COMPUTATION BY ABSTRACT DEVICES: General
Theory of Computation: COMPUTATION BY ABSTRACT DEVICES: Models of Computation (F.4.1)
Theory of Computation: COMPUTATION BY ABSTRACT DEVICES: Modes of Computation
Theory of Computation: GENERAL
Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS
Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: General
Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Semantics of Programming Languages (D.3.1)
Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Specifying and Verifying and Reasoning about Programs (D.2.1, D.2.4, D.3.1, E.1)
Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Studies of Program Constructs (D.3.2-3)
Theory of Computation: MATHEMATICAL LOGIC AND FORMAL LANGUAGES
Theory of Computation: MATHEMATICAL LOGIC AND FORMAL LANGUAGES: Formal Languages (D.3.1)
Theory of Computation: MATHEMATICAL LOGIC AND FORMAL LANGUAGES: General
Theory of Computation: MATHEMATICAL LOGIC AND FORMAL LANGUAGES: Grammars and Other Rewriting Systems (D.3.1)
Theory of Computation: MATHEMATICAL LOGIC AND FORMAL LANGUAGES: Mathematical Logic (F.1.1, I.2.2-4)

(Any)
Book Chapter
Conference Paper
Conference Poster
Departmental Technical Report
Journal (On-line/Unpaginated)
Journal (Paginated)
Newspaper/Magazine Article
Other
Preprint
Thesis

(Any)
Unpublished
In Press
Published