| Publication | Date of Publication | Type |
|---|
One-Dimensional Short-Range Nearest-Neighbor Interaction and Its Nonlinear Diffusion Limit
SIAM Journal on Applied Mathematics | 2024-02-08 | Paper |
Efficiency of Equivalence Algorithms
Complexity of Computer Computations | 2021-07-06 | Paper |
Micro- and macroscopic modeling of crowding and pushing in corridors
Networks and Heterogeneous Media | 2021-01-08 | Paper |
Appraising two decades of distributed computing theory research
Distributed Computing | 2020-12-04 | Paper |
| scientific article; zbMATH DE number 6835967 (Why is no real title available?) | 2018-02-08 | Paper |
Fréchet differentiability of unsteady incompressible Navier-Stokes flow with respect to domain variations of low regularity by using a general analytical framework
SIAM Journal on Control and Optimization | 2017-11-02 | Paper |
Application of parametric model reduction with matrix interpolation for simulation of moving loads in elastic multibody systems
Advances in Computational Mathematics | 2016-01-13 | Paper |
Computation in networks of passively mobile finite-state sensors
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing | 2015-08-03 | Paper |
Secure sealed-bid online auctions using discreet cryptographic proofs
Mathematical and Computer Modelling | 2014-05-14 | Paper |
Some properties of precedence languages
Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 | 2014-03-14 | Paper |
Greedy-based approximation of frequency-weighted Gramian matrices for model reduction in multibody dynamics
ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik | 2013-10-29 | Paper |
Computation in networks of passively mobile finite-state sensors
Distributed Computing | 2013-06-13 | Paper |
| Towards understanding the predictability of stock markets from the perspective of computational complexity | 2006-01-23 | Paper |
A minimal model for studying properties of the mode-coupling type instability in friction induced oscillations
Mechanics Research Communications | 2003-05-14 | Paper |
| Towards understanding the predictability of stock markets from the perspective of computational complexity | 2002-07-22 | Paper |
Optimal layout of edge-weighted forests
Discrete Applied Mathematics | 1999-07-06 | Paper |
| scientific article; zbMATH DE number 1222813 (Why is no real title available?) | 1999-02-14 | Paper |
| scientific article; zbMATH DE number 1157651 (Why is no real title available?) | 1998-09-13 | Paper |
The Wakeup Problem
SIAM Journal on Computing | 1997-06-09 | Paper |
A secure protocol for the oblivious transfer. (Extended abstract)
Journal of Cryptology | 1996-11-24 | Paper |
Bounds on secret key exchange using a random deal of cards
Journal of Cryptology | 1996-08-28 | Paper |
| scientific article; zbMATH DE number 437574 (Why is no real title available?) | 1994-11-10 | Paper |
Fishspear: a priority queue algorithm
Journal of the ACM | 1994-06-29 | Paper |
| scientific article; zbMATH DE number 549855 (Why is no real title available?) | 1994-04-12 | Paper |
| scientific article; zbMATH DE number 176546 (Why is no real title available?) | 1993-05-18 | Paper |
Space-efficient asynchronous consensus without shared memory initialization
Information Processing Letters | 1993-05-16 | Paper |
Optimal placement of identical resources in a tree
Information and Computation | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 4191563 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4080970 (Why is no real title available?) | 1988-01-01 | Paper |
Efficient fault-tolerant routings in networks
Information and Computation | 1987-01-01 | Paper |
Interpreting logics of knowledge in propositional dynamic logic
Information Processing Letters | 1987-01-01 | Paper |
Easy impossibility proofs for distributed consensus problems
Distributed Computing | 1986-01-01 | Paper |
Probabilistic analysis of a network resource allocation algorithm
Information and Control | 1986-01-01 | Paper |
Impossibility of distributed consensus with one faulty process
Journal of the ACM | 1985-01-01 | Paper |
Efficiency of Synchronous Versus Asynchronous Distributed Systems
Journal of the ACM | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3819094 (Why is no real title available?) | 1983-01-01 | Paper |
A technique for decomposing algorithms which use a single shared variable
Journal of Computer and System Sciences | 1983-01-01 | Paper |
Storage requirements for fair scheduling
Information Processing Letters | 1983-01-01 | Paper |
An efficient algorithm for byzantine agreement without authentication
Information and Control | 1982-01-01 | Paper |
A lower bound for the time to assure interactive consistency
Information Processing Letters | 1982-01-01 | Paper |
$\Omega (n\log n)$ Lower Bounds on Length of Boolean Formulas
SIAM Journal on Computing | 1982-01-01 | Paper |
On describing the behavior and implementation of distributed systems
Theoretical Computer Science | 1981-01-01 | Paper |
A time-space tradeoff for sorting on non-oblivious machines
Journal of Computer and System Sciences | 1981-01-01 | Paper |
Parallel Prefix Computation
Journal of the ACM | 1980-01-01 | Paper |
Propositional dynamic logic of regular programs
Journal of Computer and System Sciences | 1979-01-01 | Paper |
Relations Among Complexity Measures
Journal of the ACM | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3662563 (Why is no real title available?) | 1979-01-01 | Paper |
Separating Nondeterministic Time Complexity Classes
Journal of the ACM | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3637282 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3635498 (Why is no real title available?) | 1977-01-01 | Paper |
| Relativization of the Theory of Computational Complexity | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3566160 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3513337 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3593487 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3471577 (Why is no real title available?) | 1974-01-01 | Paper |
The String-to-String Correction Problem
Journal of the ACM | 1974-01-01 | Paper |
Fast on-line integer multiplication
Journal of Computer and System Sciences | 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 3471609 (Why is no real title available?) | 1974-01-01 | Paper |
Fast on-line integer multiplication
Proceedings of the fifth annual ACM symposium on Theory of computing - STOC '73 | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3485189 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3358015 (Why is no real title available?) | 1970-01-01 | Paper |
Real-time solutions of the origin-crossing problem
Mathematical Systems Theory | 1968-01-01 | Paper |
