List of selected papers -- Jerzy Tomasik
- 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
- J. A. Tomasik, and J. Weyman.Category localization
semantics for specification refinements
Ann. Math. Artif. Intell. (2007) 49, pp.253-263,
Abstract, Pdf
- J. A. Tomasik, An Integrating Semantics of Hybrid Dynamic Systems Proceedings
of the KIMAS'05: Modeling, Exploration, and Engineering, pp. 481-485, 2005.
- M. Krynicki, J. A. Tomasik, and K. Zdanowski.Finite structures of
arithmetics and reduced products. Prepublications du LLAIC1 No. 2004/01
- 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
- 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
- A.Kisielewicz , and J. A. Tomasik.Essential arities in algebras of finite type and arity trees
Discrete Mathematics,Vol. 248, pp. 79-91, 2002.
- 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.
- J. A. Tomasik.Discrete Dynamic Approach to Multisensory Multi-track Fusion.
Proc. of AeroSense’2000., vol.4051, pp. 369-379, 2000.
- 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.
- 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.
- J. A. Tomasik.Towards a Constraint Complete Semantics of Interactive Hybrid Systems.
Actes du CNRIUT’98, pp. - , 1998.
- 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.
- 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.
- J.Dudek , and J. A. Tomasik. Affne spaces over GF(4). Algebra Universalis,Vol. 36
- J.Dudek , A.Kisielewicz and J. A. Tomasik. Codes of varieties. Bull. Polish Acad. Sci.
Math. vol. 34 , pp. 1-6 , 1986.
- L. Pacholski and J. A. Tomasik. Reduced products which are not saturated.
Algebra Universalis, 14, pp. 210-227, 1982.