FRINK Linked Data Fragments server

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

• W2000865099 endingPage "109" @default.
• W2000865099 startingPage "93" @default.
• W2000865099 abstract "Abstract We develop a model of parametric probabilistic transition Systems (PPTSs), where probabilities associated with transitions may be parameters. We show how to find instances of the parameters that satisfy a given property and instances that either maximize or minimize the probability of reaching a certain state. As an application, we model a probabilistic non-repudiation protocol with a PPTS. The theory we develop allows us to find instances that maximize the probability that the protocol ends in a fair state (no participant has an advantage over the others)." @default.
• W2000865099 created "2016-06-24" @default.
• W2000865099 creator A5047668180 @default.
• W2000865099 creator A5085606339 @default.
• W2000865099 creator A5090347665 @default.
• W2000865099 date "2007-03-01" @default.
• W2000865099 modified "2023-10-17" @default.
• W2000865099 title "Parametric probabilistic transition systems for system design and analysis" @default.
• W2000865099 cites W1497416278 @default.
• W2000865099 cites W1543526731 @default.
• W2000865099 cites W1600556058 @default.
• W2000865099 cites W1621538476 @default.
• W2000865099 cites W1905380539 @default.
• W2000865099 cites W1974090207 @default.
• W2000865099 cites W1976268573 @default.
• W2000865099 cites W1978884755 @default.
• W2000865099 cites W1991813962 @default.
• W2000865099 cites W2005708967 @default.
• W2000865099 cites W2005998857 @default.
• W2000865099 cites W2015172530 @default.
• W2000865099 cites W2025782239 @default.
• W2000865099 cites W2044260813 @default.
• W2000865099 cites W2047386147 @default.
• W2000865099 cites W2051580064 @default.
• W2000865099 cites W2057882055 @default.
• W2000865099 cites W2067556429 @default.
• W2000865099 cites W2087811006 @default.
• W2000865099 cites W2101508170 @default.
• W2000865099 cites W2113391296 @default.
• W2000865099 cites W2121431238 @default.
• W2000865099 cites W2124122503 @default.
• W2000865099 cites W2135115058 @default.
• W2000865099 cites W2155953212 @default.
• W2000865099 cites W2178662818 @default.
• W2000865099 cites W4230058301 @default.
• W2000865099 cites W4235779520 @default.
• W2000865099 cites W4242441073 @default.
• W2000865099 cites W4255034261 @default.
• W2000865099 cites W4298290503 @default.
• W2000865099 cites W4377077122 @default.
• W2000865099 cites W2166069606 @default.
• W2000865099 doi "https://doi.org/10.1007/s00165-006-0015-2" @default.
• W2000865099 hasPublicationYear "2007" @default.
• W2000865099 type Work @default.
• W2000865099 sameAs 2000865099 @default.
• W2000865099 citedByCount "62" @default.
• W2000865099 countsByYear W20008650992012 @default.
• W2000865099 countsByYear W20008650992014 @default.
• W2000865099 countsByYear W20008650992015 @default.
• W2000865099 countsByYear W20008650992016 @default.
• W2000865099 countsByYear W20008650992017 @default.
• W2000865099 countsByYear W20008650992018 @default.
• W2000865099 countsByYear W20008650992019 @default.
• W2000865099 countsByYear W20008650992020 @default.
• W2000865099 countsByYear W20008650992021 @default.
• W2000865099 countsByYear W20008650992022 @default.
• W2000865099 countsByYear W20008650992023 @default.
• W2000865099 crossrefType "journal-article" @default.
• W2000865099 hasAuthorship W2000865099A5047668180 @default.
• W2000865099 hasAuthorship W2000865099A5085606339 @default.
• W2000865099 hasAuthorship W2000865099A5090347665 @default.
• W2000865099 hasBestOaLocation W20008650991 @default.
• W2000865099 hasConcept C104317684 @default.
• W2000865099 hasConcept C105795698 @default.
• W2000865099 hasConcept C111472728 @default.
• W2000865099 hasConcept C11413529 @default.
• W2000865099 hasConcept C114289077 @default.
• W2000865099 hasConcept C117251300 @default.
• W2000865099 hasConcept C122203268 @default.
• W2000865099 hasConcept C138885662 @default.
• W2000865099 hasConcept C142724271 @default.
• W2000865099 hasConcept C143017306 @default.
• W2000865099 hasConcept C154945302 @default.
• W2000865099 hasConcept C185592680 @default.
• W2000865099 hasConcept C189950617 @default.
• W2000865099 hasConcept C194232998 @default.
• W2000865099 hasConcept C204787440 @default.
• W2000865099 hasConcept C24404364 @default.
• W2000865099 hasConcept C24858836 @default.
• W2000865099 hasConcept C2780385302 @default.
• W2000865099 hasConcept C33923547 @default.
• W2000865099 hasConcept C41008148 @default.
• W2000865099 hasConcept C48103436 @default.
• W2000865099 hasConcept C49937458 @default.
• W2000865099 hasConcept C55493867 @default.
• W2000865099 hasConcept C71924100 @default.
• W2000865099 hasConcept C80444323 @default.
• W2000865099 hasConceptScore W2000865099C104317684 @default.
• W2000865099 hasConceptScore W2000865099C105795698 @default.
• W2000865099 hasConceptScore W2000865099C111472728 @default.
• W2000865099 hasConceptScore W2000865099C11413529 @default.
• W2000865099 hasConceptScore W2000865099C114289077 @default.
• W2000865099 hasConceptScore W2000865099C117251300 @default.
• W2000865099 hasConceptScore W2000865099C122203268 @default.
• W2000865099 hasConceptScore W2000865099C138885662 @default.
• W2000865099 hasConceptScore W2000865099C142724271 @default.
• W2000865099 hasConceptScore W2000865099C143017306 @default.
• W2000865099 hasConceptScore W2000865099C154945302 @default.

• next