Marek A. Suchenek

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 5

Top Topics

Experimental Verification

Satisfiability Problem

Worst Case Analysis

Top Venues

Publications

Marek A. Suchenek
Worst-Case Analysis of Heapsort, Exactly. Comput. J. 67 (3) (2024)
Marek A. Suchenek
Elementary Yet Precise Worst-case Analysis of MergeSort, A short version (SV). CoRR (2017)
Marek A. Suchenek
Best-case Analysis of MergeSort with an Application to the Sum of Digits Problem, A manuscript (MS). CoRR (2016)
Marek A. Suchenek
Technical Notes on Complexity of the Satisfiability Problem. CoRR (2015)
Marek A. Suchenek
A Complete Worst-Case Analysis of Heapsort with Experimental Verification of Its Results, A manuscript (MS). CoRR (2015)
Marek A. Suchenek
Elementary Yet Precise Worst-Case Analysis of Floyd's Heap-Construction Program. Fundam. Informaticae 120 (1) (2012)
Marek A. Suchenek
Evaluation of Queries under Closed-World Assumption. Part II: The Hierarchical Case. J. Autom. Reason. 25 (4) (2000)
Marek A. Suchenek
Sound and Complete Propositional Nonmonotonic Logic of Hierarchically-Minimal Models. Intelligent Information Systems (2000)
Marek A. Suchenek
Evaluation of Queries under Closed-World Assumption. J. Autom. Reason. 18 (3) (1997)
Marek A. Suchenek
Preservation properties in deductive databases. Methods Log. Comput. Sci. 1 (3) (1994)
Marek A. Suchenek, Henrietta Okeke
Mesh models of knowledge in distributed systems. PDP (1993)
Marek A. Suchenek
First -Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment. J. Autom. Reason. 10 (2) (1993)
Marek A. Suchenek, Rajshekhar Sunderraman
On reasoning from Closed World Databases with Disjunctive Views. LPNMR (1990)
Marek A. Suchenek
Applications of Lyndon Homomorphism Theorems to the Theory of Minimal Models. Int. J. Found. Comput. Sci. 1 (1) (1990)
Marek A. Suchenek
A Syntactic Characterization of Minimal Entailment. NACLP (1989)
Marek A. Suchenek, Xitong Zheng, Golam Sarwar
Non-invasive testing of real-time avionic μ-processor systems. Microprocessing and Microprogramming 27 (1-5) (1989)
Marek A. Suchenek
Incremental models of updating data bases. Algebraic Logic and Universal Algebra in Computer Science (1988)
Marek A. Suchenek
Forcing versus Closed World Assumption. ISMIS (1987)