Bogdan S. Chlebus
Orcid: 0000-0003-4884-941XAffiliations:
- Augusta University, Augusta, GA, USA
- University of Colorado Denver (former)
According to our database1,
Bogdan S. Chlebus
authored at least 117 papers
between 1980 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on augusta.edu
-
on orcid.org
On csauthors.net:
Bibliography
2023
Theor. Comput. Sci., November, 2023
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023
Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Algorithms and Complexity - 13th International Conference, 2023
2022
Brief Announcement: Deterministic Consensus and Checkpointing with Crashes: Time and Communication Efficiency.
Proceedings of the PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25, 2022
2021
2020
Proceedings of the 34th International Symposium on Distributed Computing, 2020
2019
Packet latency of deterministic broadcasting in adversarial multiple access channels.
J. Comput. Syst. Sci., 2019
Proceedings of the 31st ACM on Symposium on Parallelism in Algorithms and Architectures, 2019
Proceedings of the 18th IEEE International Symposium on Network Computing and Applications, 2019
2018
2017
Theory Comput. Syst., 2017
Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017
2016
Theor. Comput. Sci., 2016
Proceedings of the 17th International Conference on Distributed Computing and Networking, 2016
2015
2014
Proceedings of the 10th ACM International Workshop on Foundations of Mobile Computing, 2014
2012
Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012
2011
Ad Hoc Networks, 2011
Proceedings of the Structural Information and Communication Complexity, 2011
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011
2010
Proceedings of the Distributed Computing, 24th International Symposium, 2010
Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010
2009
Distributed Comput., 2009
Proceedings of the SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2009
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009
2008
J. Discrete Algorithms, 2008
Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008
2007
Proceedings of the Stabilization, 2007
2006
Proceedings of the Distributed Computing, 20th International Symposium, 2006
Proceedings of the Structural Information and Communication Complexity, 2006
Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006
2005
Proceedings of the 37th Annual ACM Symposium on Theory of Computing, 2005
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005
2004
Random Struct. Algorithms, 2004
Proceedings of the 36th Annual ACM Symposium on Theory of Computing, 2004
Proceedings of the Structural Information and Communication Complexity, 2004
Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004
2003
Theory Comput. Syst., 2003
Fundam. Informaticae, 2003
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
2002
Proceedings of the Distributed Computing, 16th International Conference, 2002
Proceedings of the Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2002
Finding Spanning Forests by Broadcasting.
Proceedings of the SIROCCO 9, 2002
2001
Distributed Comput., 2001
Proceedings of the Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2001
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001
Proceedings of the 5th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIAL-M 2001), 2001
2000
Theor. Comput. Sci., 2000
Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000
1999
Proceedings of the Distributed Computing, 1999
1998
Proceedings of the SOFSEM '98: Theory and Practice of Informatics, 1998
Proceedings of the Rough Sets and Current Trends in Computing, 1998
1997
Proceedings of the Distributed Algorithms, 11th International Workshop, 1997
Proceedings of the Euro-Par '97 Parallel Processing, 1997
1996
Comb. Probab. Comput., 1996
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996
Proceedings of IPPS '96, 1996
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996
1995
Proceedings of the Algorithms, 1995
1994
SIAM J. Discret. Math., 1994
Sparse Networks Supporting Efficient Reliable Broadcasting.
Nord. J. Comput., 1994
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994
Waking up an Anonymous Faulty Network from a Single Source.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994
1992
1991
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991
Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991
Proceedings of the Fundamentals of Computation Theory, 8th International Symposium, 1991
1990
1989
Proceedings of the Optimal Algorithms, International Symposium, Varna, Bulgaria, May 29, 1989
Parallel Complexity of Lexicographically First Order Problems for Tree-Structured Graphs (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989
Proceedings of the Fundamentals of Computation Theory, 1989
1988
Proceedings of the Mathematical Foundations of Computer Science 1988, 1988
Proceedings of the Mathematical Foundations of Computer Science 1988, 1988
1987
Proving NP-completeness Using BOUNDED TILING.
J. Inf. Process. Cybern., 1987
A note on the polynomial-time hierarchy and the quantified Boolean formulas.
Bull. EATCS, 1987
Proceedings of the Fundamentals of Computation Theory, 1987
1986
1985
Proceedings of the Fundamentals of Computation Theory, 1985
1984
Inf. Process. Lett., 1984
Proceedings of the Computation Theory, 1984
1982
On the Computational Complexity of Satisfiability in Propositional Logics of Programs.
Theor. Comput. Sci., 1982
1980
Decidability and Definability Results Concerning Well-Orderings and Some Extensions of First Order Logic.
Math. Log. Q., 1980
On four logics of programs and complexity of their satisfiability problems: extended abstract.
Proceedings of the Logics of Programs and Their Applications, 1980