Haoran Peng

ScholarGPS™ ID: 42531368760392

Affiliation History

Field
Medicine
Discipline
Internal Medicine
Top Specialties
Finite-state Machine
Metrics Summary
Publication Count
33
Predicted Citations
0
Predicted h-index
0
Ranking

Publications and Citation History

Publications based on Top Specialties

Types of Publication

You must register and claim your profile to add or remove publications from it.
... publications
FILTER BY:
Year
Type
Specialty
Affiliations
Collaborations
Access
Country/Region
Co-Authors
Delete
Data Abstraction (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Input/Output and Monads (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Regular Expressions (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Non-Regular Languages (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Search in Trees (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Combinatorial Algorithms (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Finite Automata (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Deterministic Finite Automata (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Non-deterministic Finite Automata (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Data Representation (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Expression Trees (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Efficient CNF Conversion (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Type Classes (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Counting Satisfying Valuations (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Karnaugh Maps (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Relations and Quantifiers (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Algebraic Data Types (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Checking Satisfiability (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Higher and Higher (book chapter)
In Introduction to Computation
Springer International Publishing (2021)
Sequent Calculus (book chapter)
In Introduction to Computation
Springer International Publishing (2021)