Peter J. McCann

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

Coauthor Index

1	Frank M. Alfano	[13]
2	Karthikeyan Bhargavan	[10]
3	Satish Chandra	[8] [10]
4	Carl A. Gunter	[10]
5	Sarvar Patel	[12]
6	Gian Pietro Picco	[3] [9]
7	Jerome Y. Plun	[1] [2]
8	Robert Rance	[12]
9	Gruia-Catalin Roman	[1] [2] [3] [4] [5] [6] [7] [9] [11]
10	Thomas T. Towle	[13]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page