GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Semigroups and Automata Theory

Semigroups and Automata Theory

68 faculty research Semigroups and Automata Theory on GradNova.

S
Advanced Combinatorial Mathematics
Algorithms and Data Compression
Mathematical Dynamics and Fractals
Polynomial and Algebraic Computation
+1
L
Biodiversity Informatics, Comparative Genomics, Genomic Signatures, Machine Learning
Natural Computation, Bio-Inspired Computing, Bio-Molecular Computing
Watson-Crick Complementarity in Formal Languages, DNA Computing & Combinatorics on Words
DNA and Biological Computing
+4
J
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Interconnection Networks and Systems
+1
C
Computer-Assisted Proofs
Discrete Mathematics
Experimental Mathematics
Number Theory
+7
N
Computing Education
Algorithms and Data Compression
Network Packet Processing and Optimization
Semigroups and Automata Theory
+2
P
Paul Beame

Professor; Associate Director for Facilities

Computer Science

University of Washington

Quantum Computing
Theoretical Computer Science
Complexity and Algorithms in Graphs
Formal Methods in Verification
+3
M
Action Observation and Synchronization
Computability, Logic, AI Algorithms
Language, Metaphor, and Cognition
Neural Dynamics and Brain Function
+1
S
Computability and Computational Complexity
Quantum Computing and Information
Computability, Logic, AI Algorithms
Quantum Computing Algorithms and Architecture
+3
D
Algorithms and Data Compression
DNA and Biological Computing
Genomics and Phylogenetic Studies
Logic, Programming, and Type Systems
+1
E
Algorithms & Theory
Computer Security
Parallel Computing and Optimization Techniques
Semigroups and Automata Theory
+3
P
Formal Methods in Verification
Logic, Programming, and Type Systems
Machine Learning and Algorithms
Semigroups and Automata Theory
+1
J
Advanced Graph Theory Research
Coding Theory and Cryptography
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
+1
M
Innovative Teaching and Learning Methods
Logic, Programming, and Type Systems
Online Learning and Analytics
Semigroups and Automata Theory
+1
C
Mathematics and Applications
Semigroups and Automata Theory
Legal Cases and Commentary
Quasicrystal Structures and Properties
+1
V
AI-Based Problem Solving and Planning
Computability, Logic, AI Algorithms
Logic, Reasoning, and Knowledge
Reinforcement Learning in Robotics
+1
P
Automated Reasoning
Pattern Matching
Symbolic Protocol Analysis
Term Rewriting Systems
+5
D
Automated Deduction
Functional Analysis and Mathematical Physics With Applications to Quantum Computing
Semigroups and Automata Theory
Cryptography and Data Security
+3
O
Algorithms and Data Compression
Computability, Logic, AI Algorithms
DNA and Biological Computing
Logic, Programming, and Type Systems
+1
M
Computational Complexity
Cryptography
Theoretical Computer Science
Computability, Logic, AI Algorithms
+4
L
Algorithms and Data Compression
Benford’s Law and Fraud Detection
Computability, Logic, AI Algorithms
Numerical Methods and Algorithms
+1
S
Advanced Authentication Protocols Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
J
Jason O'Kane

Professor, Computer Science & Engineering

Computer Science

Texas A&M University

Machine Learning and Algorithms
Optimization and Search Problems
Semigroups and Automata Theory
Robotic Path Planning Algorithms
+3
R
Algorithms & Complexity
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Semigroups and Automata Theory
+2
E
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Semantic Web and Ontologies
+1
Previous
13
Next