Languages of India | Indo-European languages | Celtic languages | Slavic languages | Algonquian languages | Turkic languages | Bantu languages | Romance languages | Berber languages | Australian Aboriginal languages | Germanic languages | Goidelic languages | Arawakan languages | North Germanic languages | Indigenous languages of the Americas | Austroasiatic languages | Indo-Aryan languages | Polynesian languages | Northwest Caucasian languages | Munda languages | Mongolic languages | French-based creole languages | Songhay languages | Semitic languages | Dené–Yeniseian languages | Common European Framework of Reference for Languages | Visayan languages | Tupian languages | Tibeto-Burman languages | Pama–Nyungan languages |
Research topics span from theoretical computer science, such as Formal languages, Formal methods, or more mathematically-oriented topics such as Information theory, optimization, Complex system... to application-driven topics like Bioinformatics, image and video compression, Handwriting recognition, Computer graphics, Medical imaging, Content-based image retrieval...
With Rozenberg, Salomaa edited "Handbook of Formal Languages" (1997), a 3-volume, 2000-page reference on formal language theory.
His publications include the books Algorithmic Number Theory (with Eric Bach), a noted text on algorithms, Automatic Sequences: Theory, Applications, Generalizations (with Jean-Paul Allouche), and A Second Course in Formal Languages and Automata Theory.