{"id":"https://openalex.org/W2999246702","doi":"https://doi.org/10.4204/eptcs.312","title":"Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems","display_name":"Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems","publication_year":2020,"publication_date":"2020-01-20","ids":{"openalex":"https://openalex.org/W2999246702","doi":"https://doi.org/10.4204/eptcs.312","mag":"2999246702"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.312","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.312","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-issue"},"type":"paratext","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.4204/eptcs.312","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044960820","display_name":"Alessandro Aldini","orcid":"https://orcid.org/0000-0002-7250-5011"},"institutions":[{"id":"https://openalex.org/I190397597","display_name":"University of Urbino","ror":"https://ror.org/04q4kt073","country_code":"IT","type":"education","lineage":["https://openalex.org/I190397597"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Aldini, Alessandro","raw_affiliation_strings":["University of Urbino"],"affiliations":[{"raw_affiliation_string":"University of Urbino","institution_ids":["https://openalex.org/I190397597"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018783929","display_name":"Herbert Wiklicky","orcid":null},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Wiklicky, Herbert","raw_affiliation_strings":["Imperial College London"],"affiliations":[{"raw_affiliation_string":"Imperial College London","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5044960820"],"corresponding_institution_ids":["https://openalex.org/I190397597"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"312","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9222000241279602,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9222000241279602,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.91839998960495,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10260","display_name":"Software Engineering Research","score":0.9115999937057495,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/computer-science","display_name":"Computer science","score":0.7004269361495972},{"id":"https://openalex.org/keywords/czech","display_name":"Czech","score":0.5622396469116211},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.46254703402519226},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4368979334831238},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.43571463227272034},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.3682672679424286},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3610004186630249},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13918349146842957},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.11310192942619324}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7004269361495972},{"id":"https://openalex.org/C2777842544","wikidata":"https://www.wikidata.org/wiki/Q9056","display_name":"Czech","level":2,"score":0.5622396469116211},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46254703402519226},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4368979334831238},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43571463227272034},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.3682672679424286},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3610004186630249},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13918349146842957},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.11310192942619324},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.4204/eptcs.312","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.312","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-issue"},{"id":"pmh:oai:arXiv.org:2001.06163","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2001.06163","pdf_url":"https://arxiv.org/pdf/2001.06163","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:ora.uniurb.it:11576/2673582","is_oa":false,"landing_page_url":"https://hdl.handle.net/11576/2673582","pdf_url":null,"source":{"id":"https://openalex.org/S4377196377","display_name":"CINECA IRIS Institutional Research information system (University of Urbino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I190397597","host_organization_name":"University of Urbino","host_organization_lineage":["https://openalex.org/I190397597"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"}],"best_oa_location":{"id":"doi:10.4204/eptcs.312","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.312","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-issue"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.5299999713897705}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1485297680","https://openalex.org/W2782410293","https://openalex.org/W305958151","https://openalex.org/W2724504120","https://openalex.org/W4360856886","https://openalex.org/W2614400517","https://openalex.org/W4378675964","https://openalex.org/W578757760","https://openalex.org/W874599710","https://openalex.org/W2547738291"],"abstract_inverted_index":{"This":[0],"EPTCS":[1],"volume":[2],"contains":[3],"the":[4,7,37,60,76,79,84,97,106,111,121,128,141,148,163],"proceedings":[5],"of":[6,13,36,45,54,62,78,86,99,115,120,131,152,157],"16th":[8,155],"Workshop":[9],"on":[10,25,41,51,161],"Quantitative":[11],"Aspects":[12],"Programming":[14],"Languages":[15],"and":[16,43,81,105,108,113,133,135,166],"Systems":[17],"(QAPL":[18],"2019)":[19],"held":[20],"in":[21,94,140,168,175],"Prague,":[22],"Czech":[23],"Republic,":[24],"Sunday":[26],"7":[27],"April":[28],"2019.":[29],"QAPL":[30,49,122,158],"2019":[31],"was":[32],"a":[33,91,145],"satellite":[34],"event":[35],"European":[38],"Joint":[39],"Conferences":[40],"Theory":[42],"Practice":[44],"Software":[46],"(ETAPS":[47],"2019).":[48],"focuses":[50,160],"quantitative":[52],"aspects":[53],"computations,":[55],"which":[56],"may":[57],"refer":[58],"to":[59,126],"use":[61,130],"physical":[63],"quantities":[64,72,89,137],"(time,":[65],"bandwidth,":[66],"etc.)":[67],"as":[68,70,144],"well":[69],"mathematical":[71],"(e.g.,":[73],"probabilities)":[74],"for":[75,82,110,147],"characterisation":[77],"behaviour":[80],"determining":[83],"properties":[85],"systems.":[87,153],"Such":[88],"play":[90],"central":[92],"role":[93],"defining":[95],"both":[96],"model":[98,142],"systems":[100],"(architecture,":[101],"language":[102],"design,":[103],"semantics)":[104],"methodologies":[107],"tools":[109],"analysis":[112,149],"verification":[114],"system":[116],"properties.":[117],"The":[118,154],"aim":[119],"workshop":[123,174],"series":[124],"is":[125],"discuss":[127],"explicit":[129],"time":[132],"probability":[134],"general":[136],"either":[138],"directly":[139],"or":[143,150],"tool":[146],"synthesis":[151],"edition":[156],"also":[159],"discussing":[162],"developments,":[164],"challenges":[165],"results":[167],"this":[169],"area":[170],"covered":[171],"by":[172],"our":[173],"its":[176],"nearly":[177],"20-year":[178],"history.":[179]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2020-01-23T00:00:00"}