We stand with Ukraine

We stand with Ukraine

Harry Rudin

According to our database¹, Harry Rudin authored at least 43 papers between 1974 and 2020.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Awards

IEEE Fellow

IEEE Fellow 1983, "For contributions to the analysis of computer communication network performance and protocols.".

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2020

More on 5G: Millimetre-Waves.

[BibT_eX]

[DOI]

Gregor Dürrenberger

,

ERCIM News, 2020

2019

Innovation in Security Education - You have been hacked.

[BibT_eX]

[DOI]

ERCIM News, 2019

5G: A View from Switzerland.

[BibT_eX]

[DOI]

Gregor Dürrenberger

,

ERCIM News, 2019

Computer Networks (COMNET) Editorial for 2018.

[BibT_eX]

[DOI]

Ian F. Akyildiz

,

,

Burkhard Stiller

Comput. Networks, 2019

2018

Editorial for COMNET 2017.

[BibT_eX]

[DOI]

Ian F. Akyildiz

,

,

Burkhard Stiller

Comput. Networks, 2018

2017

Change at the Helm Welcome, Farewell, Advice, Thanks Special Issues.

[BibT_eX]

[DOI]

Comput. Networks, 2017

2016

Comnet Editorial for 2015.

[BibT_eX]

[DOI]

Ian F. Akyildiz

,

Comput. Networks, 2016

2014

Will the IT Revolution Cost Our Children Their Jobs?

[BibT_eX]

[DOI]

ERCIM News, 2014

2013

COMNET editorial for 2012.

[BibT_eX]

[DOI]

Ian F. Akyildiz

,

Comput. Networks, 2013

2012

The WEB we live in.

[BibT_eX]

[DOI]

,

Comput. Networks, 2012

2011

Building a Building for Nanotechnology.

[BibT_eX]

[DOI]

ERCIM News, 2011

Potential Cell-phone Dangers: Latest Studies.

[BibT_eX]

[DOI]

ERCIM News, 2011

2009

More on Mobile Telephones and Our Health.

[BibT_eX]

[DOI]

ERCIM News, 2009

2008

Medical Record Keeping Made Visually Accessible.

[BibT_eX]

[DOI]

ERCIM News, 2008

2007

Super Progress in Super Computing.

[BibT_eX]

[DOI]

ERCIM News, 2007

2006

Editorial.

[BibT_eX]

[DOI]

Ian F. Akyildiz

,

Comput. Networks, 2006

2003

Internet for a mobile generation [Book Review].

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2003

1997

Challenges to the network: Telecoms and the internet.

[BibT_eX]

[DOI]

Comput. Networks ISDN Syst., 1997

Archiving agents for the World Wide Web.

[BibT_eX]

[DOI]

Christoph Braendli

,

Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), 1997

1996

Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).

[BibT_eX]

[DOI]

Jean-Pierre Courtiat

,

Piotr Dembinski

,

Gerard J. Holzmann

,

,

,

Comput. Networks ISDN Syst., 1996

1994

Media-Access Techniques for High-Speed LANs and MANs.

[BibT_eX]

[DOI]

Harmen R. van As

,

Comput. Networks ISDN Syst., 1994

1992

The ATM-Asynchronous Transfer Mode.

[BibT_eX]

[DOI]

Comput. Networks ISDN Syst., 1992

Protocol Development Success Stories: Part 1.

[BibT_eX]

Proceedings of the Protocol Specification, 1992

1989

Including a Queue in a Formal-Description-Driven Protocol Performance Analysis.

[BibT_eX]

,

Proceedings of the Protocol Specification, 1989

1987

Note on the Early History of Layered Architecture.

[BibT_eX]

Proceedings of the Protocol Specification, 1987

1986

Trends in Computer Communications.

[BibT_eX]

[DOI]

Computer, 1986

The Dimension of Time in Protocol Specification.

[BibT_eX]

[DOI]

Proceedings of the Networking in Open Systems, 1986

Tools for Protocols Driven by Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Embedded Systems: New Approaches to Their Formal Description and Design, 1986

1985

An informal overview of formal protocol specification.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 1985

Predicting protocol performance from a meta-implementation.

[BibT_eX]

Jan R. Engelbrecht

,

Pieter S. Kritzinger

,

Proceedings of the Protocol Specification, 1985

Time in Formal Protocol Specifications.

[BibT_eX]

[DOI]

Proceedings of the Kommunikation in Verteilten Systemen I, 1985

1984

An Improved Algorithm for Estimating Protocol Performance.

[BibT_eX]

Proceedings of the Protocol Specification, 1984

On the Analysis of Time-Dependent Protocols by Network Flow Algorithms.

[BibT_eX]

Tommaso Bolognesi

,

Proceedings of the Protocol Specification, 1984

1983

From Formal Protocol Specification Towards Automated Performance Prediction.

[BibT_eX]

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

Using Automated Validation Techniques to Detect Lockups in Packet-Switched Networks.

[BibT_eX]

[DOI]

,

IEEE Trans. Commun., 1982

A Validation Technique for Tightly Coupled Protocols.

[BibT_eX]

[DOI]

,

IEEE Trans. Computers, 1982

1981

Congestion Control: Preview and Some Comments.

[BibT_eX]

[DOI]

IEEE Trans. Commun., 1981

1980

Towards Analyzing and Synthesizing Protocols.

[BibT_eX]

[DOI]

Pitro Zafiropulo

,

,

,

,

IEEE Trans. Commun., 1980

1978

Automated Protocol Validation: One Chain of Development.

[BibT_eX]

[DOI]

,

,

Pitro Zafiropulo

Comput. Networks, 1978

Packet and Circuit Switching: Cost/Performance Boundaries.

[BibT_eX]

[DOI]

,

Comput. Networks, 1978

1977

On Alternate Routing in Circuit-Switched Data Networks.

[BibT_eX]

Proceedings of the Information Processing, 1977

1976

On Routing and "Delta Routing": A Taxonomy and Performance Comparison of Techniques for Packet-Switched Networks.

[BibT_eX]

[DOI]

IEEE Trans. Commun., 1976

1974

Note on Inherent and Imposed Priorities in Packet Switching.

[BibT_eX]

[DOI]

,

IEEE Trans. Commun., 1974

Loading...