Matches in Wikidata for { <http://www.wikidata.org/entity/Q55670515> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- Q55670515 description "Scientific article" @default.
- Q55670515 description "article scientifique publié en 2017" @default.
- Q55670515 description "artículu científicu" @default.
- Q55670515 description "im Januar 2017 veröffentlichter wissenschaftlicher Artikel" @default.
- Q55670515 description "wetenschappelijk artikel" @default.
- Q55670515 description "наукова стаття, опублікована у 2017" @default.
- Q55670515 name "Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic Execution" @default.
- Q55670515 name "Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic Execution" @default.
- Q55670515 type Item @default.
- Q55670515 label "Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic Execution" @default.
- Q55670515 label "Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic Execution" @default.
- Q55670515 prefLabel "Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic Execution" @default.
- Q55670515 prefLabel "Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic Execution" @default.
- Q55670515 P1433 Q55670515-BD788864-1CE9-413B-A7C2-D4EF7079BA56 @default.
- Q55670515 P1476 Q55670515-0A6B6B97-CA2B-4562-ABC4-DE4171C539E0 @default.
- Q55670515 P2093 Q55670515-0802FC9F-B236-4432-A6EF-B607EE028A2D @default.
- Q55670515 P2093 Q55670515-484DB467-DE58-45CE-A4D2-8089F8B7F161 @default.
- Q55670515 P2093 Q55670515-4EA60E27-3CA9-4BF7-9B49-18A597AEA475 @default.
- Q55670515 P304 Q55670515-4E5EC303-26AA-40A9-B2D2-6275C53AE78C @default.
- Q55670515 P31 Q55670515-F2846CD8-04D2-449C-9717-FC593535225B @default.
- Q55670515 P356 Q55670515-A18FA3E6-E886-4DD7-A11C-E8EA7971D70F @default.
- Q55670515 P407 Q55670515-0815D5BD-CB9B-4F43-A61B-4E2843FCB0A1 @default.
- Q55670515 P4109 Q55670515-F4B3ED50-0E5B-4ED6-90C8-4B14193DFFAD @default.
- Q55670515 P478 Q55670515-35D6262A-771E-4B84-B49B-54AA288364FA @default.
- Q55670515 P577 Q55670515-CCF80AEE-583D-4676-9EA0-CFA5CFF7C0C3 @default.
- Q55670515 P6104 Q55670515-10FA0963-9FE7-4516-9826-0F0DE2BC0082 @default.
- Q55670515 P6201 Q55670515-CDBD2EB4-160B-4873-9D05-F78A3C99CB43 @default.
- Q55670515 P894 Q55670515-4A8B1CB7-E8E5-4068-8000-5F39453639DD @default.
- Q55670515 P8978 Q55670515-92C202C4-269C-4AFC-B9CD-540C2BA3BE14 @default.
- Q55670515 P921 Q55670515-0C7662D5-74BC-48AD-B7D8-2E333B685C60 @default.
- Q55670515 P921 Q55670515-45B24518-36E9-4DA6-A090-5D224F028101 @default.
- Q55670515 P921 Q55670515-8B4DF56F-F2CE-417A-8E6A-87348B162014 @default.
- Q55670515 P953 Q55670515-05E7244D-8716-40A1-B7E7-84CE27F7C5BB @default.
- Q55670515 P356 J.JSC.2016.07.023 @default.
- Q55670515 P8978 KnoopKZ17 @default.
- Q55670515 P1433 Q6295977 @default.
- Q55670515 P1476 "Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic Execution" @default.
- Q55670515 P2093 "Jakob Zwirchmayr" @default.
- Q55670515 P2093 "Jens Knoop" @default.
- Q55670515 P2093 "Laura Kovács" @default.
- Q55670515 P304 "101-124" @default.
- Q55670515 P31 Q13442814 @default.
- Q55670515 P356 "10.1016/J.JSC.2016.07.023" @default.
- Q55670515 P407 Q1860 @default.
- Q55670515 P4109 "urn:nbn:at:at-ubtuw:3-3335" @default.
- Q55670515 P478 "80" @default.
- Q55670515 P577 "2017-01-01T00:00:00Z" @default.
- Q55670515 P6104 Q8487137 @default.
- Q55670515 P6201 "AC11365159" @default.
- Q55670515 P894 "1356.68041" @default.
- Q55670515 P8978 "journals/jsc/KnoopKZ17" @default.
- Q55670515 P921 Q175515 @default.
- Q55670515 P921 Q2555318 @default.
- Q55670515 P921 Q362858 @default.
- Q55670515 P953 urn:nbn:at:at-ubtuw:3-3335 @default.