Carl A. Sunshine Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys1995
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kraig Meyer, Michael Erlinger, Joseph Betser, Carl A. Sunshine, Germán S. Goldszmidt, Yechiam Yemini: Decentralizing control and intelligence in network management. Integrated Network Management 1995: 4-16
1993
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kraig Meyer, Joseph Betser, Eric Negaard, Dennis Persinger, Steven Wang, Robert Maltese, Carl A. Sunshine: An Architecture Driven Comparison of Network Management Systems. Integrated Network Management 1993: 479-491
1990
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Sunshine: Network Interconnection and Gateways. IEEE Journal on Selected Areas in Communications 8(1): 4-11 (1990)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Unnikrishnan S. Warrier, Carl A. Sunshine: A Platform for Heterogeneous Interconnection Network Management. IEEE Journal on Selected Areas in Communications 8(1): 119-126 (1990)
1989
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Sunshine: Network Interconnection and Gateways. IFIP Congress 1989: 651-658
1983
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe: Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models". IEEE Trans. Software Eng. 9(1): 113 (1983)
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Sunshine: Experience with automated Protocol Verification. Protocol Specification, Testing, and Verification 1983: 229-236
1982
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Sunshine: Protocol Specification, Testing and Verification - Guest Editorial. Computer Networks 6(6): 375-376 (1982)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe: Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models. IEEE Trans. Software Eng. 8(5): 460-489 (1982)
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Sunshine: Experience with Four Automated Verification Systems. PSTV 1982: 373-379
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Sunshine (Ed.): Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982. North-Holland 1982, isbn 0-444-86481-4
1981
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan B. Postel, Carl A. Sunshine, Danny Cohen: The ARPA Internet Protocol. Computer Networks 5: 261-271 (1981)
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Sunshine: Formal Modeling of Communication Protocols - State of the Art. Kommunikation in Verteilten Systemen 1981: 406-428
1979
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gary R. Grossman, Andrew J. Hinchley, Carl A. Sunshine: Issues in International Public Data Networking. Computer Networks 3: 259-266 (1979)
1978
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Sunshine: Survey of Protocol Definition and Verification Techniques. Computer Networks 2: 346-350 (1978)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Sunshine, Yogen K. Dalal: Connection Management in Transport Protocols. Computer Networks 2: 454-473 (1978)
1977
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Sunshine: Interconnection of Computer Networks. Computer Networks 1: 175-195 (1977)
1976
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Sunshine: Factors in interprocess communication protocol efficiency for computer networks. AFIPS National Computer Conference 1976: 571-576
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Carl A. Sunshine: Alternatives for Computer Network Interconnection. Berkeley Workshop 1976: 276-

Coauthor Index

1Joseph Betser
[c8] [c7]
2Danny Cohen
[j5]
3Yogen K. Dalal
[j2]
4Roddy W. Erickson
[j8] [j6]
5Michael Erlinger
[c8]
6Susan L. Gerhart
[j8] [j6]
7Germán S. Goldszmidt
[c8]
8Gary R. Grossman
[j4]
9Andrew J. Hinchley
[j4]
10Robert Maltese
[c7]
11Kraig Meyer
[c8] [c7]
12Eric Negaard
[c7]
13Dennis Persinger
[c7]
14Jonathan B. Postel
[j5]
15Daniel Schwabe
[j8] [j6]
16David H. Thompson
[j8] [j6]
17Steven Wang
[c7]
18Unnikrishnan S. Warrier
[j9]
19Yechiam Yemini
[c8]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 03:17:58 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page