Marek A. Suchenek, Ph.D.

Title: Professor, Department of Computer Science

Department: Computer Science

Office: NSM A-131
Phone Extension: x2068
Email Username: suchenek

Departmental Website

Show All Publications: Books Refereed Journal Articles Other Refereed Publications Non-refereed publications Reviews Presentations Grants Awards and Honors

Non-refereed publications

"Sequence Semantics for Doxastic Logic", (with Victor W. Marek)
"Minimal Perimeters of Tiled Areas", January 31, 2007
"Letter to the Bookshelf: Abel's Proof", American Scientist Online, The Magazine of Sigma Xi, The Scientific Research Society (2003),
"Election 2000: A Probability Theory Argument That Settles the Presidential Contest", Keep and Bear Arms (2000),
"Technical Correspondence: A Brilliant Example", Communications of the A.C.M. 32/9 (1989), pp 1132-1133.
"Floyd-Hoare implication is not uniformly axiomatizable within non-standard dynamic logic", Research Reports 59/83, Institute of Computer Science , Warsaw Technical University ( Warsaw 1983).
"On pragmatic semantics of programming languages", Research Reports 57/83, Institute of Computer Science , Warsaw Technical University ( Warsaw 1983).
"On first-order logics of programs", Proceedings of 15th Annual Conference on Information Sciences and Systems , G. G. L. Meyer, W. J. Rugh (editors), John Hopkins University (Baltimore, 1981), pp. 100-103.
"On axiomatizations of semantics of programming languages", Research Reports 32/81, Institute of Computer Science , Warsaw Technical University ( Warsaw 1981).
"A critique of Polish Standard of programming language FORTRAN" (in Polish), Research Reports 22/81, Institute of Computer Science , Warsaw Technical University ( Warsaw 1981).

Back to Menu