Publication Information

{'id': 'https://openalex.org/W2186330134', 'doi': None, 'title': 'Design & Verification of UniPro Protocols for Mobile Phones', 'display_name': 'Design & Verification of UniPro Protocols for Mobile Phones', 'publication_year': 2009, 'publication_date': '2009-01-01', 'ids': {'openalex': 'https://openalex.org/W2186330134', 'mag': '2186330134'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'http://www.cs.vu.nl/~tcs/mt/galataki.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/A5022546654', 'display_name': 'Despo Galataki', 'orcid': None}, 'institutions': [], 'countries': [], 'is_corresponding': True, 'raw_author_name': 'Despo Galataki', 'raw_affiliation_strings': [], 'affiliations': []}], 'institution_assertions': [], 'countries_distinct_count': 0, 'institutions_distinct_count': 0, 'corresponding_author_ids': ['https://openalex.org/A5022546654'], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': False, 'cited_by_count': 0, 'citation_normalized_percentile': {'value': 0.0, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 0, 'max': 64}, '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.9999, '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.9999, '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/T10904', 'display_name': 'Embedded Systems Design Techniques', 'score': 0.9998, 'subfield': {'id': 'https://openalex.org/subfields/1708', 'display_name': 'Hardware and Architecture'}, '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/T10933', 'display_name': 'Real-Time Systems Scheduling', 'score': 0.9995, 'subfield': {'id': 'https://openalex.org/subfields/1708', 'display_name': 'Hardware and Architecture'}, '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/promela', 'display_name': 'Promela', 'score': 0.5682672}, {'id': 'https://openalex.org/keywords/link-layer', 'display_name': 'Link layer', 'score': 0.4287659}, {'id': 'https://openalex.org/keywords/application-layer', 'display_name': 'Application layer', 'score': 0.42505652}], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.797979}, {'id': 'https://openalex.org/C55439883', 'wikidata': 'https://www.wikidata.org/wiki/Q360812', 'display_name': 'Correctness', 'level': 2, 'score': 0.5929953}, {'id': 'https://openalex.org/C2776329536', 'wikidata': 'https://www.wikidata.org/wiki/Q948666', 'display_name': 'Promela', 'level': 3, 'score': 0.5682672}, {'id': 'https://openalex.org/C31258907', 'wikidata': 'https://www.wikidata.org/wiki/Q1301371', 'display_name': 'Computer network', 'level': 1, 'score': 0.50863826}, {'id': 'https://openalex.org/C120314980', 'wikidata': 'https://www.wikidata.org/wiki/Q180634', 'display_name': 'Distributed computing', 'level': 1, 'score': 0.48374104}, {'id': 'https://openalex.org/C110251889', 'wikidata': 'https://www.wikidata.org/wiki/Q1569697', 'display_name': 'Model checking', 'level': 2, 'score': 0.48225123}, {'id': 'https://openalex.org/C2780385302', 'wikidata': 'https://www.wikidata.org/wiki/Q367158', 'display_name': 'Protocol (science)', 'level': 3, 'score': 0.4652081}, {'id': 'https://openalex.org/C12269588', 'wikidata': 'https://www.wikidata.org/wiki/Q132364', 'display_name': 'Communications protocol', 'level': 2, 'score': 0.45876473}, {'id': 'https://openalex.org/C12570599', 'wikidata': 'https://www.wikidata.org/wiki/Q2891044', 'display_name': 'Link layer', 'level': 3, 'score': 0.4287659}, {'id': 'https://openalex.org/C190793597', 'wikidata': 'https://www.wikidata.org/wiki/Q189768', 'display_name': 'Application layer', 'level': 3, 'score': 0.42505652}, {'id': 'https://openalex.org/C149635348', 'wikidata': 'https://www.wikidata.org/wiki/Q193040', 'display_name': 'Embedded system', 'level': 1, 'score': 0.41226256}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.20056012}, {'id': 'https://openalex.org/C158379750', 'wikidata': 'https://www.wikidata.org/wiki/Q214111', 'display_name': 'Network packet', 'level': 2, 'score': 0.16239911}, {'id': 'https://openalex.org/C2777904410', 'wikidata': 'https://www.wikidata.org/wiki/Q7397', 'display_name': 'Software', 'level': 2, 'score': 0.12464458}, {'id': 'https://openalex.org/C71924100', 'wikidata': 'https://www.wikidata.org/wiki/Q11190', 'display_name': 'Medicine', 'level': 0, '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}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'http://www.cs.vu.nl/~tcs/mt/galataki.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': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 11, 'referenced_works': ['https://openalex.org/W156078646', 'https://openalex.org/W1563533791', 'https://openalex.org/W1943502734', 'https://openalex.org/W1980469422', 'https://openalex.org/W2009023733', 'https://openalex.org/W2012001501', 'https://openalex.org/W2115309705', 'https://openalex.org/W2149308793', 'https://openalex.org/W2340735175', 'https://openalex.org/W2734939546', 'https://openalex.org/W2913459036'], 'related_works': ['https://openalex.org/W49420030', 'https://openalex.org/W324180163', 'https://openalex.org/W3187594930', 'https://openalex.org/W3168897635', 'https://openalex.org/W3140356503', 'https://openalex.org/W2513184887', 'https://openalex.org/W2326792561', 'https://openalex.org/W2303862225', 'https://openalex.org/W2105172281', 'https://openalex.org/W2097869426', 'https://openalex.org/W2096130985', 'https://openalex.org/W2056219132', 'https://openalex.org/W2044311901', 'https://openalex.org/W1996920585', 'https://openalex.org/W1581842094', 'https://openalex.org/W1554214695', 'https://openalex.org/W1539843711', 'https://openalex.org/W1536825944', 'https://openalex.org/W1531570503', 'https://openalex.org/W1503712571'], 'abstract_inverted_index': {'UniPro,': [0, 70], 'as': [1], 'an': [2], 'abstract': [3], 'standardized': [4], 'interface,': [5], 'interconnects': [6], 'the': [7, 17, 44, 56, 72, 82, 101, 126, 152, 174], 'variety': [8], 'of': [9, 19, 27, 48, 69], 'devices': [10], 'within': [11], 'a': [12, 20, 25, 93, 114, 167], 'mobile': [13], 'phone': [14], 'and': [15, 30, 38, 46, 67, 85, 91, 170], 'hides': [16], 'complexity': [18], 'heterogeneous': [21], 'environment.': [22], 'UniPro': [23, 51, 57], 'is': [24, 62, 79, 86, 117, 123], 'combination': [26], 'chip-to-chip': [28], 'connectivity': [29], 'TCP-like': [31], 'protocols.': [32, 52], 'Thus,': [33], 'new': [34, 115], 'protocols': [35, 139], 'are': [36, 111, 149, 182], 'defined': [37], 'verified!': [39], 'This': [40], 'thesis': [41], 'helps': [42], 'in': [43, 71, 140, 151, 185], 'design': [45], 'verification': [47], 'two': [49, 96], 'basic': [50], 'The': [53, 76, 120, 147], 'first': [54], 'one,': [55], 'Sliding': [58], 'Window': [59], '(USW)': [60], 'protocol,': [61], 'implemented': [63], 'for': [64, 88, 105, 137], 'flow': [65], 'control': [66], 'reliability': [68], 'data': [73], 'link': [74, 109], 'layer.': [75], 'second': [77], 'protocol': [78, 104], 'built': [80], 'on': [81, 166], 'transport': [83], 'layer': [84], 'responsible': [87], 'setting': [89], 'up': [90], 'closing': [92], 'connection': [94, 102, 116, 121], 'between': [95], 'nodes.': [97], 'Furthermore,': [98], 'we': [99, 132], 'extend': [100], 'management': [103], 'congestion': [106], 'control.': [107], 'So,': [108], 'reservations': [110], 'required': [112], 'before': [113], 'set': [118], 'up.': [119], 'bandwidth': [122], 'reserved': [124], 'through': [125], 'routers.': [127], 'In': [128], 'this': [129], 'Master’s': [130], 'thesis,': [131], 'implement': [133], '3': [134], 'different': [135], 'models': [136, 148, 181], 'our': [138], 'order': [141], 'to': [142, 160, 177], 'check': [143], 'their': [144], 'correctness': [145], 'properties.': [146], 'described': [150], 'Promela': [153], 'specification': [154], 'language,': [155], 'which': [156], 'can': [157], 'be': [158], 'input': [159], 'both': [161], 'model': [162], 'checkers:': [163], 'Spin': [164, 186], '(used': [165], 'single': [168], 'machine)': [169], 'DiVinE': [171], '(which': [172], 'distributes': [173], 'work': [175], 'load': [176], 'multiple': [178], 'nodes).': [179], 'All': [180], 'fully': [183], 'verified': [184], 'or': [187], 'DiVinE.': [188]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2186330134', 'counts_by_year': [], 'updated_date': '2024-12-12T09:29:58.478080', 'created_date': '2016-06-24'}