Scholarly and Creative Activities Directory

Marek A. Suchenek, Ph.D.

Title: Professor, Department of Computer Science

Department: Computer Science

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

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