Publication Information

{'id': 'https://openalex.org/W1554214695', 'doi': None, 'title': 'Design and Analysis of Transport Protocols for Reliable High-Speed Communications', 'display_name': 'Design and Analysis of Transport Protocols for Reliable High-Speed Communications', 'publication_year': 1997, 'publication_date': '1997-08-28', 'ids': {'openalex': 'https://openalex.org/W1554214695', 'mag': '1554214695'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://ris.utwente.nl/ws/files/6036736/t0000002.pdf', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': [], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5037792885', 'display_name': 'András Oláh', 'orcid': 'https://orcid.org/0009-0003-4796-8932'}, 'institutions': [], 'countries': [], 'is_corresponding': True, 'raw_author_name': 'András László Oláh', 'raw_affiliation_strings': [], 'affiliations': []}], 'institution_assertions': [], 'countries_distinct_count': 0, 'institutions_distinct_count': 0, 'corresponding_author_ids': ['https://openalex.org/A5037792885'], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': False, 'cited_by_count': 6, 'citation_normalized_percentile': {'value': 0.397927, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 73, 'max': 75}, 'biblio': {'volume': None, 'issue': None, 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9989, 'subfield': {'id': 'https://openalex.org/subfields/1703', 'display_name': 'Computational Theory and Mathematics'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, 'topics': [{'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9989, 'subfield': {'id': 'https://openalex.org/subfields/1703', 'display_name': 'Computational Theory and Mathematics'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T10772', 'display_name': 'Distributed systems and fault tolerance', 'score': 0.9981, 'subfield': {'id': 'https://openalex.org/subfields/1705', 'display_name': 'Computer Networks and Communications'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T11125', 'display_name': 'Petri Nets in System Modeling', 'score': 0.9978, 'subfield': {'id': 'https://openalex.org/subfields/1703', 'display_name': 'Computational Theory and Mathematics'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}], 'keywords': [{'id': 'https://openalex.org/keywords/protocol-design', 'display_name': 'Protocol design', 'score': 0.4330114}, {'id': 'https://openalex.org/keywords/formalism', 'display_name': 'Formalism (music)', 'score': 0.4310443}], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.8369738}, {'id': 'https://openalex.org/C55439883', 'wikidata': 'https://www.wikidata.org/wiki/Q360812', 'display_name': 'Correctness', 'level': 2, 'score': 0.7503016}, {'id': 'https://openalex.org/C120314980', 'wikidata': 'https://www.wikidata.org/wiki/Q180634', 'display_name': 'Distributed computing', 'level': 1, 'score': 0.6000817}, {'id': 'https://openalex.org/C2780385302', 'wikidata': 'https://www.wikidata.org/wiki/Q367158', 'display_name': 'Protocol (science)', 'level': 3, 'score': 0.54127485}, {'id': 'https://openalex.org/C12269588', 'wikidata': 'https://www.wikidata.org/wiki/Q132364', 'display_name': 'Communications protocol', 'level': 2, 'score': 0.53643596}, {'id': 'https://openalex.org/C158379750', 'wikidata': 'https://www.wikidata.org/wiki/Q214111', 'display_name': 'Network packet', 'level': 2, 'score': 0.48684567}, {'id': 'https://openalex.org/C31258907', 'wikidata': 'https://www.wikidata.org/wiki/Q1301371', 'display_name': 'Computer network', 'level': 1, 'score': 0.44166148}, {'id': 'https://openalex.org/C2982881601', 'wikidata': 'https://www.wikidata.org/wiki/Q132364', 'display_name': 'Protocol design', 'level': 3, 'score': 0.4330114}, {'id': 'https://openalex.org/C73301696', 'wikidata': 'https://www.wikidata.org/wiki/Q5469984', 'display_name': 'Formalism (music)', 'level': 3, 'score': 0.4310443}, {'id': 'https://openalex.org/C71924100', 'wikidata': 'https://www.wikidata.org/wiki/Q11190', 'display_name': 'Medicine', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C142362112', 'wikidata': 'https://www.wikidata.org/wiki/Q735', 'display_name': 'Art', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C558565934', 'wikidata': 'https://www.wikidata.org/wiki/Q2743', 'display_name': 'Musical', 'level': 2, 'score': 0.0}, {'id': 'https://openalex.org/C204787440', 'wikidata': 'https://www.wikidata.org/wiki/Q188504', 'display_name': 'Alternative medicine', 'level': 2, 'score': 0.0}, {'id': 'https://openalex.org/C142724271', 'wikidata': 'https://www.wikidata.org/wiki/Q7208', 'display_name': 'Pathology', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C153349607', 'wikidata': 'https://www.wikidata.org/wiki/Q36649', 'display_name': 'Visual arts', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://ris.utwente.nl/ws/files/6036736/t0000002.pdf', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [{'score': 0.63, 'display_name': 'Industry, innovation and infrastructure', 'id': 'https://metadata.un.org/sdg/9'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 0, 'referenced_works': [], 'related_works': ['https://openalex.org/W49420030', 'https://openalex.org/W324180163', 'https://openalex.org/W3187594930', 'https://openalex.org/W2917263064', 'https://openalex.org/W2513184887', 'https://openalex.org/W2492825885', 'https://openalex.org/W2466692761', 'https://openalex.org/W2350666597', 'https://openalex.org/W2326792561', 'https://openalex.org/W2303862225', 'https://openalex.org/W2186330134', 'https://openalex.org/W2123975063', 'https://openalex.org/W207759855', 'https://openalex.org/W2048011269', 'https://openalex.org/W2037017641', 'https://openalex.org/W2019548530', 'https://openalex.org/W2013208178', 'https://openalex.org/W1966830193', 'https://openalex.org/W1536825944', 'https://openalex.org/W1503712571'], 'abstract_inverted_index': {'The': [0, 59, 146, 163, 181, 239, 336, 383, 410, 483, 568, 582], 'design': [1, 60, 97, 141], 'and': [2, 22, 34, 56, 75, 83, 92, 136, 155, 174, 188, 192, 216, 254, 263, 321, 348, 370, 475, 551], 'analysis': [3, 150, 411, 484, 584], 'of': [4, 13, 25, 46, 61, 70, 98, 104, 125, 142, 148, 157, 165, 197, 206, 211, 223, 236, 248, 251, 269, 279, 299, 305, 316, 329, 338, 358, 372, 385, 398, 416, 421, 430, 463, 473, 500, 541, 546, 555, 570, 578, 585, 601, 622, 628, 647, 668, 671, 685, 721, 730, 749, 759], 'transport': [5, 17, 38, 101, 144, 339, 423, 530], 'protocols': [6, 18, 63, 107, 131, 199, 210, 340, 390, 688], 'for': [7, 203, 296, 332, 564], 'reliable': [8, 126, 143], 'communications': [9, 127], 'constitutes': [10], 'the': [11, 20, 50, 68, 71, 77, 80, 86, 96, 105, 123, 130, 140, 152, 158, 166, 198, 204, 219, 224, 234, 246, 249, 252, 261, 267, 270, 277, 280, 284, 291, 297, 300, 303, 314, 317, 327, 355, 367, 374, 396, 399, 414, 419, 422, 427, 437, 445, 461, 479, 487, 501, 513, 526, 529, 538, 542, 549, 553, 558, 576, 586, 597, 620, 623, 629, 633, 648, 669, 672, 701, 718, 728, 731, 742, 746, 756, 760], 'topic': [12], 'this': [14, 118, 134, 708], 'dissertation.': [15], 'These': [16, 311], 'guarantee': [19], 'sequenced': [21, 356], 'complete': [23], 'delivery': [24, 357], 'user': [26, 359], 'data': [27, 346, 380, 388, 450], 'over': [28], 'networks': [29], 'which': [30, 200, 402, 457, 593, 713], 'may': [31, 535], 'lose,': [32], 'duplicate': [33], 'reorder': [35], 'packets.': [36], 'Reliable': [37], 'services': [39], 'are': [40, 176, 214, 522, 643], 'required': [41], 'by': [42, 67, 76, 128, 170, 425, 492, 524, 681, 710], 'a': [43, 171, 330, 333, 509, 562, 565, 610, 683, 693, 750], 'wide': [44], 'range': [45], 'applications': [47], 'such': [48], 'as': [49, 405, 442], 'World-Wide': [51], 'Web,': [52], 'remote': [53], 'network': [54, 73, 527, 550], 'access,': [55], 'distributed': [57], 'computing.': [58], 'these': [62, 237, 722], 'is': [64, 120, 151, 168, 183, 201, 227, 288, 364, 391, 455, 458, 496, 517, 572, 591, 594, 617, 689], 'heavily': [65], 'influenced': [66], 'parameters': [69], 'underlying': [72], 'infrastructure': [74], 'assumptions': [78, 559], 'about': [79, 260], 'host': [81], 'computers': [82, 602], 'applications.': [84], 'Therefore': [85], 'recent': [87], 'advances': [88], 'in': [89, 218, 233, 302, 387, 393, 544, 548, 575, 609, 639, 674], 'optical': [90], 'transmission': [91, 440, 489], 'computer': [93], 'technologies': [94], 'stimulated': [95], 'several': [99], 'novel': [100], 'protocols.': [102, 145, 238, 382, 581, 723], 'Many': [103], 'proposed': [106, 404], 'use': [108, 415, 569, 692], 'similar': [109], 'or': [110, 528], 'at': [111], 'least': [112], 'related': [113], 'techniques.': [114], 'Our': [115], 'goal': [116], 'with': [117, 354, 366, 508], 'thesis': [119, 375], 'to': [121, 137, 139, 185, 193, 243, 255, 325, 408, 444, 478, 695, 699, 707, 715], 'improve': [122], 'understanding': [124], 'analyzing': [129], 'that': [132, 228, 289, 413, 486, 493, 499, 519, 599, 619, 691, 727], 'implement': [133], 'service': [135], 'contribute': [138, 706], 'basis': [147], 'our': [149, 231, 614, 661], 'formal': [153, 225], 'specification': [154, 472, 495], 'verification': [156, 226, 271, 615], 'protocol': [159, 167, 253, 262, 301, 309, 319, 331, 424, 452, 531, 543, 563, 589, 624, 634, 673, 732], 'mechanisms': [160, 278, 320], 'under': [161], 'investigation.': [162], 'behavior': [164], 'captured': [169], 'state-transition': [172], 'system': [173], 'properties': [175], 'established': [177], 'using': [178], 'assertional': [179], 'reasoning.': [180], 'framework': [182], 'capable': [184], 'handle': [186], 'unbounded': [187], 'modulo-N': [189], 'state': [190, 256, 465], 'variables': [191], 'capture': [194], 'real-time': [195], 'aspects': [196], 'essential': [202], 'modeling': [205], 'realistic': [207], 'systems.': [208], 'Practical': [209], 'considerable': [212], 'complexity': [213], 'specified': [215], 'verified': [217], 'thesis.': [220], 'One': [221], 'advantage': [222], 'it': [229, 434, 477, 506, 516, 616], 'increases': [230, 418], 'confidence': [232], 'correctness': [235, 298, 729], 'formalism': [240], 'forces': [241], 'us': [242], 'clarify': [244], 'all': [245, 557], 'details': [247], 'working': [250], 'explicitly': [257], 'every': [258], 'assumption': [259, 534, 598], 'its': [264], 'environment.': [265, 335, 567], 'During': [266], 'process': [268], 'one': [272], 'also': [273, 435, 573], 'gains': [274], 'insight': [275], 'into': [276, 345], 'protocol.': [281, 448, 482, 761], 'But': [282], 'probably': [283], 'most': [285], 'important': [286, 665], 'result': [287, 662, 753], 'during': [290], 'verication': [292], 'we': [293, 376, 725], 'obtain': [294], 'conditions': [295, 312], 'form': [304], 'inequalities': [306], 'on': [307, 460, 596, 678, 741], 'some': [308], 'parameters.': [310], 'allow': [313, 714], 'comparison': [315], 'different': [318, 379], 'can': [322, 341, 603, 635, 733], 'be': [323, 342, 604, 636, 734], 'used': [324, 637], 'judge': [326], 'suitability': [328], 'certain': [334, 566], 'functionality': [337, 420], 'naturally': [343], 'divided': [344], 'transfer': [347, 352, 381, 389, 451], 'connection': [349, 362, 579, 587, 686, 702], 'management.': [350], 'Data': [351], 'deals': [353], 'data,': [360], 'while': [361], 'management': [363, 580, 687], 'concerned': [365], 'orderly': [368], 'setup': [369, 588, 703], 'release': [371], 'connections.\r\nIn': [373], 'study': [377], 'three': [378], 'usage': [384, 720], 'timestamps': [386, 417, 571], 'analyzed': [392, 456, 690], 'detail': [394], 'through': [395], 'example': [397], 'PAWS': [400], 'mechanism': [401], 'was': [403], 'an': [406, 470, 664, 738], 'extension': [407], 'TCP.': [409], 'reveals': [412, 485], 'facilitating': [426], 'simple': [428], 'measurement': [429], 'round-trip': [431], 'delays,': [432], 'but': [433, 505], 'reduces': [436], 'maximum': [438, 488, 747], 'allowable': [439], 'rate': [441], 'compared': [443], 'plain': [446, 480, 502], 'sliding-window': [447, 481, 503], 'Another': [449], 'called': [453], 'SNR': [454, 474, 494, 514], 'based': [459, 595], 'idea': [462], 'periodic': [464], 'exchange.': [466], 'We': [467, 705], 'start': [468], 'from': [469], 'earlier': [471, 679], 'compare': [476], 'speed': [490], 'achievable': [491], 'higher': [497], 'than': [498], 'protocol,': [504], 'comes': [507], 'serious': [510], 'limitation.': [511], 'In': [512, 613], 'specication': [515], 'assumed': [518], 'no': [520, 644], 'duplicates': [521], 'generated': [523], 'either': [525], 'itself.': [532], 'This': [533, 752], 'seriously': [536], 'limit': [537], 'eective': [539], 'performance': [540], 'case': [545], 'losses': [547], 'demonstrates': [552], 'importance': [554], 'considering': [556], 'when': [560, 641], 'selecting': [561], 'investigated': [574], 'context': [577], 'detailed': [583], 'SCMP': [590], 'presented': [592], 'clocks': [600, 649], 'synchronized': [605], 'relatively': [606], 'cheaply': [607], 'even': [608], 'large': [611], 'network.': [612], 'proven': [618], 'safety': [621], 'does': [625], 'not': [626], 'depend': [627], 'synchronization': [630, 655], 'assumption,': [631], 'therefore': [632], 'safely': [638], 'cases': [640], 'there': [642], 'absolute': [645], 'guarantees': [646], 'being': [650], 'synchronized.': [651], 'Since': [652], 'practical': [653, 675, 757], 'clock': [654], 'algorithms': [656], 'give': [657], 'only': [658], 'probabilistic': [659], 'guarantees,': [660], 'provides': [663], 'theoretical': [666], 'support': [667], 'applicability': [670, 758], 'environments.': [676], 'Based': [677], 'work': [680, 709], 'others,': [682], 'family': [684], 'cache': [694], 'store': [696], 'information': [697], 'needed': [698], 'shorten': [700], 'latency.': [704], 'proposing': [711], 'improvements': [712], 'reduce': [716], 'considerably': [717], 'memory': [719], 'Furthermore,': [724], 'show': [726], 'assured': [735], 'without': [736], 'assuming': [737], 'upper': [739], 'bound': [740], 'incarnation': [743], 'lifetime,': [744], 'i.e.,': [745], 'duration': [748], 'connection.': [751], 'greatly': [754], 'improves': [755]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W1554214695', 'counts_by_year': [{'year': 2012, 'cited_by_count': 5}], 'updated_date': '2024-12-14T12:34:52.613188', 'created_date': '2016-06-24'}