The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Fredrik Orava: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002