Ambuj Singh

MaRDI QIDQ808724zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Compositional proofs for concurrent objects	2025-03-19	Paper
Adaptive solutions to the mutual exclusion problem Distributed Computing	2020-11-30	Paper
Naming symmetric processes using shared variables Distributed Computing	2020-11-30	Paper
Polar Opinion Dynamics in Social Networks IEEE Transactions on Automatic Control	2018-06-27	Paper
Adaptive solutions to the mutual exclusion problem Proceedings of the twelfth annual ACM symposium on Principles of distributed computing - PODC '93	2017-09-29	Paper
Mixed consistency Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94	2017-09-29	Paper
Efficient dynamic range searching using data replication Information Processing Letters	2016-06-09	Paper
Map: searching large genome databases	2008-04-14	Paper
Design of the Kan distributed object system	2003-01-27	Paper
Recovering distributed objects Information Processing Letters	2002-07-25	Paper
scientific article; zbMATH DE number 1346489 (Why is no real title available?)	1999-10-04	Paper
Efficient implementation of synchronous communication over asynchronous networks Journal of Parallel and Distributed Computing	1995-07-20	Paper
A framework for programming with nonatomic memories Journal of Parallel and Distributed Computing	1995-07-20	Paper
The elusive atomic register Journal of the ACM	1994-06-29	Paper
Program refinement in fair transition systems Acta Informatica	1994-05-10	Paper
Rankers: A classification of synchronization problems Science of Computer Programming	1994-02-17	Paper
Towards an understanding of unbounded variables in asynchronous systems Information Processing Letters	1993-01-16	Paper
scientific article; zbMATH DE number 88949 (Why is no real title available?)	1993-01-16	Paper
Specification of concurrent objects using auxiliary variables Science of Computer Programming	1991-01-01	Paper
Derivation of efficient parallel programs: An example from genetic sequence analysis International Journal of Parallel Programming	1990-01-01	Paper

Research outcomes over time

This page was built for person: Ambuj Singh