An approach for evaluating formal description techniques. - Ari Ahtiainen; S. Alfonzetti; V. Chari; Mats Daniels; Michel Diaz; Alberto Faro; Hans A. Hansson; Guy Juanole; Ulla Karjalainen; Gesualdo Le Moli; Juhani Malka; Sergio Palazzo; et al. (PSTV, 1985)

Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7. - Ari Ahtiainen; Bruno Chatras; Marc W. A. Hornbeek; Sami Kesti (Protocol Test Systems, 1993)

EASN: Integrating ASN.1 and Model Checking. - Vivek K. Shanbhag; K. Gopinath; Markku Turunen; Ari Ahtiainen; Matti Luukkainen (CAV, 2001)

Applying Formal Method in Mobile Protocol Testing. - Ari Ahtiainen (TestCom, 2002)

ETSI Reconfigurable Radio Systems - Software Defined Radio and Cognitive Radio standards. - Markus Mueck; George Dimitrakopoulos 001; Kostas Tsagkaris; Jens Gebert; Klaus Nolte; Stanislav A. Filin; Hiroshi Harada; Gianmarco Baldini; Jordi Pérez-Romero; Oriol Sallent; Fernando J. Casadevall; Ari Ahtiainen (PIMRC, 2009)

Awareness networking in wireless environments. - Ari Ahtiainen; Kari Kalliojärvi; Mika Kasslin; Kari Leppänen; Andreas Richter; Päivi Ruuska; Carl Wijting (IEEE Veh. Technol. Mag., 2009)