3 works on record
Automata on Infinite Words
PKa Prediction for Organic Acids and Bases
Buffers for pH and Metal Ion Control