Source: http://matinf.uwb.edu.pl/pl/wydzial/kadra/pracownik.php?cID=88&s=publikacje
Timestamp: 2019-04-21 04:13:08+00:00

Document:
J. Automat. Reason. 61 (2018), no. 1-4, 9-32.
Form. Math. 26 (2018), no. 2, 159-164.
The Computer Science Journal of Moldova 26 (2018), no. 1, 59-76.
Form. Math. 26 (2018), no. 2, 141-147.
Form. Math. 26 (2018), no. 2, 149-158.
Form. Math. 26 (2018), no. 2, 165-173.
Form. Math. 26 (2018), no. 1, 11-20.
Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2018, May 15, Institute of Postgraduate Education of Taras Shevchenko National University of Kyiv, Ukraine (conf. org.) (N. Basiliades, V. Ermolayev, H.-G. Fill, H. V. Mayr, M. Nikitchenko, A. Spivakovsky, V. Yakovyna, G. Zholtkevych Ed(s).), CCIS , (publ. by) Springer, 2018, pp. 41-64.
Form. Math. 25 (2017), no. 1, 39-48.
Form. Math. 25 (2017), no. 3, 205-216.
Form. Math. 25 (2017), no. 1, 31-37.
Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Co, 9th Conference on Intelligent Computer Mathematics (CICM 2016), Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (Bernd-Holger Schlingloff et al. Ed(s).), CEUR Workshop Proceedings vol. 1785, (publ. by) RWTH Aachen University, 2017, pp. 17-20.
ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, 13th International Conference ICTERI 2017, May 15, Institute of Postgraduate Education of Taras Shevchenko National University of Kyiv, Ukraine (conf. org.) (V. Ermolayev, N. Bassiliades, H. G. Fill, V. Yakovyna, H. C. Mayr, V. Kharchenko, V. Peschanenko, M. Shyshkina, M. Nikitchenko, A. Spivakovsky Ed(s).), CEUR Workshop Proceedings vol. 1844, (publ. by) RWTH Aachen University, 2017, pp. 504-523.
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems (FedCSIS), Sep 3-6, Polish Information Processing Society, IBS PAN,Wrocław University of Technology, ETI (conf. org.) (M. Ganzha, L. Maciaszek, M. Paprzycki Ed(s).), Annals of Computer Science and Information Systems vol. 11, (publ. by) PTI: Polish Information Processing Society, 2017, pp. 237-244.
Information Systems Architecture and Technology, Proceedings of 38th International Conference on Information Systems Architecture and Technology, ISAT 2017, part II, Sep 17-19, Wrocław University of Science and Technology (conf. org.) (Z. Wilimowska, J. Świątek, L. Borzemski Ed(s).), Advances in Intelligent Systems and Computing , (publ. by) Springer V., 2017, pp. 176-186.
Form. Math. 25 (2017), no. 1, 49-54.
Form. Math. 25 (2017), no. 2, 141-147.
Form. Math. 25 (2017), no. 2, 87-92.
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems (FedCSIS), Sep 3-6, Polish Information Processing Society, IBS PAN,Wrocław University of Technology, ETI (conf. org.) (M. Ganzha, L. Maciaszek, M. Paprzycki Ed(s).), Annals of Computer Science and Information Systems vol. 11, (publ. by) PTI: Polish Information Processing Society, 2017, pp. 245-248.
Form. Math. 25 (2017), no. 2, 149-155.
Proceedings of the 2016 Federated Conference on Computer Science and Information Systems (FedCSIS), Sep 11-14, Polish Information Processing Society, IBS PAN,Wrocław University of Technology, ETI (conf. org.) (M. Ganzha, L. Maciaszek, M. Paprzycki et al. Ed(s).), Annals of Computer Science and Information Systems vol. 8, (publ. by) PTI: Polish Information Processing Society, 2016, pp. 363-371.
Intelligent Computer Mathematics, International Conference, CICM 2016, Białystok, Poland, July 25-29, 2016, Proceedings., Jul 25-29, Wydział Matematyki i Informatyki Uniwersytetu w Białymstoku (conf. org.) (M. Kohlhase, M. Johansson, B. Miller, L.. de Moura, F. Tompa Ed(s).), Lecture Notes in Comput. Sci. vol. 9791, (publ. by) Springer, Berlin, 2016, pp. 157-162.
Form. Math. 24 (2016), no. 4, 301-308.
Form. Math. 24 (2016), no. 3, 227-237.
Intelligent Computer Mathematics, International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings., Jul 13-17, (M. Kerber, J. Carette, C. Kaliszyk, F. Rabe, V. Sorge Ed(s).), Lecture Notes in Comput. Sci. vol. 9150, (publ. by) Springer, Berlin, 2015, pp. 261-279.
J. Automat. Reason. 55 (2015), no. 3, 191-198.
Proceedings of the 2015 Federated Conference on Computer Science and Information Systems (FedCSIS), Sept. 13-16, Annals of Computer Science and Information Systems vol. 5, (publ. by) PTI: Polish Information Processing Society, 2015, pp. 45-54.
Theoretical and Applied Aspects of Program System Development (TAAPSD'2015), 12th International Conference, 23-26.11.2015, (D.B. Buj et al. Ed(s).), (publ. by) Avangard, Kyiv, Nov 2015, pp. 82-85.
J. Automat. Reason. 55 (2015), no. 3, 257-268.
Computer Languages, Systems and Structures 44 (2015), C, 238-250.
Form. Math. 23 (2015), no. 4, 333-349.
Form. Math. 22 (2014), no. 2, 99-103.
Trends in Contemporary Computer Science, Podlasie 2014 (A. Gomolińska, A. Grabowski, M. Hryniewicka, M. Kacprzyk, E. Schmeidel Ed(s).), Białystok Technical University Publishing Office, 2014, pp. 59-69.
Form. Math. 22 (2014), no. 4, 291-301.
Form. Math. 21 (2013), no. 4, 235-239.
Form. Math. 21 (2013), no. 2, 127-131.
J. Automat. Reason. 50 (2013), no. 2, 203-210.
J. Automat. Reason. 50 (2013), no. 2, 119-121, (Foreward to the Special Issue).
Form. Math. 20 (2012), no. 1, 7-14.
Form. Math. 20 (2012), no. 4, 281-290.
Form. Math. 20 (2012), no. 4, 303-307.
Intelligent Computer Mathematics, 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, ... Proceedings, July 8-13, (J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel, V. Sorge Ed(s).), Lecture Notes in Artificial Intelligence vol. 7362, (publ. by) Springer, Berlin, 2012, pp. 453-457.
Form. Math. 20 (2012), no. 4, 291-301.
Form. Math. 20 (2012), no. 1, 79-86.
Form. Math. 20 (2012), no. 1, 65-71.
Form. Math. 20 (2012), no. 2, 97-104.
Form. Math. 20 (2012), no. 2, 105-112.
Form. Math. 19 (2011), no. 4, 223-225.
Form. Math. 19 (2011), no. 3, 127-130.
Form. Math. 19 (2011), no. 4, 233-239.
J. Form. Reasoning 3 (2010), no. 2, 153-245.
Form. Math. 18 (2010), no. 3, 171-174.
Form. Math. 18 (2010), no. 3, 175-183.
Form. Math. 18 (2010), no. 1, 81-85.
Form. Math. 17 (2009), no. 1, 43-60.
Form. Math. 17 (2009), no. 2, 99-115.
Computer Reconstruction of the Body of Mathematics (A. Grabowski, A. Naumowicz Ed(s).), Stud. Logic, Grammar and Rhetoric vol. 18(31), University of Białystok, 2009, pp. 67-77.
Form. Math. 17 (2009), no. 1, 1-9.
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Proceedings, Munich, Aug. 17-20, (S. Berghofer, T. Nipkow, Ch. Urban, M. Wenzel Ed(s).), Lecture Notes in Comput. Sci. vol. 5674, (publ. by) Springer, Berlin, 2009, pp. 67-72, (an invited tutorial).
From Insight to Proof - Festschrift in Honour of Andrzej Trybulec (R. Matuszewski, A. Zalewska Ed(s).), Stud. Logic, Grammar and Rhetoric vol. 10(23), University of Białystok, 2007, pp. 179-189.
Form. Math. 15 (2007), no. 4, 213-230.
Mechanized Mathematics and Its Applications 6 (2007), no. 1, 33-40.
Proceedings of the International Congress of Mathematicians, Madrid, August 22-30, 2006, August 22-30, (M. Sanz-Solé, J. Soria, J. L. Varona, J. Verdera Ed(s).), (publ. by) European Mathematical Society Publishing House (EMS Ph), Freiburg, 2007, pp. 611, (Abstracts).
Form. Math. 14 (2006), no. 3, 71-78.
Form. Math. 13 (2005), no. 1, 89-91.
Form. Math. 13 (2005), no. 4, 481-491.
Form. Math. 13 (2005), no. 1, 81-87.
Form. Math. 13 (2005), no. 1, 181-187.
Form. Math. 13 (2005), no. 2, 315-323.
Form. Math. 13 (2005), no. 4, 573-576.
Form. Math. 13 (2005), no. 2, 325-331.
Form. Math. 13 (2005), no. 4, 471-475.
Mechanized Mathematics and Its Applications 4 (2005), no. 1, 43-50.
Form. Math. 13 (2005), no. 2, 333-336.
Form. Math. 13 (2005), no. 1, 73-79.
Form. Math. 13 (2005), no. 1, 117-124.
Form. Math. 13 (2005), no. 1, 109-115.
Form. Math. 13 (2005), no. 4, 467-469.
Form. Math. 12 (2004), no. 3, 251-260.
Form. Math. 12 (2004), no. 3, 261-268.
Form. Math. 12 (2004), no. 1, 33-37.
Form. Math. 12 (2004), no. 3, 421-425.
Form. Math. 12 (2004), no. 3, 391-396.
Form. Math. 12 (2004), no. 2, 167-172.
Form. Math. 12 (2004), no. 3, 295-299.
Form. Math. 12 (2004), no. 2, 179-186.
Form. Math. 12 (2004), no. 3, 301-306.
Form. Math. 12 (2004), no. 2, 151-157.
Form. Math. 12 (2004), no. 3, 277-279.
Form. Math. 11 (2003), no. 2, 189-195.
Form. Math. 11 (2003), no. 4, 421-424.
Automated Deduction—CADE-18, 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2, July 27–30, (A. Voronkov Ed(s).), Lecture Notes in Comput. Sci. vol. 2392, (publ. by) Springer, Berlin, 2002, pp. 195-210.
Artificial Intelligence, Automated Reasoning, and Symbolic Computation. Joint International Conferences AISC 2002 and Calculemus, July 1-5, (J. Calmet, B. Benhamou, O. Caprotti, L. Henocque, V. Sorge et al. Ed(s).), Lecture Notes in Comput. Sci. vol. 2385, (publ. by) Springer, Berlin, 2002, pp. 231-245.
Formal Techniques for Networked and Distributed Sytems — FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Te, Nov.11-14., (D. A. Peled, M. Y. Vardi et al. Ed(s).), Lecture Notes in Comput. Sci. vol. 2529, (publ. by) Springer, Berlin, 2002, pp. 243-259.
Form. Math. 10 (2002), no. 3, 169-171.
Form. Math. 10 (2002), no. 3, 173-177.
Form. Math. 9 (2001), no. 4, 779-785.
Form. Math. 9 (2001), no. 3, 545-548.
Form. Math. 9 (2001), no. 1, 13-18.
Form. Math. 9 (2001), no. 4, 665-671.
Form. Math. 9 (2001), no. 2, 249-254.
Form. Math. 9 (2001), no. 2, 303-316.
Form. Math. 9 (2001), no. 4, 659-663.
Form. Math. 9 (2001), no. 4, 673-679.
Form. Math. 9 (2001), no. 1, 31-34.
Form. Math. 9 (2001), no. 2, 317-322.
Form. Math. 9 (2001), no. 1, 41-47.
Form. Math. 9 (2001), no. 3, 555-558.
Form. Math. 9 (2001), no. 3, 501-509.
Form. Math. 9 (2001), no. 3, 531-535.
Form. Math. 9 (2001), no. 2, 291-301.
Form. Math. 8 (1999), no. 1, 93-102.
Form. Math. 8 (1999), no. 1, 61-68.
Form. Math. 8 (1999), no. 1, 73-76.
Form. Math. 8 (1999), no. 1, 163-168.
Form. Math. 7 (1998), no. 2, 279-283.
Form. Math. 7 (1998), no. 1, 63-68.
Form. Math. 7 (1998), no. 2, 301-305.
Form. Math. 7 (1998), no. 1, 1-7.
Form. Math. 7 (1998), no. 2, 295-300.
Form. Math. 7 (1998), no. 2, 217-225.
Form. Math. 7 (1998), no. 1, 127-134.
Form. Math. 7 (1998), no. 1, 45-52.
Form. Math. 6 (1997), no. 3, 389-395.
Form. Math. 6 (1997), no. 1, 145-152.
Form. Math. 6 (1997), no. 1, 153-158.
Form. Math. 6 (1997), no. 3, 363-369.
Form. Math. 6 (1997), no. 1, 159-167.
Form. Math. 6 (1997), no. 2, 321-327.
Form. Math. 6 (1997), no. 4, 475-481.
Form. Math. 6 (1997), no. 2, 269-277.
Form. Math. 6 (1997), no. 1, 9-15.
Form. Math. 6 (1997), no. 3, 403-410.
Form. Math. 5 (1996), no. 3, 451-456.
Form. Math. 5 (1996), no. 2, 279-281.
Form. Math. 5 (1996), no. 2, 269-272.
Form. Math. 5 (1996), no. 4, 543-551.
Form. Math. 5 (1996), no. 2, 221-226.
Form. Math. 5 (1996), no. 1, 43-45.
Form. Math. 5 (1996), no. 4, 529-536.
Form. Math. 5 (1996), no. 3, 395-399.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V.