Marek A. Suchenek

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