2009 |
27 | EE | Ian F. Akyildiz,
Harry Rudin:
Editorial.
Computer Networks 53(3): 245 (2009) |
2008 |
26 | EE | Ian F. Akyildiz,
Harry Rudin:
Editorial.
Computer Networks 52(3): 473-474 (2008) |
2007 |
25 | EE | Ian F. Akyildiz,
Harry Rudin:
Editorial.
Computer Networks 51(4): 919-920 (2007) |
2006 |
24 | EE | Ian F. Akyildiz,
Harry Rudin:
Editorial.
Computer Networks 50(5): 597-598 (2006) |
2004 |
23 | EE | Ian F. Akyildiz,
Harry Rudin:
Editorial.
Computer Networks 45(2): 75-76 (2004) |
2003 |
22 | EE | Ian F. Akyildiz,
Harry Rudin:
Editorial.
Computer Networks 41(6): 685-686 (2003) |
2000 |
21 | | Ian F. Akyildiz,
Harry Rudin:
Editorial.
Computer Networks 32(1): (2000) |
1997 |
20 | EE | Christoph Braendli,
Harry Rudin:
Archiving agents for the World Wide Web.
ICCCN 1997: 424-426 |
1996 |
19 | EE | Jean-Pierre Courtiat,
Piotr Dembinski,
Gerard J. Holzmann,
Luigi Logrippo,
Harry Rudin,
Pamela Zave:
Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).
Computer Networks and ISDN Systems 28(13): 1845-1855 (1996) |
1994 |
18 | | Harmen R. van As,
Harry Rudin:
Media-Access Techniques for High-Speed LANs and MANs.
Computer Networks and ISDN Systems 26(6-8): 601-602 (1994) |
1992 |
17 | | Harry Rudin:
Protocol Development Success Stories: Part 1.
PSTV 1992: 149-160 |
16 | | Harry Rudin:
The ATM-Asynchronous Transfer Mode.
Computer Networks and ISDN Systems 24(4): 277-278 (1992) |
1989 |
15 | | Jan Gustavsson,
Harry Rudin:
Including a Queue in a Formal-Description-Driven Protocol Performance Analysis.
PSTV 1989: 247-258 |
1987 |
14 | | Harry Rudin,
Colin H. West:
Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987
North-Holland 1987 |
13 | | Harry Rudin:
Note on the Early History of Layered Architecture.
PSTV 1987: 453-454 |
1986 |
12 | | Harry Rudin:
Tools for Protocols Driven by Formal Specifications.
Embedded Systems 1986: 127-152 |
11 | | Harry Rudin:
The Dimension of Time in Protocol Specification.
Networking in Open Systems 1986: 360-372 |
1985 |
10 | | Harry Rudin:
Time in Formal Protocol Specifications.
Kommunikation in Verteilten Systemen (1) 1985: 575-587 |
9 | | Jan R. Engelbrecht,
Pieter S. Kritzinger,
Harry Rudin:
Predicting protocol performance from a meta-implementation.
PSTV 1985: 349-362 |
1984 |
8 | | Tommaso Bolognesi,
Harry Rudin:
On the Analysis of Time-Dependent Protocols by Network Flow Algorithms.
PSTV 1984: 491-513 |
7 | | Harry Rudin:
An Improved Algorithm for Estimating Protocol Performance.
PSTV 1984: 515-525 |
1983 |
6 | | Harry Rudin,
Colin H. West:
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 - 2 June, 1983
North-Holland 1983 |
5 | | Harry Rudin:
From Formal Protocol Specification Towards Automated Performance Prediction.
Protocol Specification, Testing, and Verification 1983: 257-269 |
1982 |
4 | | Harry Rudin,
Colin H. West:
A Validation Technique for Tightly Coupled Protocols.
IEEE Trans. Computers 31(7): 630-636 (1982) |
1978 |
3 | | Karl Kümmerle,
Harry Rudin:
Packet and Circuit Switching: Cost/Performance Boundaries.
Computer Networks 2: 3-17 (1978) |
2 | | Harry Rudin,
Colin H. West,
Pitro Zafiropulo:
Automated Protocol Validation: One Chain of Development.
Computer Networks 2: 373-380 (1978) |
1977 |
1 | | Harry Rudin:
On Alternate Routing in Circuit-Switched Data Networks.
IFIP Congress 1977: 321-326 |