D. Perrin

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