| Publication | Date of Publication | Type |
|---|
Solving Linear Equations by Means of Scalar Products
Complexity of Computer Computations | 2021-07-06 | Paper |
| scientific article; zbMATH DE number 7354705 (Why is no real title available?) | 2021-06-03 | Paper |
Randomized mutual exclusion algorithms revisited
Proceedings of the eleventh annual ACM symposium on Principles of distributed computing - PODC '92 | 2017-08-21 | Paper |
Simplified VSS and fast-track multiparty computations with applications to threshold cryptography
Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing - PODC '98 | 2016-03-02 | Paper |
Lower bounds for randomized mutual exclusion
Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC '93 | 2015-05-07 | Paper |
Strictly-black-box zero-knowledge and efficient validation of financial transactions
Automata, Languages, and Programming | 2013-08-12 | Paper |
Cryptographic combinatorial clock-proxy auctions
Financial Cryptography and Data Security | 2010-01-07 | Paper |
Security in Communication Networks
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Everlasting security in the bounded storage model
IEEE Transactions on Information Theory | 2005-05-11 | Paper |
| scientific article; zbMATH DE number 2086371 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2011839 (Why is no real title available?) | 2003-12-02 | Paper |
Online scheduling of parallel programs on heterogeneous systems with applications to Cilk
Theory of Computing Systems | 2002-12-01 | Paper |
Linear-consistency testing.
Journal of Computer and System Sciences | 2002-07-02 | Paper |
| scientific article; zbMATH DE number 1256650 (Why is no real title available?) | 2002-01-17 | Paper |
| scientific article; zbMATH DE number 1418270 (Why is no real title available?) | 2000-12-18 | Paper |
| scientific article; zbMATH DE number 1418287 (Why is no real title available?) | 2000-07-26 | Paper |
| scientific article; zbMATH DE number 1302854 (Why is no real title available?) | 2000-03-07 | Paper |
| scientific article; zbMATH DE number 1342103 (Why is no real title available?) | 1999-11-21 | Paper |
Lower Bounds for Randomized Mutual Exclusion
SIAM Journal on Computing | 1998-09-21 | Paper |
| scientific article; zbMATH DE number 1157651 (Why is no real title available?) | 1998-09-13 | Paper |
| scientific article; zbMATH DE number 826061 (Why is no real title available?) | 1996-11-04 | Paper |
On Lotteries with Unique Winners
SIAM Journal on Discrete Mathematics | 1995-05-04 | Paper |
Clock construction in fully asynchronous parallel systems and PRAM simulation
Theoretical Computer Science | 1995-04-04 | Paper |
Set systems with no union of cardinality 0 modulo \(m\)
Graphs and Combinatorics | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4126682 (Why is no real title available?) | 1990-01-01 | Paper |
Efficient dispersal of information for security, load balancing, and fault tolerance
Journal of the ACM | 1989-01-01 | Paper |
Maximum matchings in general graphs through randomization
Journal of Algorithms | 1989-01-01 | Paper |
Efficient randomized pattern-matching algorithms
IBM Journal of Research and Development | 1987-01-01 | Paper |
A logic to reason about likelihood
Artificial Intelligence | 1987-01-01 | Paper |
Randomized algorithms in number theory
Communications on Pure and Applied Mathematics | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3976360 (Why is no real title available?) | 1985-01-01 | Paper |
Transaction protection by beacons
Journal of Computer and System Sciences | 1983-01-01 | Paper |
N-process mutual exclusion with bounded waiting by 4. log//2N-valued shared variable
Journal of Computer and System Sciences | 1982-01-01 | Paper |
The choice coordination problem
Acta Informatica | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3778742 (Why is no real title available?) | 1982-01-01 | Paper |
Probabilistic algorithm for testing primality
Journal of Number Theory | 1980-01-01 | Paper |
Probabilistic Algorithms in Finite Fields
SIAM Journal on Computing | 1980-01-01 | Paper |
Linear disjointness and algebraic complexity
L'Enseignement Mathématique. 2e Série | 1980-01-01 | Paper |
Complexity of computations
Communications of the ACM | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3597592 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3592964 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3501006 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3464843 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3458112 (Why is no real title available?) | 1974-01-01 | Paper |
Proving simultaneous positivity of linear forms
Journal of Computer and System Sciences | 1972-01-01 | Paper |
Fast evaluation of polynomials by rational preparation
Communications on Pure and Applied Mathematics | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3492660 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3358465 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3365234 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3339435 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3353258 (Why is no real title available?) | 1970-01-01 | Paper |
Decidability of Second-Order Theories and Automata on Infinite Trees
Transactions of the American Mathematical Society | 1969-01-01 | Paper |
Decidability of second-order theories and automata on infinite trees
Bulletin of the American Mathematical Society | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3301432 (Why is no real title available?) | 1967-01-01 | Paper |
Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
Journal of Symbolic Logic | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3305047 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3304995 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3261594 (Why is no real title available?) | 1965-01-01 | Paper |
Probabilistic automata
Information and Control | 1963-01-01 | Paper |
Real time computation
Israel Journal of Mathematics | 1963-01-01 | Paper |
Words in the History of a Turing Machine with a Fixed Input
Journal of the ACM | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3241267 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3230240 (Why is no real title available?) | 1962-01-01 | Paper |
Computable Algebra, General Theory and Theory of Computable Fields
Transactions of the American Mathematical Society | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3238658 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3253954 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3275582 (Why is no real title available?) | 1960-01-01 | Paper |
| An Algorithm for a Minimum Cover of a Graph | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3254905 (Why is no real title available?) | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3275566 (Why is no real title available?) | 1959-01-01 | Paper |
On recursively enumerable and arithmetic models of set theory
Journal of Symbolic Logic | 1959-01-01 | Paper |
On Codes for Checking Logical Operations
IBM Journal of Research and Development | 1959-01-01 | Paper |
Recursive unsolvability of group theoretic problems
Annals of Mathematics. Second Series | 1958-01-01 | Paper |
| scientific article; zbMATH DE number 3128730 (Why is no real title available?) | 1957-01-01 | Paper |
A note on Helly's theorem
Pacific Journal of Mathematics | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3081748 (Why is no real title available?) | 1953-01-01 | Paper |
