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)

ETSI Reconfigurable Radio Systems - Software Defined Radio and Cognitive Radio standards - Markus Mueck; George Dimitrakopoulos; Kostas Tsagkaris; Jens Gebert; Klaus Nolte; Stanislav A. Filin; Hiroshi Harada; Gianmarco Baldini; Jordi Pérez-Romero; Oriol Sallent; Fernando J. Casadevall; Ari Ahtiainen (Proceedings of the IEEE 20th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2009, 13-16 September 2009, Tokyo, Japan, 2009)

Applying Formal Method in Mobile Protocol Testing - Ari Ahtiainen (Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002, 2002)

EASN: Integrating ASN.1 and Model Checking - Vivek K. Shanbhag; K. Gopinath; Markku Turunen; Ari Ahtiainen; Matti Luukkainen (Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, 2001)

Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7 - Ari Ahtiainen; Bruno Chatras; Marc W. A. Hornbeek; Sami Kesti (Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993, 1993)

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. (Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985, 1985)