{"id":"https://openalex.org/W2177320946","doi":null,"title":"Robust SOS Specifications of Probabilistic Processes","display_name":"Robust SOS Specifications of Probabilistic Processes","publication_year":2015,"publication_date":"2015-11-13","ids":{"openalex":"https://openalex.org/W2177320946","mag":"2177320946"},"language":"en","primary_location":{"id":"pmh:vu:oai:research.vu.nl:publications/63e28513-669d-41f0-9fb7-e8979d9c9f63","doi":null,"is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/63e28513-669d-41f0-9fb7-e8979d9c9f63","pdf_url":"https://research.vu.nl/en/publications/63e28513-669d-41f0-9fb7-e8979d9c9f63","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralthesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.vu.nl/en/publications/63e28513-669d-41f0-9fb7-e8979d9c9f63","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056469474","display_name":"E.D. Gebler","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"E.D. Gebler","raw_affiliation_strings":["Theoretical Computer Science"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Theoretical Computer Science","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5056469474"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9639000296592712,"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.9639000296592712,"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/T10126","display_name":"Logic, programming, and type systems","score":0.01889999955892563,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.004000000189989805,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/robustness","display_name":"robustness","score":0.6039999723434448},{"id":"https://openalex.org/keywords/probabilistic-processes","display_name":"probabilistic processes","score":0.878000020980835},{"id":"https://openalex.org/keywords/specification-languages","display_name":"specification languages","score":0.4440000057220459},{"id":"https://openalex.org/keywords/probabilistic-programming-languages","display_name":"probabilistic programming languages","score":0.4490000009536743}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5227739214897156},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4695499539375305},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2833626866340637}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:vu:oai:research.vu.nl:publications/63e28513-669d-41f0-9fb7-e8979d9c9f63","doi":null,"is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/63e28513-669d-41f0-9fb7-e8979d9c9f63","pdf_url":"https://research.vu.nl/en/publications/63e28513-669d-41f0-9fb7-e8979d9c9f63","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralthesis"},{"id":"pmh:oai:dare.ubvu.vu.nl:1871/53587","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/1871/53587","pdf_url":null,"source":{"id":"https://openalex.org/S4306400546","display_name":"Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Doctoral thesis"},{"id":"mag:2177320946","doi":null,"is_oa":false,"landing_page_url":"https://research.vu.nl/ws/files/42146543/cover.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:vu:oai:research.vu.nl:publications/63e28513-669d-41f0-9fb7-e8979d9c9f63","doi":null,"is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/63e28513-669d-41f0-9fb7-e8979d9c9f63","pdf_url":"https://research.vu.nl/en/publications/63e28513-669d-41f0-9fb7-e8979d9c9f63","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralthesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2177320946.pdf"},"referenced_works_count":238,"referenced_works":["https://openalex.org/W29485814","https://openalex.org/W44759527","https://openalex.org/W47800957","https://openalex.org/W57241078","https://openalex.org/W59519219","https://openalex.org/W60875600","https://openalex.org/W71537616","https://openalex.org/W81345837","https://openalex.org/W103016522","https://openalex.org/W106195609","https://openalex.org/W110490872","https://openalex.org/W124584040","https://openalex.org/W138290785","https://openalex.org/W143797383","https://openalex.org/W157211085","https://openalex.org/W173641204","https://openalex.org/W175266890","https://openalex.org/W177980195","https://openalex.org/W178638537","https://openalex.org/W179875050","https://openalex.org/W195403207","https://openalex.org/W203992939","https://openalex.org/W215702142","https://openalex.org/W259536784","https://openalex.org/W260150189","https://openalex.org/W385466589","https://openalex.org/W623593394","https://openalex.org/W629575385","https://openalex.org/W749677411","https://openalex.org/W781006782","https://openalex.org/W784376926","https://openalex.org/W817662247","https://openalex.org/W832563999","https://openalex.org/W837015840","https://openalex.org/W1272627389","https://openalex.org/W1481572045","https://openalex.org/W1484220609","https://openalex.org/W1493911304","https://openalex.org/W1495927366","https://openalex.org/W1497942136","https://openalex.org/W1499707311","https://openalex.org/W1500496891","https://openalex.org/W1500801183","https://openalex.org/W1503973138","https://openalex.org/W1505207814","https://openalex.org/W1505927408","https://openalex.org/W1507175145","https://openalex.org/W1511639568","https://openalex.org/W1514324734","https://openalex.org/W1516256348","https://openalex.org/W1516570371","https://openalex.org/W1520931975","https://openalex.org/W1532739430","https://openalex.org/W1535566948","https://openalex.org/W1537092771","https://openalex.org/W1537937665","https://openalex.org/W1540519426","https://openalex.org/W1543496272","https://openalex.org/W1544169416","https://openalex.org/W1545300203","https://openalex.org/W1547562281","https://openalex.org/W1554001271","https://openalex.org/W1561925517","https://openalex.org/W1562672438","https://openalex.org/W1568477142","https://openalex.org/W1568807415","https://openalex.org/W1569111752","https://openalex.org/W1570222255","https://openalex.org/W1574033492","https://openalex.org/W1579183220","https://openalex.org/W1581031502","https://openalex.org/W1589911528","https://openalex.org/W1593780309","https://openalex.org/W1597181838","https://openalex.org/W1597386479","https://openalex.org/W1597843639","https://openalex.org/W1600318815","https://openalex.org/W1602073915","https://openalex.org/W1606078215","https://openalex.org/W1634005769","https://openalex.org/W1646328921","https://openalex.org/W1671302640","https://openalex.org/W1736113712","https://openalex.org/W1757114815","https://openalex.org/W1833150732","https://openalex.org/W1850900101","https://openalex.org/W1887494250","https://openalex.org/W1938699391","https://openalex.org/W1944365733","https://openalex.org/W1948727931","https://openalex.org/W1949250500","https://openalex.org/W1966112122","https://openalex.org/W1972475472","https://openalex.org/W1977543377","https://openalex.org/W1980535239","https://openalex.org/W1981596335","https://openalex.org/W1994350081","https://openalex.org/W1995469594","https://openalex.org/W1995799881","https://openalex.org/W1999706742","https://openalex.org/W2000226932","https://openalex.org/W2005998857","https://openalex.org/W2010466545","https://openalex.org/W2012556109","https://openalex.org/W2015172530","https://openalex.org/W2017170340","https://openalex.org/W2020293036","https://openalex.org/W2039139411","https://openalex.org/W2042676555","https://openalex.org/W2043907610","https://openalex.org/W2047901101","https://openalex.org/W2048277227","https://openalex.org/W2055687978","https://openalex.org/W2056145119","https://openalex.org/W2062341323","https://openalex.org/W2063972032","https://openalex.org/W2070157304","https://openalex.org/W2070218973","https://openalex.org/W2071882940","https://openalex.org/W2075379212","https://openalex.org/W2085568542","https://openalex.org/W2093397547","https://openalex.org/W2095082129","https://openalex.org/W2097357100","https://openalex.org/W2098981343","https://openalex.org/W2100996925","https://openalex.org/W2102097307","https://openalex.org/W2102886900","https://openalex.org/W2103197759","https://openalex.org/W2105135809","https://openalex.org/W2105265565","https://openalex.org/W2106934908","https://openalex.org/W2107321255","https://openalex.org/W2107471150","https://openalex.org/W2108886305","https://openalex.org/W2109680782","https://openalex.org/W2110265121","https://openalex.org/W2110438062","https://openalex.org/W2110601664","https://openalex.org/W2110871985","https://openalex.org/W2112320167","https://openalex.org/W2112500557","https://openalex.org/W2114456644","https://openalex.org/W2115124728","https://openalex.org/W2115444569","https://openalex.org/W2116175020","https://openalex.org/W2116862465","https://openalex.org/W2118229393","https://openalex.org/W2124306669","https://openalex.org/W2125382028","https://openalex.org/W2125422788","https://openalex.org/W2125500714","https://openalex.org/W2125777207","https://openalex.org/W2125882282","https://openalex.org/W2125974103","https://openalex.org/W2126634848","https://openalex.org/W2127087758","https://openalex.org/W2127452188","https://openalex.org/W2133164797","https://openalex.org/W2134038996","https://openalex.org/W2134334536","https://openalex.org/W2134615572","https://openalex.org/W2134939026","https://openalex.org/W2135115058","https://openalex.org/W2135657750","https://openalex.org/W2136537428","https://openalex.org/W2136722939","https://openalex.org/W2136920408","https://openalex.org/W2137336375","https://openalex.org/W2137865376","https://openalex.org/W2137991784","https://openalex.org/W2141356071","https://openalex.org/W2143653216","https://openalex.org/W2144306831","https://openalex.org/W2144910575","https://openalex.org/W2145213289","https://openalex.org/W2148071011","https://openalex.org/W2148596781","https://openalex.org/W2149278248","https://openalex.org/W2149865311","https://openalex.org/W2150166985","https://openalex.org/W2151186198","https://openalex.org/W2154695063","https://openalex.org/W2157943893","https://openalex.org/W2157977984","https://openalex.org/W2161344870","https://openalex.org/W2161613684","https://openalex.org/W2165002254","https://openalex.org/W2168493456","https://openalex.org/W2169395959","https://openalex.org/W2169872629","https://openalex.org/W2170805715","https://openalex.org/W2178366839","https://openalex.org/W2178631546","https://openalex.org/W2183855686","https://openalex.org/W2246540852","https://openalex.org/W2251500794","https://openalex.org/W2258885520","https://openalex.org/W2266544809","https://openalex.org/W2273865370","https://openalex.org/W2274446643","https://openalex.org/W2287341768","https://openalex.org/W2291752661","https://openalex.org/W2295202592","https://openalex.org/W2323009482","https://openalex.org/W2330589374","https://openalex.org/W2360712630","https://openalex.org/W2413007639","https://openalex.org/W2461608415","https://openalex.org/W2495188503","https://openalex.org/W2564764799","https://openalex.org/W2565703796","https://openalex.org/W2570586857","https://openalex.org/W2572707509","https://openalex.org/W2573066928","https://openalex.org/W2573938657","https://openalex.org/W2574895600","https://openalex.org/W2576752578","https://openalex.org/W2581077845","https://openalex.org/W2582055589","https://openalex.org/W2582930876","https://openalex.org/W2583674010","https://openalex.org/W2584822530","https://openalex.org/W2585354766","https://openalex.org/W2586998752","https://openalex.org/W2588048676","https://openalex.org/W2590043845","https://openalex.org/W2591735988","https://openalex.org/W2594890241","https://openalex.org/W2751862591","https://openalex.org/W2807865209","https://openalex.org/W2914873822","https://openalex.org/W2950922359","https://openalex.org/W3021003119","https://openalex.org/W3101533681","https://openalex.org/W3122062938","https://openalex.org/W3142526198","https://openalex.org/W3144368627"],"related_works":["https://openalex.org/W2990967238","https://openalex.org/W7033320250","https://openalex.org/W6991137214","https://openalex.org/W6981959327","https://openalex.org/W7018867517","https://openalex.org/W2910743398","https://openalex.org/W2724205587","https://openalex.org/W7014638364","https://openalex.org/W7020916429","https://openalex.org/W7214267730"],"abstract_inverted_index":null,"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}