FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914740438> ?p ?o ?g. }

• W2914740438 abstract "We consider the problem of expected cost analysis over nondeterministic probabilistic programs, which aims at automated methods for analyzing the resource-usage of such programs. Previous approaches for this problem could only handle nonnegative bounded costs. However, in many scenarios, such as queuing networks or analysis of cryptocurrency protocols, both positive and negative costs are necessary and the costs are unbounded as well." @default.
• W2914740438 created "2019-02-21" @default.
• W2914740438 creator A5005241421 @default.
• W2914740438 creator A5008594685 @default.
• W2914740438 creator A5014740131 @default.
• W2914740438 creator A5031020748 @default.
• W2914740438 creator A5039433381 @default.
• W2914740438 creator A5052607806 @default.
• W2914740438 date "2019-06-08" @default.
• W2914740438 modified "2023-09-28" @default.
• W2914740438 title "Cost analysis of nondeterministic probabilistic programs" @default.
• W2914740438 cites W1530375435 @default.
• W2914740438 cites W1551651413 @default.
• W2914740438 cites W1589297860 @default.
• W2914740438 cites W1980177715 @default.
• W2914740438 cites W1998724430 @default.
• W2914740438 cites W2037009101 @default.
• W2914740438 cites W2039205672 @default.
• W2914740438 cites W2045966591 @default.
• W2914740438 cites W2062306963 @default.
• W2914740438 cites W2068055184 @default.
• W2914740438 cites W2073629816 @default.
• W2914740438 cites W2076833152 @default.
• W2914740438 cites W2106494689 @default.
• W2914740438 cites W2109863363 @default.
• W2914740438 cites W2120647256 @default.
• W2914740438 cites W2125218864 @default.
• W2914740438 cites W2127637733 @default.
• W2914740438 cites W2134210018 @default.
• W2914740438 cites W2135021832 @default.
• W2914740438 cites W2155049725 @default.
• W2914740438 cites W2166496828 @default.
• W2914740438 cites W2171496589 @default.
• W2914740438 cites W2173213060 @default.
• W2914740438 cites W2209422068 @default.
• W2914740438 cites W2233431969 @default.
• W2914740438 cites W2258276823 @default.
• W2914740438 cites W2294463722 @default.
• W2914740438 cites W2295266283 @default.
• W2914740438 cites W2318066047 @default.
• W2914740438 cites W2336416123 @default.
• W2914740438 cites W2461846980 @default.
• W2914740438 cites W2755806184 @default.
• W2914740438 cites W2767778696 @default.
• W2914740438 cites W2782235253 @default.
• W2914740438 cites W2803836845 @default.
• W2914740438 cites W4232668957 @default.
• W2914740438 cites W4237267501 @default.
• W2914740438 cites W4240185672 @default.
• W2914740438 doi "https://doi.org/10.1145/3314221.3314581" @default.
• W2914740438 hasPublicationYear "2019" @default.
• W2914740438 type Work @default.
• W2914740438 sameAs 2914740438 @default.
• W2914740438 citedByCount "26" @default.
• W2914740438 countsByYear W29147404382019 @default.
• W2914740438 countsByYear W29147404382020 @default.
• W2914740438 countsByYear W29147404382021 @default.
• W2914740438 countsByYear W29147404382022 @default.
• W2914740438 countsByYear W29147404382023 @default.
• W2914740438 crossrefType "proceedings-article" @default.
• W2914740438 hasAuthorship W2914740438A5005241421 @default.
• W2914740438 hasAuthorship W2914740438A5008594685 @default.
• W2914740438 hasAuthorship W2914740438A5014740131 @default.
• W2914740438 hasAuthorship W2914740438A5031020748 @default.
• W2914740438 hasAuthorship W2914740438A5039433381 @default.
• W2914740438 hasAuthorship W2914740438A5052607806 @default.
• W2914740438 hasBestOaLocation W29147404382 @default.
• W2914740438 hasConcept C126255220 @default.
• W2914740438 hasConcept C134306372 @default.
• W2914740438 hasConcept C154945302 @default.
• W2914740438 hasConcept C176181172 @default.
• W2914740438 hasConcept C206345919 @default.
• W2914740438 hasConcept C22684755 @default.
• W2914740438 hasConcept C24404364 @default.
• W2914740438 hasConcept C31258907 @default.
• W2914740438 hasConcept C33923547 @default.
• W2914740438 hasConcept C34388435 @default.
• W2914740438 hasConcept C41008148 @default.
• W2914740438 hasConcept C49937458 @default.
• W2914740438 hasConcept C80444323 @default.
• W2914740438 hasConceptScore W2914740438C126255220 @default.
• W2914740438 hasConceptScore W2914740438C134306372 @default.
• W2914740438 hasConceptScore W2914740438C154945302 @default.
• W2914740438 hasConceptScore W2914740438C176181172 @default.
• W2914740438 hasConceptScore W2914740438C206345919 @default.
• W2914740438 hasConceptScore W2914740438C22684755 @default.
• W2914740438 hasConceptScore W2914740438C24404364 @default.
• W2914740438 hasConceptScore W2914740438C31258907 @default.
• W2914740438 hasConceptScore W2914740438C33923547 @default.
• W2914740438 hasConceptScore W2914740438C34388435 @default.
• W2914740438 hasConceptScore W2914740438C41008148 @default.
• W2914740438 hasConceptScore W2914740438C49937458 @default.
• W2914740438 hasConceptScore W2914740438C80444323 @default.
• W2914740438 hasFunder F4320307762 @default.
• W2914740438 hasFunder F4320321001 @default.
• W2914740438 hasFunder F4320321003 @default.
• W2914740438 hasFunder F4320321181 @default.
• W2914740438 hasFunder F4320338352 @default.
• W2914740438 hasLocation W29147404381 @default.
• W2914740438 hasLocation W29147404382 @default.

• next