Teaching Mathematics with Visuals, Abstract Book,
17th Annual International Conference on Mathematics: Teaching, Theory & Applications, 26-29 June 2023 Athens, Greece,
The Athens Institute for Education and Research, p. 44, 2023, Online ISSN: 978-960-598-571-4, (https://www.atiner.gr/abstracts/2023ABST-MAT.pdf)
Robotics and Artificial Intelligence in Industrial Globalization, Abstract, 1st International Conference on Robotics
and Artificial Intelligence, May 23-24, 2022, Zurich, Switzerland
Math Anxiety, Its Development and Elimination, Canadian International Journal of Social Science and Education,
Volume 18, June 2019, ISSN 2356-847X
All Terms of Martin-Löf's Type Theory Make a Full Lattice, Proceedings of the
International Conference on Mathematics and Computational Science and Engineering (ICMCSE 2017), Tokyo, Japan, 2017
How Little is Needed to Encourage Our Students, All About Mentoring, Issue 50, Spring 2017
Inferences in Gentzen-Type G3 System and Martin-Löf's Type Theory; k+1 vs. 1,
Proceedings of the 19th Japan-Korea Joint Workshop on Algorithms and Computation
(WAAC 2016), Hakodate, Japan, 2016
Development of Math Anxiety and How to Eliminate It,
Abstract, Proceedings of the Third International Conference on Education (EDU 2016),
Dubai, United Arab Emirates, 2016
Interrelation between Mathematics and Common Sense,
Abstract, Proceedings of the Twenty-second International Learning Conference, Madrid, Spain, 2015
Algorithms and Computation of Complex Functions in Martin-Löf's Type Theory,
Proceedings of the 17th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 2014), Okinawa, Japan, 2014
The Interrelation between Mathematical Logic, Math Education, and its History,
All About Mentoring, Issue 44, 2013
Development of Logical Think among Students, ATINER's Conference Paper Series, 2013
Strategies for Development of Analytical Thinking through Teaching Mathematics,
Mathematic Abstracts, Seventh Annual International Conference on Mathematics Education &
Statistics Education, Mathematics and Statistics, June 17-20, 2013, Athens, Greece
Notes on Mathematical Model of Decision-Making Process, Revisiting Boyer, Volume 1, 2011
Mentoring: Not Something That One Can Read In “How To” Books, All About Mentoring, Issue 36,
Fall 2009
Research on Per Martin-Löf’s Type Theory, Journal of Computational Technologies, Novosibirsk,
Russia, 2009, Volume 14, No. 1
Notes on Math Anxiety Among Students: Cause-and-Effect, Pro-and-Con, The International Journal
of Learning, Volume 16, 2009
Per Martin-Löf’s Type Theory For Automated Program Writing, International Journal
of Pure and Applied Mathematics, 2008, Volume 42, No. 4
Math Anxiety and Adult Students, All About Mentoring, Issue 33, Winter 2008
Automated Program Writing System Based on Per Martin-Löf’s Type Theory, Fourth International
Conference of Applied Mathematics and Computing, 2007, Volume 3
Anania Shirakatsi’s 7th Century Methodology of Teaching Arithmetic Across the Centuries and
Diverse Cultures, History and Epistemology in Mathematics Education, Proceedings of the 5th European Summer University, Prague 2007
Complexity of Logical Inferences in Martin-Löf’s Type Theory. Part 1, Logic, Computability
and Randomness 2007, Buenos Aires, Argentina
Consistency of Martin-Löf’s Intuitionistic Type Theory, The Bulletin of Symbolic Logic, Volume 12, Number 4, December 2006
Automation of Inference in Marin-Löf’s Intuitionistic Type Theory, The Bulletin of Symbolic
Logic, Volume 12, Number 3, September 2006
Modulation of the Recursive Algorithms by Means of Martin-Löf's Type Theory
Regulation of Terms of Martin-Löf's Type Theory, Fixed-Point and Recursion Theorems in
Martin-Löf's Type Theory
Inference Search System with Dialogue in Martin-Löf's Intuitionistic Type Theory
Some Varieties of Reducibility and their Differences on Recursively Innumerable Sets