Forcing versus Closed World Assumption. - Marek A. Suchenek (ISMIS, 1987)

Incremental models of updating data bases. - Marek A. Suchenek (Algebraic Logic and Universal Algebra in Computer Science, 1988)

A Syntactic Characterization of Minimal Entailment. - Marek A. Suchenek (NACLP, 1989)

Non-invasive testing of real-time avionic μ-processor systems. - Marek A. Suchenek; Xitong Zheng; Golam Sarwar (Microprocessing and Microprogramming, 1989)

On reasoning from Closed World Databases with Disjunctive Views. - Marek A. Suchenek; Rajshekhar Sunderraman (LPNMR, 1990)

Applications of Lyndon Homomorphism Theorems to the Theory of Minimal Models. - Marek A. Suchenek (Int. J. Found. Comput. Sci., 1990)

Mesh models of knowledge in distributed systems. - Marek A. Suchenek; Henrietta Okeke (PDP, 1993)

First -Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment. - Marek A. Suchenek (J. Autom. Reason., 1993)

Preservation properties in deductive databases. - Marek A. Suchenek (Methods Log. Comput. Sci., 1994)

Evaluation of Queries under Closed-World Assumption. - Marek A. Suchenek (J. Autom. Reason., 1997)

Sound and Complete Propositional Nonmonotonic Logic of Hierarchically-Minimal Models. - Marek A. Suchenek (Intelligent Information Systems, 2000)

Evaluation of Queries under Closed-World Assumption. Part II: The Hierarchical Case. - Marek A. Suchenek (J. Autom. Reason., 2000)

Elementary Yet Precise Worst-Case Analysis of Floyd's Heap-Construction Program. - Marek A. Suchenek (Fundam. Informaticae, 2012)

Technical Notes on Complexity of the Satisfiability Problem. - Marek A. Suchenek (CoRR, 2015)

A Complete Worst-Case Analysis of Heapsort with Experimental Verification of Its Results, A manuscript (MS). - Marek A. Suchenek (CoRR, 2015)

Best-case Analysis of MergeSort with an Application to the Sum of Digits Problem, A manuscript (MS). - Marek A. Suchenek (CoRR, 2016)

Elementary Yet Precise Worst-case Analysis of MergeSort, A short version (SV). - Marek A. Suchenek (CoRR, 2017)

Worst-Case Analysis of Heapsort, Exactly. - Marek A. Suchenek (Comput. J., 2024)