<?xml version="1.0"?>
<dblpperson name="Harry Rudin" pid="33/4000" n="55">
<person key="homepages/33/4000" mdate="2009-06-10">
<author pid="33/4000">Harry Rudin</author>
</person>
<r><article publtype="informal" key="journals/ercim/DurrenbergerR20" mdate="2020-01-30">
<author pid="238/9816">Gregor D&#252;rrenberger</author>
<author pid="33/4000">Harry Rudin</author>
<title>More on 5G: Millimetre-Waves.</title>
<year>2020</year>
<volume>2020</volume>
<journal>ERCIM News</journal>
<number>120</number>
<ee type="oa">https://ercim-news.ercim.eu/en120/r-i/more-on-5g-millimetre-waves</ee>
<url>db/journals/ercim/ercim2020.html#DurrenbergerR20</url>
</article>
</r>
<r><article key="journals/cn/AkyildizRS19" mdate="2025-01-19">
<author pid="a/IAAkyildiz">Ian F. Akyildiz</author>
<author pid="33/4000">Harry Rudin</author>
<author pid="00/4292">Burkhard Stiller</author>
<title>Computer Networks (COMNET) Editorial for 2018.</title>
<pages>iii-iv</pages>
<year>2019</year>
<volume>148</volume>
<journal>Comput. Networks</journal>
<ee>https://doi.org/10.1016/S1389-1286(18)31427-0</ee>
<ee>https://www.wikidata.org/entity/Q128540461</ee>
<url>db/journals/cn/cn148.html#AkyildizRS19</url>
</article>
</r>
<r><article publtype="informal" key="journals/ercim/DurrenbergerR19" mdate="2019-05-22">
<author pid="238/9816">Gregor D&#252;rrenberger</author>
<author pid="33/4000">Harry Rudin</author>
<title>5G: A View from Switzerland.</title>
<year>2019</year>
<volume>2019</volume>
<journal>ERCIM News</journal>
<number>117</number>
<ee type="oa">https://ercim-news.ercim.eu/en117/special/5g-a-view-from-switzerland</ee>
<url>db/journals/ercim/ercim2019.html#DurrenbergerR19</url>
</article>
</r>
<r><article publtype="informal" key="journals/ercim/Rudin19" mdate="2019-05-22">
<author pid="33/4000">Harry Rudin</author>
<title>Innovation in Security Education - You have been hacked.</title>
<year>2019</year>
<volume>2019</volume>
<journal>ERCIM News</journal>
<number>117</number>
<ee type="oa">https://ercim-news.ercim.eu/en117/r-i/innovation-in-security-education-you-have-been-hacked</ee>
<url>db/journals/ercim/ercim2019.html#Rudin19</url>
</article>
</r>
<r><article key="journals/cn/AkyildizRS18" mdate="2020-02-19">
<author pid="a/IAAkyildiz">Ian F. Akyildiz</author>
<author pid="33/4000">Harry Rudin</author>
<author pid="00/4292">Burkhard Stiller</author>
<title>Editorial for COMNET 2017.</title>
<pages>iii</pages>
<year>2018</year>
<volume>130</volume>
<journal>Comput. Networks</journal>
<ee>https://doi.org/10.1016/S1389-1286(17)30437-1</ee>
<url>db/journals/cn/cn130.html#AkyildizRS18</url>
</article>
</r>
<r><article key="journals/cn/Rudin17" mdate="2020-02-19">
<author pid="33/4000">Harry Rudin</author>
<title>Change at the Helm Welcome, Farewell, Advice, Thanks Special Issues.</title>
<pages>iii</pages>
<year>2017</year>
<volume>129</volume>
<journal>Comput. Networks</journal>
<ee>https://doi.org/10.1016/S1389-1286(17)30410-3</ee>
<url>db/journals/cn/cn129.html#Rudin17</url>
</article>
</r>
<r><article key="journals/cn/AkyildizR16" mdate="2020-02-19">
<author pid="a/IAAkyildiz">Ian F. Akyildiz</author>
<author pid="33/4000">Harry Rudin</author>
<title>Comnet Editorial for 2015.</title>
<pages>iii-iv</pages>
<year>2016</year>
<volume>94</volume>
<journal>Comput. Networks</journal>
<ee>https://doi.org/10.1016/S1389-1286(15)00495-8</ee>
<url>db/journals/cn/cn94.html#AkyildizR16</url>
</article>
</r>
<r><article key="journals/cn/AkyildizR14" mdate="2020-02-19">
<author pid="a/IAAkyildiz">Ian F. Akyildiz</author>
<author pid="33/4000">Harry Rudin</author>
<title>Editorial.</title>
<pages>1</pages>
<year>2014</year>
<volume>58</volume>
<journal>Comput. Networks</journal>
<ee>https://doi.org/10.1016/j.bjp.2013.12.016</ee>
<url>db/journals/cn/cn58.html#AkyildizR14</url>
</article>
</r>
<r><article publtype="informal" key="journals/ercim/Rudin14" mdate="2019-05-22">
<author pid="33/4000">Harry Rudin</author>
<title>Will the IT Revolution Cost Our Children Their Jobs?</title>
<year>2014</year>
<volume>2014</volume>
<journal>ERCIM News</journal>
<number>99</number>
<ee type="oa">http://ercim-news.ercim.eu/en99/challenges-for-icst/will-the-it-revolution-cost-our-children-their-jobs</ee>
<url>db/journals/ercim/ercim2014.html#Rudin14</url>
</article>
</r>
<r><article key="journals/cn/AkyildizR13" mdate="2020-02-19">
<author pid="a/IAAkyildiz">Ian F. Akyildiz</author>
<author pid="33/4000">Harry Rudin</author>
<title>COMNET editorial for 2012.</title>
<pages>1-2</pages>
<year>2013</year>
<volume>57</volume>
<journal>Comput. Networks</journal>
<number>1</number>
<ee>https://doi.org/10.1016/j.comnet.2012.12.014</ee>
<url>db/journals/cn/cn57.html#AkyildizR13</url>
</article>
</r>
<r><article key="journals/cn/AkyildizR12" mdate="2020-02-19">
<author pid="a/IAAkyildiz">Ian F. Akyildiz</author>
<author pid="33/4000">Harry Rudin</author>
<title>Editorial.</title>
<pages>1-2</pages>
<year>2012</year>
<volume>56</volume>
<journal>Comput. Networks</journal>
<number>1</number>
<ee>https://doi.org/10.1016/j.comnet.2011.12.006</ee>
<url>db/journals/cn/cn56.html#AkyildizR12</url>
</article>
</r>
<r><article key="journals/cn/HusemannR12" mdate="2020-02-19">
<author pid="49/1093">Dirk Husemann</author>
<author pid="33/4000">Harry Rudin</author>
<title>The WEB we live in.</title>
<pages>3809-3810</pages>
<year>2012</year>
<volume>56</volume>
<journal>Comput. Networks</journal>
<number>18</number>
<ee>https://doi.org/10.1016/j.comnet.2012.10.013</ee>
<url>db/journals/cn/cn56.html#HusemannR12</url>
</article>
</r>
<r><article key="journals/cn/AkyildizR11" mdate="2020-02-19">
<author pid="a/IAAkyildiz">Ian F. Akyildiz</author>
<author pid="33/4000">Harry Rudin</author>
<title>Editorial.</title>
<pages>1-2</pages>
<year>2011</year>
<volume>55</volume>
<journal>Comput. Networks</journal>
<number>1</number>
<ee>https://doi.org/10.1016/j.comnet.2010.12.026</ee>
<url>db/journals/cn/cn55.html#AkyildizR11</url>
</article>
</r>
<r><article publtype="informal" key="journals/ercim/Rudin11" mdate="2019-05-22">
<author pid="33/4000">Harry Rudin</author>
<title>Potential Cell-phone Dangers: Latest Studies.</title>
<year>2011</year>
<volume>2011</volume>
<journal>ERCIM News</journal>
<number>86</number>
<ee type="oa">http://ercim-news.ercim.eu/en86/ri/potential-cell-phone-dangers-latest-studies</ee>
<url>db/journals/ercim/ercim2011.html#Rudin11</url>
</article>
</r>
<r><article publtype="informal" key="journals/ercim/Rudin11a" mdate="2019-05-22">
<author pid="33/4000">Harry Rudin</author>
<title>Building a Building for Nanotechnology.</title>
<year>2011</year>
<volume>2011</volume>
<journal>ERCIM News</journal>
<number>86</number>
<ee type="oa">http://ercim-news.ercim.eu/en86/ri/building-a-building-for-nanotechnology</ee>
<url>db/journals/ercim/ercim2011.html#Rudin11a</url>
</article>
</r>
<r><article key="journals/cn/AkyildizR10" mdate="2020-02-19">
<author pid="a/IAAkyildiz">Ian F. Akyildiz</author>
<author pid="33/4000">Harry Rudin</author>
<title>Editorial.</title>
<pages>1-2</pages>
<year>2010</year>
<volume>54</volume>
<journal>Comput. Networks</journal>
<number>1</number>
<ee>https://doi.org/10.1016/j.comnet.2009.12.006</ee>
<url>db/journals/cn/cn54.html#AkyildizR10</url>
</article>
</r>
<r><article key="journals/cn/AkyildizR09" mdate="2020-02-19">
<author pid="a/IAAkyildiz">Ian F. Akyildiz</author>
<author pid="33/4000">Harry Rudin</author>
<title>Editorial.</title>
<pages>245</pages>
<year>2009</year>
<volume>53</volume>
<journal>Comput. Networks</journal>
<number>3</number>
<ee>https://doi.org/10.1016/j.comnet.2009.01.005</ee>
<url>db/journals/cn/cn53.html#AkyildizR09</url>
</article>
</r>
<r><article publtype="informal" key="journals/ercim/Rudin09" mdate="2019-05-22">
<author pid="33/4000">Harry Rudin</author>
<title>More on Mobile Telephones and Our Health.</title>
<year>2009</year>
<volume>2009</volume>
<journal>ERCIM News</journal>
<number>77</number>
<ee type="oa">http://ercim-news.ercim.eu/en77/rd/more-on-mobile-telephones-and-our-health</ee>
<url>db/journals/ercim/ercim2009.html#Rudin09</url>
</article>
</r>
<r><article key="journals/cn/AkyildizR08" mdate="2020-02-19">
<author pid="a/IAAkyildiz">Ian F. Akyildiz</author>
<author pid="33/4000">Harry Rudin</author>
<title>Editorial.</title>
<pages>473-474</pages>
<year>2008</year>
<volume>52</volume>
<journal>Comput. Networks</journal>
<number>3</number>
<ee>https://doi.org/10.1016/j.comnet.2008.01.003</ee>
<url>db/journals/cn/cn52.html#AkyildizR08</url>
</article>
</r>
<r><article publtype="informal" key="journals/ercim/Rudin08" mdate="2019-05-22">
<author pid="33/4000">Harry Rudin</author>
<title>Medical Record Keeping Made Visually Accessible.</title>
<year>2008</year>
<volume>2008</volume>
<journal>ERCIM News</journal>
<number>74</number>
<ee type="oa">http://ercim-news.ercim.eu/medical-record-keeping-made-visually-accessible</ee>
<url>db/journals/ercim/ercim2008.html#Rudin08</url>
</article>
</r>
<r><article key="journals/cn/AkyildizR07" mdate="2020-02-19">
<author pid="a/IAAkyildiz">Ian F. Akyildiz</author>
<author pid="33/4000">Harry Rudin</author>
<title>Editorial.</title>
<pages>919-920</pages>
<year>2007</year>
<volume>51</volume>
<journal>Comput. Networks</journal>
<number>4</number>
<ee>https://doi.org/10.1016/j.comnet.2006.12.001</ee>
<url>db/journals/cn/cn51.html#AkyildizR07</url>
</article>
</r>
<r><article publtype="informal" key="journals/ercim/Rudin07" mdate="2019-05-22">
<author pid="33/4000">Harry Rudin</author>
<title>Super Progress in Super Computing.</title>
<year>2007</year>
<volume>2007</volume>
<journal>ERCIM News</journal>
<number>70</number>
<ee type="oa">http://ercim-news.ercim.eu/super-progress-in-super-computing</ee>
<url>db/journals/ercim/ercim2007.html#Rudin07</url>
</article>
</r>
<r><article key="journals/cn/AkyildizR06" mdate="2020-02-19">
<author pid="a/IAAkyildiz">Ian F. Akyildiz</author>
<author pid="33/4000">Harry Rudin</author>
<title>Editorial.</title>
<pages>597-598</pages>
<year>2006</year>
<volume>50</volume>
<journal>Comput. Networks</journal>
<number>5</number>
<ee>https://doi.org/10.1016/j.comnet.2005.12.001</ee>
<url>db/journals/cn/cn50.html#AkyildizR06</url>
</article>
</r>
<r><article key="journals/cn/AkyildizR04" mdate="2020-02-19">
<author pid="a/IAAkyildiz">Ian F. Akyildiz</author>
<author pid="33/4000">Harry Rudin</author>
<title>Editorial.</title>
<pages>75-76</pages>
<year>2004</year>
<volume>45</volume>
<journal>Comput. Networks</journal>
<number>2</number>
<ee>https://doi.org/10.1016/j.comnet.2004.03.026</ee>
<url>db/journals/cn/cn45.html#AkyildizR04</url>
</article>
</r>
<r><article key="journals/cm/Rudin03" mdate="2020-08-25">
<author pid="33/4000">Harry Rudin</author>
<title>Internet for a mobile generation [Book Review].</title>
<pages>14</pages>
<year>2003</year>
<volume>41</volume>
<journal>IEEE Commun. Mag.</journal>
<number>3</number>
<ee>https://doi.org/10.1109/MCOM.2003.1186540</ee>
<url>db/journals/cm/cm41.html#Rudin03</url>
</article>
</r>
<r><article key="journals/cn/AkyildizR03" mdate="2020-02-19">
<author pid="a/IAAkyildiz">Ian F. Akyildiz</author>
<author pid="33/4000">Harry Rudin</author>
<title>Editorial.</title>
<pages>685-686</pages>
<year>2003</year>
<volume>41</volume>
<journal>Comput. Networks</journal>
<number>6</number>
<ee>https://doi.org/10.1016/S1389-1286(03)00201-9</ee>
<url>db/journals/cn/cn41.html#AkyildizR03</url>
</article>
</r>
<r><article key="journals/cn/AkyildizR00" mdate="2020-02-19">
<author pid="a/IAAkyildiz">Ian F. Akyildiz</author>
<author pid="33/4000">Harry Rudin</author>
<title>Editorial.</title>
<year>2000</year>
<volume>32</volume>
<pages>vi</pages>
<journal>Comput. Networks</journal>
<number>1</number>
<url>db/journals/cn/cn32.html#AkyildizR00</url>
<ee>https://doi.org/10.1016/S1389-1286(99)00135-8</ee>
</article>
</r>
<r><article key="journals/cn/Rudin97" mdate="2020-05-14">
<author pid="33/4000">Harry Rudin</author>
<title>Challenges to the network: Telecoms and the internet.</title>
<pages>1991-1992</pages>
<year>1997</year>
<volume>29</volume>
<journal>Comput. Networks ISDN Syst.</journal>
<number>16</number>
<ee>https://doi.org/10.1016/S0169-7552(97)83078-4</ee>
<url>db/journals/cn/cn29.html#Rudin97</url>
</article>
</r>
<r><inproceedings key="conf/icccn/BraendliR97" mdate="2023-03-24">
<author pid="60/1778">Christoph Braendli</author>
<author pid="33/4000">Harry Rudin</author>
<title>Archiving agents for the World Wide Web.</title>
<pages>424-426</pages>
<year>1997</year>
<crossref>conf/icccn/1997</crossref>
<booktitle>ICCCN</booktitle>
<ee>https://doi.org/10.1109/ICCCN.1997.623346</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/ICCCN.1997.623346</ee>
<url>db/conf/icccn/icccn1997.html#BraendliR97</url>
</inproceedings>
</r>
<r><article key="journals/cn/CourtiatDHLRZ96" mdate="2025-01-19">
<author pid="62/2258">Jean-Pierre Courtiat</author>
<author pid="11/5604">Piotr Dembinski</author>
<author pid="h/GerardJHolzmann">Gerard J. Holzmann</author>
<author pid="l/LuigiLogrippo">Luigi Logrippo</author>
<author pid="33/4000">Harry Rudin</author>
<author pid="z/PamelaZave">Pamela Zave</author>
<title>Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).</title>
<pages>1845-1855</pages>
<year>1996</year>
<volume>28</volume>
<journal>Comput. Networks ISDN Syst.</journal>
<number>13</number>
<url>db/journals/cn/cn28.html#CourtiatDHLRZ96</url>
<ee>https://doi.org/10.1016/0169-7552(96)00083-9</ee>
<ee>https://www.wikidata.org/entity/Q126437814</ee>
</article>
</r>
<r><article key="journals/cn/AsR94" mdate="2020-05-14">
<author pid="17/6095">Harmen R. van As</author>
<author pid="33/4000">Harry Rudin</author>
<title>Media-Access Techniques for High-Speed LANs and MANs.</title>
<pages>601-602</pages>
<year>1994</year>
<volume>26</volume>
<journal>Comput. Networks ISDN Syst.</journal>
<number>6-8</number>
<url>db/journals/cn/cn26.html#AsR94</url>
<ee>https://doi.org/10.1016/0169-7552(94)90035-3</ee>
</article>
</r>
<r><article key="journals/cn/Rudin92" mdate="2020-05-14">
<author pid="33/4000">Harry Rudin</author>
<title>The ATM-Asynchronous Transfer Mode.</title>
<pages>277-278</pages>
<year>1992</year>
<volume>24</volume>
<journal>Comput. Networks ISDN Syst.</journal>
<number>4</number>
<url>db/journals/cn/cn24.html#Rudin92</url>
<ee>https://doi.org/10.1016/0169-7552(92)90113-5</ee>
</article>
</r>
<r><inproceedings key="conf/pstv/Rudin92" mdate="2002-01-03">
<author pid="33/4000">Harry Rudin</author>
<title>Protocol Development Success Stories: Part 1.</title>
<pages>149-160</pages>
<year>1992</year>
<crossref>conf/pstv/1992</crossref>
<booktitle>PSTV</booktitle>
<url>db/conf/pstv/pstv1992.html#Rudin92</url>
</inproceedings>
</r>
<r><inproceedings key="conf/pstv/GustavssonR89" mdate="2002-01-03">
<author pid="00/6086">Jan Gustavsson</author>
<author pid="33/4000">Harry Rudin</author>
<title>Including a Queue in a Formal-Description-Driven Protocol Performance Analysis.</title>
<pages>247-258</pages>
<year>1989</year>
<crossref>conf/pstv/1989</crossref>
<booktitle>PSTV</booktitle>
<url>db/conf/pstv/pstv1989.html#GustavssonR89</url>
</inproceedings>
</r>
<r><inproceedings key="conf/pstv/Rudin87" mdate="2002-01-03">
<author pid="33/4000">Harry Rudin</author>
<title>Note on the Early History of Layered Architecture.</title>
<pages>453-454</pages>
<year>1987</year>
<crossref>conf/pstv/1987</crossref>
<booktitle>PSTV</booktitle>
<url>db/conf/pstv/pstv1987.html#Rudin87</url>
</inproceedings>
</r>
<r><proceedings key="conf/pstv/1987" mdate="2002-01-03">
<editor pid="33/4000">Harry Rudin</editor>
<editor pid="58/6960">Colin H. West</editor>
<title>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</title>
<booktitle>PSTV</booktitle>
<publisher>North-Holland</publisher>
<year>1987</year>
<isbn>0-444-70293-8</isbn>
<url>db/conf/pstv/pstv1987.html</url>
</proceedings>
</r>
<r><article key="journals/computer/Rudin86" mdate="2020-08-12">
<author pid="33/4000">Harry Rudin</author>
<title>Trends in Computer Communications.</title>
<pages>25-33</pages>
<year>1986</year>
<volume>19</volume>
<journal>Computer</journal>
<number>11</number>
<ee>https://doi.org/10.1109/MC.1986.1663097</ee>
<ee>http://doi.ieeecomputersociety.org/10.1109/MC.1986.1663097</ee>
<url>db/journals/computer/computer19.html#Rudin86</url>
</article>
</r>
<r><inproceedings key="conf/ac/Rudin86" mdate="2017-05-19">
<author pid="33/4000">Harry Rudin</author>
<title>Tools for Protocols Driven by Formal Specifications.</title>
<pages>127-152</pages>
<year>1986</year>
<crossref>conf/ac/1986esys</crossref>
<booktitle>Embedded Systems</booktitle>
<url>db/conf/ac/esys1986.html#Rudin86</url>
<ee>https://doi.org/10.1007/BFb0016350</ee>
</inproceedings>
</r>
<r><inproceedings key="conf/ibm/Rudin86" mdate="2017-05-17">
<author pid="33/4000">Harry Rudin</author>
<title>The Dimension of Time in Protocol Specification.</title>
<pages>360-372</pages>
<year>1986</year>
<crossref>conf/ibm/1986</crossref>
<booktitle>Networking in Open Systems</booktitle>
<url>db/conf/ibm/nos1986.html#Rudin86</url>
<ee>https://doi.org/10.1007/BFb0026971</ee>
</inproceedings>
</r>
<r><article key="journals/cm/Rudin85" mdate="2021-06-23">
<author pid="33/4000">Harry Rudin</author>
<title>An informal overview of formal protocol specification.</title>
<pages>46-52</pages>
<year>1985</year>
<volume>23</volume>
<journal>IEEE Commun. Mag.</journal>
<number>3</number>
<ee>https://doi.org/10.1109/MCOM.1985.1092527</ee>
<url>db/journals/cm/cm23.html#Rudin85</url>
</article>
</r>
<r><inproceedings key="conf/kivs/Rudin85" mdate="2017-05-23">
<author pid="33/4000">Harry Rudin</author>
<title>Time in Formal Protocol Specifications.</title>
<pages>575-587</pages>
<year>1985</year>
<crossref>conf/kivs/1985-1</crossref>
<booktitle>Kommunikation in Verteilten Systemen (1)</booktitle>
<url>db/conf/kivs/kivs85-1.html#Rudin85</url>
<ee>https://doi.org/10.1007/978-3-642-70285-3_35</ee>
</inproceedings>
</r>
<r><inproceedings key="conf/pstv/EngelbrechtKR85" mdate="2002-01-07">
<author pid="42/1705">Jan R. Engelbrecht</author>
<author pid="k/PSKritzinger">Pieter S. Kritzinger</author>
<author pid="33/4000">Harry Rudin</author>
<title>Predicting protocol performance from a meta-implementation.</title>
<pages>349-362</pages>
<year>1985</year>
<crossref>conf/pstv/1985</crossref>
<booktitle>PSTV</booktitle>
<url>db/conf/pstv/pstv1985.html#EngelbrechtKR85</url>
</inproceedings>
</r>
<r><inproceedings key="conf/pstv/BolognesiR84" mdate="2002-01-10">
<author pid="49/6194">Tommaso Bolognesi</author>
<author pid="33/4000">Harry Rudin</author>
<title>On the Analysis of Time-Dependent Protocols by Network Flow Algorithms.</title>
<pages>491-513</pages>
<year>1984</year>
<crossref>conf/pstv/1984</crossref>
<booktitle>PSTV</booktitle>
<url>db/conf/pstv/pstv1984.html#BolognesiR84</url>
</inproceedings>
</r>
<r><inproceedings key="conf/pstv/Rudin84" mdate="2002-01-10">
<author pid="33/4000">Harry Rudin</author>
<title>An Improved Algorithm for Estimating Protocol Performance.</title>
<pages>515-525</pages>
<year>1984</year>
<crossref>conf/pstv/1984</crossref>
<booktitle>PSTV</booktitle>
<url>db/conf/pstv/pstv1984.html#Rudin84</url>
</inproceedings>
</r>
<r><inproceedings key="conf/ifip/Rudin83" mdate="2019-08-04">
<author pid="33/4000">Harry Rudin</author>
<title>From Formal Protocol Specification Towards Automated Performance Prediction.</title>
<pages>257-269</pages>
<year>1983</year>
<crossref>conf/pstv/1983</crossref>
<booktitle>Protocol Specification, Testing, and Verification</booktitle>
<url>db/conf/ifip/pstv83.html#Rudin83</url>
</inproceedings>
</r>
<r><proceedings key="conf/pstv/1983" mdate="2019-09-07">
<editor pid="33/4000">Harry Rudin</editor>
<editor pid="58/6960">Colin H. West</editor>
<title>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&#252;schlikon, Switzerland, 31 May - 2 June, 1983</title>
<booktitle>PSTV</booktitle>
<publisher>North-Holland</publisher>
<year>1983</year>
<isbn>0-444-86769-4</isbn>
<url>db/conf/ifip/pstv83.html</url>
</proceedings>
</r>
<r><article key="journals/tc/RudinW82" mdate="2017-05-20">
<author pid="33/4000">Harry Rudin</author>
<author pid="58/6960">Colin H. West</author>
<title>A Validation Technique for Tightly Coupled Protocols.</title>
<pages>630-636</pages>
<year>1982</year>
<volume>31</volume>
<journal>IEEE Trans. Computers</journal>
<number>7</number>
<url>db/journals/tc/tc31.html#RudinW82</url>
<ee>https://doi.org/10.1109/TC.1982.1676060</ee>
<ee>http://doi.ieeecomputersociety.org/10.1109/TC.1982.1676060</ee>
</article>
</r>
<r><article key="journals/tcom/ShermanR82" mdate="2022-04-28">
<author pid="298/4838">Mark Sherman 0001</author>
<author pid="33/4000">Harry Rudin</author>
<title>Using Automated Validation Techniques to Detect Lockups in Packet-Switched Networks.</title>
<pages>1762-1767</pages>
<year>1982</year>
<volume>30</volume>
<journal>IEEE Trans. Commun.</journal>
<number>7</number>
<ee>https://doi.org/10.1109/TCOM.1982.1095652</ee>
<url>db/journals/tcom/tcom30.html#ShermanR82</url>
</article>
</r>
<r><article key="journals/tcom/Rudin81" mdate="2020-09-01">
<author pid="33/4000">Harry Rudin</author>
<title>Congestion Control: Preview and Some Comments.</title>
<pages>373-375</pages>
<year>1981</year>
<volume>29</volume>
<journal>IEEE Trans. Commun.</journal>
<number>4</number>
<ee>https://doi.org/10.1109/TCOM.1981.1095019</ee>
<url>db/journals/tcom/tcom29.html#Rudin81</url>
</article>
</r>
<r><article key="journals/tcom/ZafiropuloWRCB80" mdate="2020-09-01">
<author pid="47/5832">Pitro Zafiropulo</author>
<author pid="58/6960">Colin H. West</author>
<author pid="33/4000">Harry Rudin</author>
<author pid="271/7501">D. D. Cowan</author>
<author pid="60/3264">Daniel Brand</author>
<title>Towards Analyzing and Synthesizing Protocols.</title>
<pages>651-661</pages>
<year>1980</year>
<volume>28</volume>
<journal>IEEE Trans. Commun.</journal>
<number>4</number>
<ee>https://doi.org/10.1109/TCOM.1980.1094687</ee>
<url>db/journals/tcom/tcom28.html#ZafiropuloWRCB80</url>
</article>
</r>
<r><article key="journals/cn/KummerleR78" mdate="2020-02-19">
<author pid="35/5231">Karl K&#252;mmerle</author>
<author pid="33/4000">Harry Rudin</author>
<title>Packet and Circuit Switching: Cost/Performance Boundaries.</title>
<pages>3-17</pages>
<year>1978</year>
<volume>2</volume>
<journal>Comput. Networks</journal>
<url>db/journals/cn/cn2.html#KummerleR78</url>
<ee>https://doi.org/10.1016/0376-5075(78)90034-X</ee>
</article>
</r>
<r><article key="journals/cn/RudinWZ78" mdate="2020-02-19">
<author pid="33/4000">Harry Rudin</author>
<author pid="58/6960">Colin H. West</author>
<author pid="47/5832">Pitro Zafiropulo</author>
<title>Automated Protocol Validation: One Chain of Development.</title>
<pages>373-380</pages>
<year>1978</year>
<volume>2</volume>
<journal>Comput. Networks</journal>
<url>db/journals/cn/cn2.html#RudinWZ78</url>
<ee>https://doi.org/10.1016/0376-5075(78)90016-8</ee>
</article>
</r>
<r><inproceedings key="conf/ifip/Rudin77" mdate="2019-07-26">
<author pid="33/4000">Harry Rudin</author>
<title>On Alternate Routing in Circuit-Switched Data Networks.</title>
<pages>321-326</pages>
<year>1977</year>
<crossref>conf/ifip/1977</crossref>
<booktitle>IFIP Congress</booktitle>
<url>db/conf/ifip/ifip1977.html#Rudin77</url>
</inproceedings>
</r>
<r><article key="journals/tcom/Rudin76" mdate="2020-09-01">
<author pid="33/4000">Harry Rudin</author>
<title>On Routing and &#34;Delta Routing&#34;: A Taxonomy and Performance Comparison of Techniques for Packet-Switched Networks.</title>
<pages>43-59</pages>
<year>1976</year>
<volume>24</volume>
<journal>IEEE Trans. Commun.</journal>
<number>1</number>
<ee>https://doi.org/10.1109/TCOM.1976.1093202</ee>
<url>db/journals/tcom/tcom24.html#Rudin76</url>
</article>
</r>
<r><article key="journals/tcom/McDonaldR74" mdate="2020-09-01">
<author pid="273/0412">Milo McDonald</author>
<author pid="33/4000">Harry Rudin</author>
<title>Note on Inherent and Imposed Priorities in Packet Switching.</title>
<pages>1678-1681</pages>
<year>1974</year>
<volume>22</volume>
<journal>IEEE Trans. Commun.</journal>
<number>10</number>
<ee>https://doi.org/10.1109/TCOM.1974.1092104</ee>
<url>db/journals/tcom/tcom22.html#McDonaldR74</url>
</article>
</r>
<coauthors n="22" nc="4">
<co c="3"><na f="a/Akyildiz:Ian_F=" pid="a/IAAkyildiz">Ian F. Akyildiz</na></co>
<co c="0"><na f="a/As:Harmen_R=_van" pid="17/6095">Harmen R. van As</na></co>
<co c="-1"><na f="b/Bolognesi:Tommaso" pid="49/6194">Tommaso Bolognesi</na></co>
<co c="-1"><na f="b/Braendli:Christoph" pid="60/1778">Christoph Braendli</na></co>
<co c="0"><na f="b/Brand:Daniel" pid="60/3264">Daniel Brand</na></co>
<co c="1"><na f="c/Courtiat:Jean=Pierre" pid="62/2258">Jean-Pierre Courtiat</na></co>
<co c="0"><na f="c/Cowan:D=_D=" pid="271/7501">D. D. Cowan</na></co>
<co c="1"><na f="d/Dembinski:Piotr" pid="11/5604">Piotr Dembinski</na></co>
<co c="-1"><na f="d/D=uuml=rrenberger:Gregor" pid="238/9816">Gregor D&#252;rrenberger</na></co>
<co c="2"><na f="e/Engelbrecht:Jan_R=" pid="42/1705">Jan R. Engelbrecht</na></co>
<co c="-1"><na f="g/Gustavsson:Jan" pid="00/6086">Jan Gustavsson</na></co>
<co c="1"><na f="h/Holzmann:Gerard_J=" pid="h/GerardJHolzmann">Gerard J. Holzmann</na></co>
<co c="-1"><na f="h/Husemann:Dirk" pid="49/1093">Dirk Husemann</na></co>
<co c="2"><na f="k/Kritzinger:Pieter_S=" pid="k/PSKritzinger">Pieter S. Kritzinger</na></co>
<co c="0"><na f="k/K=uuml=mmerle:Karl" pid="35/5231">Karl K&#252;mmerle</na></co>
<co c="1"><na f="l/Logrippo:Luigi" pid="l/LuigiLogrippo">Luigi Logrippo</na></co>
<co c="-1"><na f="m/McDonald:Milo" pid="273/0412">Milo McDonald</na></co>
<co c="-1"><na f="s/Sherman_0001:Mark" pid="298/4838">Mark Sherman 0001</na></co>
<co c="3"><na f="s/Stiller:Burkhard" pid="00/4292">Burkhard Stiller</na></co>
<co c="0"><na f="w/West:Colin_H=" pid="58/6960">Colin H. West</na></co>
<co c="0"><na f="z/Zafiropulo:Pitro" pid="47/5832">Pitro Zafiropulo</na></co>
<co c="1"><na f="z/Zave:Pamela" pid="z/PamelaZave">Pamela Zave</na></co>
</coauthors>
</dblpperson>

