| Method of sending information through a tree and ring topology of a network system F Orava, L Ramfelt US Patent 7,391,771, 2008 | 247 | 2008 |
| An algebraic verification of a mobile network F Orava, J Parrow Formal aspects of computing 4, 497-543, 1992 | 135 | 1992 |
| Wireless LANs: from warchalking to open access networks R Battiti, RL Cigno, M Sabel, F Orava, B Pehrson Mobile Networks and Applications 10, 275-287, 2005 | 84 | 2005 |
| Refining interfaces of communicating systems E Brinksma, B Jonsson, F Orava TAPSOFT'91: Proceedings of the International Joint Conference on Theory and …, 1991 | 46 | 1991 |
| Global growth of open access networks: from warchalking and connection sharing to sustainable business R Battiti, R Lo Cigno, F Orava, B Pehrson Proceedings of the 1st ACM international workshop on Wireless mobile …, 2003 | 28 | 2003 |
| Formal semantics of SDL specifications F Orava Protocol Specification, Testing, and Verification VIII, 1988 | 27 | 1988 |
| Modelling dynamic communication structures in LOTOS LÅ Fredlund, F Orava Formal Description Techniques, IV, 185-200, 1992 | 21 | 1992 |
| A process calculus with incomparable priorities H Hansson, F Orava NAPAW 92: Proceedings of the First North American Process Algebra Workshop …, 1992 | 18 | 1992 |
| The DIY approach to QoS G Karisson, F Orava 1999 Seventh International Workshop on Quality of Service. IWQoS'99.(Cat. No …, 1999 | 16 | 1999 |
| Restoration mechanism for network topologies F Orava, L Ramfelt US Patent App. 10/778,291, 2005 | 14 | 2005 |
| Tandem node system and a method therefor F Orava, L Ramfelt US Patent 7,174,389, 2007 | 12 | 2007 |
| Verifying safety and deadlock properties of networks of asynchronously communicating processes F Orava Swedish Institute of Computer Science, 1988 | 9 | 1988 |
| Method of sending a packet through a node F Orava, L Ramfelt US Patent 7,283,524, 2007 | 7 | 2007 |
| Algebraic descriptions of mobile networks: An example F Orava, J Parrow Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990 | 7 | 1990 |
| An experiment in formalizing and analysing railyard configurations L Fredlund, F Orava Proceedings of COST 247, 51-60, 1996 | 6 | 1996 |
| Specification for verification H Hansson, B Jonsson, F Orava, B Pehrson Proceedings of the IFIP TC/WG6. 1 Second International Conference on Formal …, 1989 | 6 | 1989 |
| Inter-layer communication for improving restoration time in optical networks A Muchanga, L Wosinska, F Orava National Fiber Optic Engineers Conference, NThB3, 2006 | 5 | 2006 |
| Guidelines for specification and verification of communication protocols P Ernberg, LA Fredlund, H Hansson, B Jonsson, F Orava, B Pehrson Swedish Institute of Computer Science, 1991 | 5 | 1991 |
| An Algebraic Verification of a Mobile Network F Orava, J Parrow Formal Aspects of Computing 4 (6), 1996 | 4 | 1996 |
| Analysing a-calculus specification of a cache coherence protocol LH Eriksson, F Orava Research Report, Swedish Institute of Computer Science, 1994 | 4 | 1994 |
