List of selected papers -- Jerzy Tomasik



  1. M. Krynicki, J. A. Tomasik, and K. Zdanowski. Theory of initial segments of standard models of arithmetics and their complete extensions, Theoretical Computer Science, 412, Issue 31, 15 July 2011, pp.3975-3991, Abstract, Pdf
  2. J. A. Tomasik, and J. Weyman.Category localization semantics for specification refinements Ann. Math. Artif. Intell. (2007) 49, pp.253-263, Abstract, Pdf
  3. J. A. Tomasik, An Integrating Semantics of Hybrid Dynamic Systems Proceedings of the KIMAS'05: Modeling, Exploration, and Engineering, pp. 481-485, 2005.
  4. M. Krynicki, J. A. Tomasik, and K. Zdanowski.Finite structures of arithmetics and reduced products. Prepublications du LLAIC1 No. 2004/01
  5. M. M. Kokar, J. A. Tomasik, and J. Weyman.Formalizing Classes of Information Fusion Systems. Information Fusion: An International Journal on Multi-Sensor, Multi-Source Information Fusion Vol. 5, pp. 189-202, 2004. Pdf
  6. J. A. Tomasik, and J. Weyman.Category localization semantics for specification refinements Actes de Journées de l'Informatique Messine JIM’2003 September 3-6, 2003, Metz, France Knowledge Discovery and Discrete Mathematics ,pp.180-186 to appear in Discrete Applied Mathemathics
  7. A.Kisielewicz , and J. A. Tomasik.Essential arities in algebras of finite type and arity trees Discrete Mathematics,Vol. 248, pp. 79-91, 2002.
  8. Kokar, M. M., Tomasik, J. A. and Weyman, J. Data vs. Decision Fusion in the Category Theory Framework. Proceedings of FUSION 2001 - 4th International Conference on Information Fusion, Vol. 1, pages , 2001.
  9. J. A. Tomasik.Discrete Dynamic Approach to Multisensory Multi-track Fusion. Proc. of AeroSense’2000., vol.4051, pp. 369-379, 2000.
  10. M. M. Kokar, J. A. Tomasik and J. Weyman. A Formal Approach to Information Fusion. Proceedings of the Second International Conference on Information Fusion (Fusion'99), Vol.I,pp.133-140,July 1999.
  11. J. A. Tomasik and M. M. Kokar. Towards a Goal-Driven Autonomous Fusion System. Proceedings of the Second International Conference on Information Fusion (Fusion'99), Vol. 1, pp. 149-153, 1999.
  12. J. A. Tomasik.Towards a Constraint Complete Semantics of Interactive Hybrid Systems. Actes du CNRIUT’98, pp. - , 1998.
  13. J. A. Tomasik.Towards a Pragmatics of Infinite Fusion : Rasiowa Completion versus Keisler Saturation.Proceedings of the International Conference - Intelligent Systems : A Semiotic Perspective'96, NIST, Washington DC pp. - 1996.
  14. M.M. Kokar and J. Tomasik. Towards a Formal Theory of Sensor/Data Fusion. Technical Report: COE-ECE-MMK-1/94, Northeastern University, Boston, MA, May 1994.
  15. J.Dudek , and J. A. Tomasik. Affne spaces over GF(4). Algebra Universalis,Vol. 36
  16. J.Dudek , A.Kisielewicz and J. A. Tomasik. Codes of varieties. Bull. Polish Acad. Sci. Math. vol. 34 , pp. 1-6 , 1986.
  17. L. Pacholski and J. A. Tomasik. Reduced products which are not saturated. Algebra Universalis, 14, pp. 210-227, 1982.