Παρακολούθηση
Bruce Kapron
Bruce Kapron
Professor of Computer Science, University of Victoria
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uvic.ca - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Dynamic graph connectivity in polylogarithmic worst case time
BM Kapron, V King, B Mountjoy
Proceedings of the twenty-fourth annual ACM-SIAM symposium on Discrete …, 2013
2262013
A new characterization of type-2 feasibility
BM Kapron, SA Cook
SIAM Journal on Computing 25 (1), 117-132, 1996
1221996
Logics for reasoning about cryptographic constructions
R Impagliazzo, BM Kapron
Journal of Computer and System Sciences 72 (2), 286-320, 2006
1062006
Fast asynchronous byzantine agreement and leader election with full information
BM Kapron, D Kempe, V King, J Saia, V Sanwalani
ACM Transactions on Algorithms (TALG) 6 (4), 1-28, 2010
992010
Characterizations of the basic feasible functions of finite type, Feasible Mathematics: A Mathematical Sciences Institute Workshop (S. Buss and P. Scott, eds.)
S Cook, B Kapron
Birkhäuser, 1990
82*1990
Why Waldo befriended the dummy: k-Anonymization of social networks with pseudo-nodes
S Chester, BM Kapron, G Ramesh, G Srivastava, A Thomo, S Venkatesh
Social Network Analysis and Mining 3 (3), 381-399, 2013
722013
Complexity of social network anonymization
S Chester, BM Kapron, G Srivastava, S Venkatesh
Social Network Analysis and Mining 3 (2), 151-166, 2013
672013
The parameterized complexity of some problems in logic and linguistics
RG Downey, MR Fellows, BM Kapron, MT Hallett, HT Wareham
Logical Foundations of Computer Science: Third International Symposium, LFCS …, 1994
651994
Computational indistinguishability logic
G Barthe, M Daubignard, B Kapron, Y Lakhnech
Proceedings of the 17th ACM conference on Computer and Communications …, 2010
642010
On Characterizations of the Basic Feasible Functionals Part I
RJ Irwin, BM Kapron, JS Royer
Journal of Functional Programming 11 (1), 117-153, 2001
562001
Dynamic graph connectivity with improved worst case update time and sublinear space
D Gibb, B Kapron, V King, N Thorn
arXiv preprint arXiv:1509.06464, 2015
492015
k-Anonymization of Social Networks by Vertex Addition.
S Chester, BM Kapron, G Ramesh, G Srivastava, A Thomo, S Venkatesh
ADBIS (2) 789, 107-116, 2011
442011
Social network anonymization via edge addition
B Kapron, G Srivastava, S Venkatesh
2011 International Conference on Advances in Social Networks Analysis and …, 2011
412011
A new characterization of Mehlhorn's polynomial time functionals
BM Kapron, SA Cook
FOCS, 342-347, 1991
341991
Zero-one laws for modal logic
JY Halpern, B Kapron
Annals of Pure and Applied Logic 69 (2-3), 157-193, 1994
301994
Restricted linear congruences
K Bibak, B Kapron, V Srinivasan, R Tauraso, L Tóth
Journal of Number Theory 171, 128-144, 2017
292017
Feasible computation in higher types
BM Kapron
University of Toronto, Department of Computer Science, 1991
281991
Modal sequents and definability
BM Kapron
The Journal of symbolic logic 52 (3), 756-762, 1987
271987
On a variant of multilinear modular hashing with applications to authentication and secrecy codes
K Bibak, B Kapron, V Srinivasan, L Tóth
2016 International Symposium on Information Theory and Its Applications …, 2016
25*2016
On the equality of probabilistic terms
G Barthe, M Daubignard, B Kapron, Y Lakhnech, V Laporte
Logic for Programming, Artificial Intelligence, and Reasoning: 16th …, 2010
252010
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20