Bogdan S. Chlebus

143 papers A* 16A 9B 28C 4Misc 1Journal 70Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Energy Efficient Adversarial Routing in Shared Channels. ACM Trans. Parallel Comput. Bogdan S. Chlebus, Elijah Hradovich, Tomasz Jurdzinski, Marek Klonowski, Dariusz R. Kowalski
2023	A*	`conf`	Adversarial Contention Resolution Games. IJCAI Giorgos Chionas, Bogdan S. Chlebus, Dariusz R. Kowalski, Piotr Krysta
2023	A*	`conf`	Deterministic Fault-Tolerant Distributed Computing in Linear Time and Communication. PODC Bogdan S. Chlebus, Dariusz Rafal Kowalski, Jan Olkowski
2023	J	`jnl`	Deterministic Fault-Tolerant Distributed Computing in Linear Time and Communication. CoRR Bogdan S. Chlebus, Dariusz R. Kowalski, Jan Olkowski
2023	C	`conf`	Disconnected Agreement in Networks Prone to Link Failures. SSS Bogdan S. Chlebus, Dariusz R. Kowalski, Jan Olkowski, Jedrzej Olkowski
2023	J	`jnl`	Flexible scheduling of transactional memory on trees. Theor. Comput. Sci. Costas Busch, Bogdan S. Chlebus, Maurice Herlihy, Miroslav Popovic, Pavan Poudel, Gokarna Sharma
2023	C	`conf`	Stable Scheduling in Transactional Memory. CIAC Costas Busch, Bogdan S. Chlebus, Dariusz R. Kowalski, Pavan Poudel
2022	A*	`conf`	Brief Announcement: Deterministic Consensus and Checkpointing with Crashes: Time and Communication Efficiency. PODC Bogdan S. Chlebus, Dariusz R. Kowalski, Jan Olkowski
2022	J	`jnl`	Distributed bare-bones communication in wireless networks. Distributed Comput. Bogdan S. Chlebus, Dariusz R. Kowalski, Shailesh Vaya
2022	C	`conf`	Flexible Scheduling of Transactional Memory on Trees. SSS Costas Busch, Bogdan S. Chlebus, Maurice Herlihy, Miroslav Popovic, Pavan Poudel, Gokarna Sharma
2022	J	`jnl`	Stable Scheduling in Transactional Memory. CoRR Costas Busch, Bogdan S. Chlebus, Dariusz R. Kowalski, Pavan Poudel
2021	J	`jnl`	Broadcasting on Adversarial Multiple Access Channels. CoRR Bader A. Aldawsari, Bogdan S. Chlebus, Dariusz R. Kowalski
2021	J	`jnl`	Consensus in Networks Prone to Link Failures. CoRR Bogdan S. Chlebus, Dariusz R. Kowalski, Jan Olkowski, Jedrzej Olkowski
2020	A	`conf`	Fast Agreement in Networks with Byzantine Nodes. DISC Bogdan S. Chlebus, Dariusz R. Kowalski, Jan Olkowski
2020	J	`jnl`	Universal stability in multi-hop radio networks. J. Comput. Syst. Sci. Bogdan S. Chlebus, Vicent Cholvi, Dariusz R. Kowalski
2019	B	`conf`	Broadcasting on Adversarial Multiple Access Channels. NCA Bader A. Aldawsari, Bogdan S. Chlebus, Dariusz R. Kowalski
2019	B	`conf`	Energy Efficient Adversarial Routing in Shared Channels. SPAA Bogdan S. Chlebus, Elijah Hradovich, Tomasz Jurdzinski, Marek Klonowski, Dariusz R. Kowalski
2019	J	`jnl`	Packet latency of deterministic broadcasting in adversarial multiple access channels. J. Comput. Syst. Sci. Lakshmi Anantharamu, Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki
2018	J	`jnl`	Broadcasting Spanning Forests on a Multiple-Access Channel. CoRR Bogdan S. Chlebus, Karol Golab, Dariusz R. Kowalski
2018	J	`jnl`	Deterministic Computations on a PRAM with Static Processor and Memory Faults. CoRR Bogdan S. Chlebus, Leszek Gasieniec, Andrzej Pelc
2018	J	`jnl`	Energy Efficient Adversarial Routing in Shared Channels. CoRR Bogdan S. Chlebus, Elijah Hradovich, Tomasz Jurdzinski, Marek Klonowski, Dariusz R. Kowalski
2018	J	`jnl`	Maximum Throughput of Multiple Access Channels in Adversarial Environments. CoRR Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki
2018	J	`jnl`	Randomized Communication in Radio Networks. CoRR Bogdan S. Chlebus
2018	J	`jnl`	Routing in Wireless Networks with Interferences. CoRR Bogdan S. Chlebus, Vicent Cholvi, Pawel Garncarek, Tomasz Jurdzinski, Dariusz R. Kowalski
2018	J	`jnl`	Stability of Adversarial Routing with Feedback. CoRR Bogdan S. Chlebus, Vicent Cholvi, Dariusz R. Kowalski
2017	J	`jnl`	Adversarial Multiple Access Channels with Individual Injection Rates. Theory Comput. Syst. Lakshmi Anantharamu, Bogdan S. Chlebus, Mariusz A. Rokicki
2017	B	`conf`	Anonymous Processors with Synchronous Shared Memory: Monte Carlo Algorithms. OPODIS Bogdan S. Chlebus, Gianluca De Marco, Muhammed Talo
2017	J	`jnl`	Doing-it-All with bounded work and communication. Inf. Comput. Bogdan S. Chlebus, Leszek Gasieniec, Dariusz R. Kowalski, Alexander A. Schwarzmann
2017	J	`jnl`	Naming a Channel with Beeps. Fundam. Informaticae Bogdan S. Chlebus, Gianluca De Marco, Muhammed Talo
2017	J	`jnl`	Packet Latency of Deterministic Broadcasting in Adversarial Multiple Access Channels. CoRR Lakshmi Anantharamu, Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki
2017	J	`jnl`	Routing in Wireless Networks With Interferences. IEEE Commun. Lett. Bogdan S. Chlebus, Vicent Cholvi, Pawel Garncarek, Tomasz Jurdzinski, Dariusz R. Kowalski
2016	Misc	`conf`	Distributed communication in bare-bones wireless networks. ICDCN Bogdan S. Chlebus, Shailesh Vaya
2016	J	`jnl`	Naming a Channel with Beeps. CoRR Bogdan S. Chlebus, Gianluca De Marco, Muhammed Talo
2016	J	`jnl`	Scalable wake-up of multi-channel single-hop radio networks. Theor. Comput. Sci. Bogdan S. Chlebus, Gianluca De Marco, Dariusz R. Kowalski
2016	J	`jnl`	Universal Routing in Multi-hop Radio Networks. CoRR Bogdan S. Chlebus, Vicent Cholvi, Dariusz R. Kowalski
2015	J	`jnl`	Anonymous Processors with Synchronous Shared Memory. CoRR Bogdan S. Chlebus, Gianluca De Marco, Muhammed Talo
2015	J	`jnl`	Asynchronous Exclusive Selection. CoRR Bogdan S. Chlebus, Dariusz R. Kowalski
2015	J	`jnl`	Broadcasting in ad hoc multiple access channels. Theor. Comput. Sci. Lakshmi Anantharamu, Bogdan S. Chlebus
2015	J	`jnl`	Distributed Communication in Bare-Bones Wireless Networks. CoRR Bogdan S. Chlebus, Dariusz R. Kowalski, Shailesh Vaya
2015	J	`jnl`	Stability of adversarial routing with feedback. Networks Bogdan S. Chlebus, Vicent Cholvi, Dariusz R. Kowalski
2014	J	`jnl`	Doing-it-All with Bounded Work and Communication. CoRR Bogdan S. Chlebus, Leszek Gasieniec, Dariusz R. Kowalski, Alexander A. Shvartsman
2014	J	`jnl`	Scalable Wake-up of Multi-Channel Single-Hop Radio Networks. CoRR Bogdan S. Chlebus, Gianluca De Marco, Dariusz R. Kowalski
2014	B	`conf`	Scalable Wake-up of Multi-channel Single-Hop Radio Networks. OPODIS Bogdan S. Chlebus, Gianluca De Marco, Dariusz R. Kowalski
2014	—	`conf`	Universal routing in multi hop radio network. FOMC Bogdan S. Chlebus, Vicent Cholvi, Dariusz R. Kowalski
2013	J	`jnl`	Adversarial Multiple Access Channels with Individual Injection Rates. CoRR Lakshmi Anantharamu, Bogdan S. Chlebus, Mariusz A. Rokicki
2013	B	`conf`	Broadcasting in Ad Hoc Multiple Access Channels. SIROCCO Lakshmi Anantharamu, Bogdan S. Chlebus
2013	J	`jnl`	Broadcasting in Ad Hoc Multiple Access Channels. CoRR Lakshmi Anantharamu, Bogdan S. Chlebus
2013	—	`conf`	Stability of Adversarial Routing with Feedback. NETYS Bogdan S. Chlebus, Vicent Cholvi, Dariusz R. Kowalski
2012	J	`jnl`	Adversarial Queuing on the Multiple Access Channel. ACM Trans. Algorithms Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki
2012	B	`conf`	Electing a Leader in Multi-hop Radio Networks. OPODIS Bogdan S. Chlebus, Dariusz R. Kowalski, Andrzej Pelc
2011	—	`conf`	Efficient Distributed Communication in Ad-Hoc Radio Networks. ICALP (2) Bogdan S. Chlebus, Dariusz R. Kowalski, Andrzej Pelc, Mariusz A. Rokicki
2011	B	`conf`	Medium Access Control for Adversarial Channels with Jamming. SIROCCO Lakshmi Anantharamu, Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki
2011	J	`jnl`	Preface for Special Issue "Distributed Computing in Sensor Systems". Ad Hoc Networks Bogdan S. Chlebus, Bhaskar Krishnamachari, Sotiris E. Nikoletseas
2010	A*	`conf`	Deterministic Broadcast on Multiple Access Channels. INFOCOM Lakshmi Anantharamu, Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki
2010	A	`conf`	Scalable Quantum Consensus for Crash Failures. DISC Bogdan S. Chlebus, Dariusz R. Kowalski, Michal Strojnowski
2009	B	`conf`	Adversarial Multiple Access Channel with Individual Injection Rates. OPODIS Lakshmi Anantharamu, Bogdan S. Chlebus, Mariusz A. Rokicki
2009	A*	`conf`	Fast scalable deterministic consensus for crash failures. PODC Bogdan S. Chlebus, Dariusz R. Kowalski, Michal Strojnowski
2009	B	`conf`	Locally scalable randomized consensus for synchronous crash failures. SPAA Bogdan S. Chlebus, Dariusz R. Kowalski
2009	J	`jnl`	Many-to-Many Communication in Radio Networks. Algorithmica Bogdan S. Chlebus, Dariusz R. Kowalski, Tomasz Radzik
2009	J	`jnl`	Maximum throughput of multiple access channels in adversarial environments. Distributed Comput. Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki
2008	J	`jnl`	A robust randomized algorithm to perform independent tasks. J. Discrete Algorithms Bogdan S. Chlebus, Leszek Gasieniec, Dariusz R. Kowalski, Alexander A. Shvartsman
2008	A*	`conf`	Asynchronous exclusive selection. PODC Bogdan S. Chlebus, Dariusz R. Kowalski
2008	B	`ed.`	Distributed Computing in Sensor Systems, 4th IEEE International Conference, DCOSS 2008, Santorini Island, Greece, June 11-14, 2008, Proceedings DCOSS Sotiris E. Nikoletseas, Bogdan S. Chlebus, David B. Johnson, Bhaskar Krishnamachari
2007	J	`jnl`	Centralized asynchronous broadcast in radio networks. Theor. Comput. Sci. Bogdan S. Chlebus, Mariusz A. Rokicki
2007	C	`conf`	Stability of the Multiple-Access Channel Under Maximum Broadcast Loads. SSS Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki
2006	A*	`conf`	Adversarial queuing on the multiple-access channel. PODC Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki
2006	B	`conf`	Average-Time Complexity of Gossiping in Radio Networks. SIROCCO Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki
2006	B	`conf`	On Many-to-Many Communication in Packet Radio Networks. OPODIS Bogdan S. Chlebus, Dariusz R. Kowalski, Tomasz Radzik
2006	J	`jnl`	Performing work in broadcast networks. Distributed Comput. Bogdan S. Chlebus, Dariusz R. Kowalski, Andrzej Lingas
2006	J	`jnl`	Robust gossiping with an application to consensus. J. Comput. Syst. Sci. Bogdan S. Chlebus, Dariusz R. Kowalski
2006	A	`conf`	Time and Communication Efficient Consensus for Crash Failures. DISC Bogdan S. Chlebus, Dariusz R. Kowalski
2005	B	`conf`	Almost Optimal Explicit Selectors. FCT Bogdan S. Chlebus, Dariusz R. Kowalski
2005	A*	`conf`	Cooperative asynchronous update of shared memory. STOC Bogdan S. Chlebus, Dariusz R. Kowalski
2005	A*	`conf`	On the Wake-Up Problem in Radio Networks. ICALP Bogdan S. Chlebus, Leszek Gasieniec, Dariusz R. Kowalski, Tomasz Radzik
2004	A*	`conf`	A better wake-up in radio networks. PODC Bogdan S. Chlebus, Dariusz R. Kowalski
2004	B	`conf`	Asynchronous Broadcast in Radio Networks. SIROCCO Bogdan S. Chlebus, Mariusz A. Rokicki
2004	A*	`conf`	Collective asynchronous reading with polylogarithmic worst-case overhead. STOC Bogdan S. Chlebus, Dariusz R. Kowalski, Alexander A. Shvartsman
2004	J	`jnl`	Randomization helps to perform independent tasks reliably. Random Struct. Algorithms Bogdan S. Chlebus, Dariusz R. Kowalski
2003	J	`jnl`	Broadcasting Spanning Forests on a Multiple-Access Channel. Theory Comput. Syst. Bogdan S. Chlebus, Karol Golab, Dariusz R. Kowalski
2003	J	`jnl`	Deterministic Computations on a PRAM with Static Processor and Memory Faults. Fundam. Informaticae Bogdan S. Chlebus, Leszek Gasieniec, Andrzej Pelc
2003	A	`conf`	Routing on Meshes in Optimum Time and with Really Small Queues. IPDPS Bogdan S. Chlebus, Jop F. Sibeyn
2002	A	`conf`	Bounding Work and Communication in Robust Cooperative Computation. DISC Bogdan S. Chlebus, Leszek Gasieniec, Dariusz R. Kowalski, Alexander A. Shvartsman
2002	J	`jnl`	Deterministic broadcasting in ad hoc radio networks. Distributed Comput. Bogdan S. Chlebus, Leszek Gasieniec, Alan Gibbons, Andrzej Pelc, Wojciech Rytter
2002	B	`conf`	Finding Spanning Forests by Broadcasting. SIROCCO Bogdan S. Chlebus, Karol Golab, Dariusz R. Kowalski
2002	B	`conf`	Gossiping to reach consensus. SPAA Bogdan S. Chlebus, Dariusz R. Kowalski
2001	—	`conf`	Oblivious gossiping in ad-hoc radio networks. DIAL-M Bogdan S. Chlebus, Leszek Gasieniec, Andrzej Lingas, Aris Pagourtzis
2001	J	`jnl`	Performing tasks on synchronous restartable message-passing processors. Distributed Comput. Bogdan S. Chlebus, Roberto De Prisco, Alexander A. Shvartsman
2001	A*	`conf`	The do-all problem in broadcast networks. PODC Bogdan S. Chlebus, Dariusz R. Kowalski, Andrzej Lingas
2001	B	`conf`	Towards practical deteministic write-all algorithms. SPAA Bogdan S. Chlebus, Stefan Dobrev, Dariusz R. Kowalski, Grzegorz Malewicz, Alexander A. Shvartsman, Imrich Vrto
2000	J	`jnl`	Algorithms for the parallel alternating direction access machine. Theor. Comput. Sci. Bogdan S. Chlebus, Artur Czumaj, Leszek Gasieniec, Miroslaw Kowaluk, Wojciech Plandowski
2000	A*	`conf`	Deterministic Radio Broadcasting. ICALP Bogdan S. Chlebus, Leszek Gasieniec, Anna Östlin, John Michael Robson
2000	A*	`conf`	Deterministic broadcasting in unknown radio networks. SODA Bogdan S. Chlebus, Leszek Gasieniec, Alan Gibbons, Andrzej Pelc, Wojciech Rytter
1999	A	`conf`	Randomization Helps to Perform Tasks on Processors Prone to Failures. DISC Bogdan S. Chlebus, Dariusz R. Kowalski
1998	—	`conf`	On Finding Optimal Discretizations for Two Attributes. Rough Sets and Current Trends in Computing Bogdan S. Chlebus, Sinh Hoa Nguyen
1998	B	`conf`	On the Klee's Measure Problem in Small Dimensions. SOFSEM Bogdan S. Chlebus
1997	J	`jnl`	Deterministic Permutation Routing on Meshes. J. Algorithms Jop F. Sibeyn, Bogdan S. Chlebus, Michael Kaufmann
1997	B	`ed.`	Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings FCT Bogdan S. Chlebus, Ludwik Czaja
1997	J	`jnl`	Mesh Sorting and Selection Optimal to the Average. Comput. Artif. Intell. Bogdan S. Chlebus
1997	—	`conf`	Performing Tasks on Restartable Message-Passing Processors. WDAG Bogdan S. Chlebus, Roberto De Prisco, Alexander A. Shvartsman
1997	—	`conf`	Routing on the PADAM: Degrees of Optimality. Euro-Par Bogdan S. Chlebus, Artur Czumaj, Jop F. Sibeyn
1997	J	`jnl`	Transition-Optimal Token Distribution. Fundam. Informaticae Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc
1996	—	`conf`	Distributing Tokens on a Hypercube without Error Accumulation. IPPS Bogdan S. Chlebus, José D. P. Rolim, Giora Slutzki
1996	B	`conf`	Parallel Alternating-Direction Access Machine. MFCS Bogdan S. Chlebus, Artur Czumaj, Leszek Gasieniec, Miroslaw Kowaluk, Wojciech Plandowski
1996	J	`jnl`	Reliable Broadcasting in Hypercubes with Random Link and Node Failures. Comb. Probab. Comput. Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc
1996	A*	`conf`	Shared-Memory Simulations on a Faulty-Memory DMM. ICALP Bogdan S. Chlebus, Anna Gambin, Piotr Indyk
1995	A	`conf`	Fast Deterministic Simulation of Computations on Faulty Parallel Machines. ESA Bogdan S. Chlebus, Leszek Gasieniec, Andrzej Pelc
1995	J	`jnl`	O(log log n)-Time Integer Geometry on the CRCW PRAM. Algorithmica Bogdan S. Chlebus, Krzysztof Diks, Miroslaw Kowaluk
1994	J	`jnl`	Fast gossiping with short unreliable messages. Discret. Appl. Math. Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc
1994	A	`conf`	Optimal Pattern Matching on Meshes. STACS Bogdan S. Chlebus, Leszek Gasieniec
1994	A	`conf`	PRAM Computations Resilient to Memory Faults. ESA Bogdan S. Chlebus, Anna Gambin, Piotr Indyk
1994	B	`conf`	Shorter Queues for Permutation Routing on Meshes. MFCS Jop F. Sibeyn, Bogdan S. Chlebus, Michael Kaufmann
1994	J	`jnl`	Sorting on a Mesh-Connected Computer with Delaying Links. SIAM J. Discret. Math. Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc
1994	J	`jnl`	Sparse Networks Supporting Efficient Reliable Broadcasting. Nord. J. Comput. Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc
1994	—	`conf`	Waking up an Anonymous Faulty Network from a Single Source. HICSS (2) Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc
1993	—	`conf`	Deterministic Permutation Routing on Meshes. SPDP Bogdan S. Chlebus, Michael Kaufmann, Jop F. Sibeyn
1993	A*	`conf`	Sparse Networks Supporting Efficient Reliable Broadcasting. ICALP Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc
1992	J	`jnl`	Two Selection Algorithms on a Mesh-Connected Computer. Parallel Process. Lett. Bogdan S. Chlebus
1991	—	`conf`	Duplicating keys to streamline sorting on a mesh-connected computer. SPDP Bogdan S. Chlebus
1991	—	`conf`	Optimal Broadcasting in Faulty Hypercubes. FTCS Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc
1991	J	`jnl`	Parallel Quicksort. J. Parallel Distributed Comput. Bogdan S. Chlebus, Imrich Vrto
1991	B	`conf`	Unifying Binary-Search Trees and Permutations. FCT Bogdan S. Chlebus, Imrich Vrto
1990	J	`jnl`	Sorting Roughly Sorted Sequences in Parallel. Inf. Process. Lett. Tom Altman, Bogdan S. Chlebus
1990	J	`jnl`	Turing Machines With Access to History Inf. Comput. Bogdan S. Chlebus
1989	J	`jnl`	A Hierarchy of Propositional Horn Formulas. Theor. Comput. Sci. Bogdan S. Chlebus
1989	B	`conf`	New Simulations between CRCW PRAMs. FCT Bogdan S. Chlebus, Krzysztof Diks, Torben Hagerup, Tomasz Radzik
1989	B	`conf`	Parallel Complexity of Lexicographically First Order Problems for Tree-Structured Graphs (Extended Abstract). MFCS Bogdan S. Chlebus, Krzysztof Diks, Wojciech Rytter, Tomasz Szymacha
1989	J	`jnl`	Parallel Iterated Bucket Sort. Inf. Process. Lett. Bogdan S. Chlebus
1989	—	`conf`	Sorting within Distance Bound on a Mesh-Connected Processor Array. Optimal Algorithms Bogdan S. Chlebus
1988	J	`jnl`	A Parallel Bucket Sort. Inf. Process. Lett. Bogdan S. Chlebus
1988	B	`conf`	Efficient Simulations Between Concurrent-Read Concurrent-Write PRAM Models. MFCS Bogdan S. Chlebus, Krzysztof Diks, Torben Hagerup, Tomasz Radzik
1988	B	`conf`	Testing Isomorphism of Outerplanar Graphs in Parallel. MFCS Bogdan S. Chlebus, Krzysztof Diks, Tomasz Radzik
1987	J	`jnl`	A note on the polynomial-time hierarchy and the quantified Boolean formulas. Bull. EATCS Bogdan S. Chlebus
1987	J	`jnl`	Proving NP-completeness Using BOUNDED TILING. J. Inf. Process. Cybern. Bogdan S. Chlebus
1987	B	`conf`	Saturating Flows in Networks. FCT Bogdan S. Chlebus, Marek Chrobak, Krzysztof Diks
1986	J	`jnl`	Domino-Tiling Games. J. Comput. Syst. Sci. Bogdan S. Chlebus
1985	B	`conf`	Algorithms solving path systems. FCT Bogdan S. Chlebus
1984	—	`conf`	From domino tilings to a new model of computation. Symposium on Computation Theory Bogdan S. Chlebus
1984	J	`jnl`	Probabilistic Turing Machines and Recursively Enumerable Dedekind Cuts. Inf. Process. Lett. Marek Chrobak, Bogdan S. Chlebus
1982	J	`jnl`	Completeness Proofs for Some Logics of Programs. Math. Log. Q. Bogdan S. Chlebus
1982	J	`jnl`	On the Computational Complexity of Satisfiability in Propositional Logics of Programs. Theor. Comput. Sci. Bogdan S. Chlebus
1982	J	`jnl`	On the Decidability of Propositional Algorithmic Logic. Math. Log. Q. Bogdan S. Chlebus
1980	J	`jnl`	Decidability and Definability Results Concerning Well-Orderings and Some Extensions of First Order Logic. Math. Log. Q. Bogdan S. Chlebus
1980	—	`conf`	On four logics of programs and complexity of their satisfiability problems: extended abstract. Logic of Programs Bogdan S. Chlebus