| 2005 |
|---|
| 11 | EE | Roberto Battiti,
Renato Lo Cigno,
Mikalai Sabel,
Fredrik Orava,
Björn Pehrson:
Wireless LANs: From WarChalking to Open Access Networks.
MONET 10(3): 275-287 (2005) |
| 2004 |
|---|
| 10 | EE | Américo Muchanga,
Lena Wosinska,
Fredrik Orava,
Joanna Haralson:
Inter-Domain Routing in Optical Networks.
OpNeTec 2004: 263-270 |
| 2003 |
|---|
| 9 | EE | Roberto Battiti,
Renato Lo Cigno,
Fredrik Orava,
Björn Pehrson:
Global growth of open access networks: from warchalking and connection sharing to sustainable business.
WMASH 2003: 19-28 |
| 1996 |
|---|
| 8 | | Lars-Åke Fredlund,
Jari Koistinen,
Fredrik Orava:
Formalising and Prototyping a Concurrent Object-Based Language.
LOMAPS 1996: 116-125 |
| 1992 |
|---|
| 7 | | Hans Hansson,
Fredrik Orava:
A Process Calculus with Incomparable Priorities.
NAPAW 1992: 43-64 |
| 6 | | Fredrik Orava,
Joachim Parrow:
An Algebraic Verification of a Mobile Network.
Formal Asp. Comput. 4(6): 497-543 (1992) |
| 1991 |
|---|
| 5 | | Lars-Åke Fredlund,
Fredrik Orava:
Modelling Dynamic Communication Structures in LOTOS.
FORTE 1991: 185-200 |
| 4 | | Ed Brinksma,
Bengt Jonsson,
Fredrik Orava:
Refining Interfaces of Communicating Systems.
TAPSOFT, Vol.2 1991: 297-312 |
| 1990 |
|---|
| 3 | | Fredrik Orava,
Joachim Parrow:
Algebraic descriptions of mobile networks: An example.
PSTV 1990: 275-291 |
| 1989 |
|---|
| 2 | | Hans Hansson,
Bengt Jonsson,
Fredrik Orava,
Björn Pehrson:
Specification for Verification.
FORTE 1989: 227-244 |
| 1 | | Fredrik Orava:
Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating Processes.
PSTV 1989: 357-371 |
