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

Search the dblp DataBase

Title:
Author:
Peter J. McCann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter J. McCann, Gruia-Catalin Roman
    Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:338-354 [Conf]
  2. Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann
    Expressing Code Mobility in Mobile UNITY. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:500-518 [Conf]
  3. Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun
    Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. [Citation Graph (0, 0)][DBLP]
    ICSE, 1996, pp:155-164 [Conf]
  4. Gruia-Catalin Roman, Peter J. McCann
    An Introduction to Mobile UNITY. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP Workshops, 1998, pp:871-880 [Conf]
  5. Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter
    What packets may come: automata for network monitoring. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:206-219 [Conf]
  6. Peter J. McCann, Satish Chandra
    Packet Types: Abstract specifications of network protocol messages. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 2000, pp:321-333 [Conf]
  7. Frank M. Alfano, Peter J. McCann, Thomas T. Towle
    IMS service-based bearer control. [Citation Graph (0, 0)][DBLP]
    Bell Labs Technical Journal, 2006, v:10, n:4, pp:151-166 [Journal]
  8. Gruia-Catalin Roman, Peter J. McCann
    A Notation and Logic for Mobile Computing. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:20, n:1, pp:47-68 [Journal]
  9. Peter J. McCann, Gruia-Catalin Roman
    Modeling Mobile IP in Mobile UNITY. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1999, v:8, n:2, pp:115-146 [Journal]
  10. Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann
    Reasoning about code mobility with mobile UNITY. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2001, v:10, n:3, pp:338-395 [Journal]
  11. Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun
    Mobile UNITY: Reasoning and Specification in Mobile Computing. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1997, v:6, n:3, pp:250-282 [Journal]
  12. Peter J. McCann, Gruia-Catalin Roman
    Compositional Programming Abstractions for Mobile Computing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:2, pp:97-110 [Journal]

Search in 0.034secs, Finished in 0.035secs
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