Attribute-Based Signatures for Circuits from Bilinear Map (Q2798779): Difference between revisions

@@ Property / cites work @@
+Q3241581
@@ Property / cites work: Q3241581 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Processes with Applications
@@ Property / cites work: Stochastic Processes with Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q5365120
@@ Property / cites work: Q5365120 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of Timed and Long-Run Objectives for Markov Automata
+Normal rank
@@ Property / cites work @@
+Modelling and Analysis of Markov Reward Automata
@@ Property / cites work: Modelling and Analysis of Markov Reward Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence Reduction for Markov Automata
@@ Property / cites work: Confluence Reduction for Markov Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4346087
@@ Property / cites work: Q4346087 / rank @@
+Normal rank
@@ Property / cites work @@
+Denotational cost semantics for functional languages with inductive types
+Normal rank
@@ Property / cites work @@
+SPEED
@@ Property / cites work: SPEED / rank @@
+Normal rank
@@ Property / cites work @@
+Multivariate amortized resource analysis
@@ Property / cites work: Multivariate amortized resource analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Towards automatic resource bound analysis for OCaml
+Normal rank
@@ Property / cites work @@
+Static prediction of heap space usage for first-order functional programs
+Normal rank
@@ Property / cites work @@
+Q4868577
@@ Property / cites work: Q4868577 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692741
@@ Property / cites work: Q4692741 / rank @@
+Normal rank