Publications

Tsybulsky, D., & Levin, I. (2017). Inquiry-Based Science Learning in Digital Age: Rethinking the SAMR Model. Proceedings of International Conference EDULEARN17, 3-5 July, 2017, Barcelona, Spain.

Levin, I., & Tsybulsky, D. (Eds.) (2017). Optimizing STEM Education with Advanced ICTs and Simulations. 371 pages. Hershey, PA: IGI Global. doi:10.4018/978-1-5225-2525-7.

Levin, I., & Tsybulsky, D. (Eds.) (2017). Digital Tools and Solutions for Inquiry-Based STEM Learning. 344 pages. Hershey, PA: IGI Global. doi:10.4018/978-1-5225-2528-8.

Tsybulsky, D., & Levin, I. (2017). Inquiry-Based Science Education and the Digital Research Triad. In "Digital Tools and Solutions for Inquiry-Based STEM Learning", pp. 140-165. IGI Global.           

Levin I. and Tsybulsky D., (2017) Scientific Inquiry in the Digital Age, Int. Conference "New Perspectives in Science Education”, Florence, 16 - 17 March.

Levin I., (2016) Cyber-physical Systems as a Cultural Phenomenon. International Journal of Design Sciences and Technology, Volume 22, Number 1, pp. 67-80.

Tsybulsky D,  Levin I. (2016) SAMR Framework for Study Technology Integration in Science Education, Int. Conference "New Perspectives in Science Education”, Florence, 17 - 18 March 2016.

Shafat, G., Levin, I. (2015) Fault Identification Problems in Boolean Concepts Learning. 3rd Prague Embedded Systems Workshop (PESW 2015).

Kojukhov A., Levin I. (2015) Teacher’s Awareness Regarding “Networked Learner”, In: SMART 2014 Int. Conf. Social Media in Academia: Research and Teaching, Timisoara, Romania, September 18-21, 2014. pp. 191-202.

Levin I., Korenblit M., Talis V. (2014) Developing Students’ Awareness of Network Dynamics by Spreadsheet Environment, Journal of Modern Education Review, November 2014, Volume 4, No. 11, pp. 950–962.

Shafat, G., & Levin, I. Properties of Boolean functions in Cognitive Complexity Measure. Prague Embedded Systems Workshop  (PESW 2014), p. 25.

Gadot R., Levin I. (2014)  Networked Learning Based on Digital Curation. Proceedings of the European Conference on Social Media (ECSM2014), Brighton, England. 10-11 July, 2014.

Kojukhov A., Levin I. (2014)  Studying Social Micro‐worlds as Personal Learning Environments, Proceedings of the European Conference on Social Media (ECSM2014), Brighton, England. 10-11 July.

Levin I. (2014) Cultural Trends in a Digital Society. The 10th Int. Symp. on Tools and Methods of Competitive Engineering (TMCE 2014).

Shafat G., Levin I. (2014) Recognition, Reconstruction and Fault Identification Problems in Boolean Concepts Learning,  Tallin, Tenth Workshop on Microelectronics Education (EWME-2014).

Yankovskya A., Levin I., Fucks I. (2014)  Assessment of Teaching and Learning by Mixed Diagnostic Testing. European Journal of  Science and Mathematics Education. 

Burg A., Keren O., Levin I., (2014). Testing Hardware with Unknown Functionality. Recent Progress in the Boolean Domain, Editor: Bernd Steinbach. Cambridge Scholars Publishing, 322-346.

Levin I., Shafat G., Rosensweig H., Keren O. (2014). Perceptions in Boolean Concepts Learning. Recent Progress in the Boolean Domain, Editor: Bernd Steinbach. Cambridge Scholars Publishing, 145-157.

Kolberg E., Reich Y., Levin I. (2014). Designing winning robots by careful design of their development process. Research in Engineering Design, 4, 1-27.

Kostyuk Y. L., Levin I. S., Fuks A. L., Fuks I. L., Yankovskaya A. E.  (2014). Massive open online courses – the modern concept in education and learning. Tomsk University Journal of Control and Computer Science. No. 1 (26). 

Korenblit, M., Talis, V., & Levin, I. (2014). One-Max Constant-Probability Models for Complex Networks. In Complex Networks V, pp. 181-188. Springer International Publishing.

Abramov, B. B., & Levin, I. (2013). Split flowcharts in teaching digital system design. International Journal of Electrical Engineering Education, 50(4), 408-419. 

Levin I., Keren O., Sinelnikov V, (2013) Improving Hardware Security by Using Hidden Information of Computer System, JNIT: Journal of Next Generation Information Technology, Vol. 4, No. 6, pp. 108 -117, 2013.

Levin I., Korenblit M., Talis V. (2013) Study of Social Networks’ Dynamics by Simulation Within the NodeXL-Excel Environment. Problems of Education in the 21st Century, 54(54):125-137, (in Russian).

Levin I. (2013) Academic Education in Era of Digital Culture. SMART-2013. Social Media in Academia: Research and Teaching, Bacau, Romania. 

Levin T., Levin I. (2013) Evaluating the Pedagogical Potential of Hybrid Models. Journal of Computers in Mathematics and Science Teaching. 32(3), 303 - 320.

Levin I., Keren O. (2013) A Generalized If-Then-Else Operator for the Representation of Multi-Output Functions, Mathematical Problems in Engineering, vol. 2013, Article ID 401616, 13 pages. 

Levin I., Kojukhov A. (2013) Personalization of Learning Environments in a Postindustrial Class. Social Media in Higher Education: Teaching in Web 2.0. Editors: M.Patrut and B. Patrut , IGI Global, USA. 105 -123.

Shafat G., Levin I. (2012) Recognition vs Reverse Engineering in Boolean Concepts Learning, Int. Conf. on Cognition and Exploratory Learning in the Digital Age (CELDA 2012), Madrid, October, 65-72.

Burg A., Keren O., Levin I. (2012) Functional Testing of Boolean Systems with Unknown Functionality. Proc. of 10th Int. Workshop on Boolean Problems (IWSBP'12), pp. 25-32, Freiberg, Germany.

Levin I., Shafat G., Keren O. (2012) Cognitive Complexity of Boolean Problems. Proc. of 10th Int. Workshop on Boolean Problems (IWSBP'12), pp. 171-176, Freiberg, Germany.

Levin I., Levin T. (2012) Hybrid Models in Developing System Thinking, Proc. of the 30th Int. Conf. of the System Dynamics Society. St. Gallen, Switzerland.

Levin I. (2012) Major Trends of Educational Process in School of Postindustrial Society. Problems of Education in the 21st Century, pp. 101-112. (in Russian).

Goldberg N., Aizikovitsh-Udi E., Levin I. (2012 ) Children’s Concept Learning in Solving Logic Problems. Proc. of EDULEARN12. Barcelona, Spain, 6656-6661.

Gadot R., Levin I. (2012) Digital Curation as Learning Activity. Proc. EDULEARN12. Barcelona, 6038-6045.

Levin I., Rozenzweig H. (2012) Spreadsheet Learning Environment for Teaching Advanced Topics in Computer Engineering, European Workshop on Microelectronics Education, 9-11 May, Grenoble.

Levin I., Keren O., Rozenzweig H. (2012) Concept of Non-exactness in Science Education. New Perspective for Science Education. Florence, Italy, March.

Levin I., Keren O. (2011) Generalized If-Then-Else Operator for Compact Polynomial Representation of Multi Output Functions. 14th EUROMICRO Conf. on Digital System Design, Oulu, Finland, 15-20.

Keren, O.  Levin, I.  Sinelnikov, V. (2011) Detection of Trojan HW by using hidden information on the system, IOLTS-2011, Athens, Greece, 192 - 193.

Yehezkel C., Leibovich R., Levin I. (2011) Reinforcing and Enhancing Understanding of EE students in Learning Computer Architecture. The Issues in Informing Science and Inf. Technology, Vol. 8, 157-174.

Keren O., Levin I., Stankovic R. (2011) Linearization of logical functions defined by a set of orthogonal terms. II. Algorithmic aspects. Automation and Remote Control, Vol. 72, No. 4, April, 818-827.

Keren O., Levin I., Stankovic R. (2011) Linearization of logical functions defined by a set of orthogonal terms. I. Theoretical aspects. Automation and Remote Control, Vol. 72, No. 3, March 2011, 615-625.

Keren O., Levin I., Stankovic R. (2011) Determining the number of paths in Decision Diagrams  by using Autocorrelation Coefficients, IEEE Trans. on CAD, Vol. 30, No. 1, January, 31- 44.

Varshavsky V., Marakhovsky V., Levin I., Saito H. (2010) Hardware Implementation of Fuzzy Controllers, Fuzzy Controllers, Theory and Applications, Lucian Grigorie (Ed.), InTech.

Keren O., Levin I, (2010) Fault Tolerance of Decomposed PLAs. 8th IEEE East-West Design & Test Symposium, St. Petersburg, Russia.

Levin I., Keren O., (2010) Transforming FSMs for Synthesis by Fault Tolerant Nano-PLAs, 9th International Workshop on Boolean Problems, Freiberg, Germany.

Keren O., Levin I., Karpovsky M., (2010) Duplication Based One-to-many Coding for Trojan HW Detection, Int. Symposium on Defect and Fault Tolerance in VLSI Systems.

Kojukhov A., Levin I., (2010). Virtualized, Personalized and Ubiquitous Learning in Post-Industrial Society, European Conference of Computing and Philosophy, ECAP-2010, München.

Kojukhov A., Levin I., (2010). Ubiquitous Personalized Learning Environment in Post-Industrial Society, International Conference on Information Society, June, London.

Abramov B., Keren O., Levin I., (2010). Teaching Cognitive-Inspired Design of Sequential Circuits. Proceedings of 8th European Workshop on Microelectronics Education, Darmstadt, Germany.

Abramov B., Keren O., Levin I., Ostrovsky V.  (2009) Constructing Self-testing Circuits with the Use of Step-by-step (Cascade) Control, Automation and Remote Control, Vol. 70, No. 10, July, 2009, 1217-1227.

Baranov S., Levin I., Keren O., Karpovsky M. (2009) Designing Fault Tolerant FSM by Nano-PLA, 15th IEEE International On-Line Testing Symposium, Sesimbra-Lisbon, Portugal, 229-234.

Levin, I., Kojukhov, A. (2009) Personalizing Education in Post-Industrial Society, The Third International Conference on Digital Society, ICDS '09, Cancun, Mexico, pp. 20-23.

Keren, O., Levin, I. and Stankovic, R. S. (2009) Use of Gray Decoding for Implementation of Symmetric Functions, In: IFIP, Volume 291; pp. 17- 32.

Ostrovsky V., Levin I., Keren O., Abramov B. (2008) Designing Concurrent Checking Circuits by using Partitioning. Int. Journal of Highly Reliable Electronic Systems, Vol. 1. No. 1, 1-11.

Goot R., Levin I., (2008). Estimating the latent time of fault detection in finite automaton tested in real tine. Automation and Remote Control, Volume 69, No. 10 , October, 2008, 1765-1777.

Levin I., Kojukhov A. (2008) Virtualization and Educational Technology in Post-industrial Society, Int. Design & Technology Education Conf., PATT-20, 3-6 Nov. 2008, Tel-Aviv, Israel.

Kolberg E., Reich Y. and Levin I. (2008) Design of Design Methodology for Autonomous Robots. Lecture Notes in Computer Science, Heidelberg, ISSN Volume 5001/2008, ISBN, 528-539.

Shafat G., Abramov B., Levin I. (2008) Using Threshold Functions in Teaching Electronics, 9th Biennial ASME Conference on Engineering Systems Design and Analysis.

Abramov B., Levin I. (2008) Teaching of System Level Design and Verification: Methodology & Tools. European Workshop on Microelectronics Education, 28-30 May 2008. ISBN: 978-2-35500-007-2.

Ostrovsky V., Keren O., Levin I. (2008) Programmable Comparators Based Array for Regular QCA. 1st IEEE Int. Workshop on Design and Test of Nano Devices, Circuits and Systems, Cambridge, 2008, 39-42.

Keren O., Levin I., Ostrovsky V., Abramov B. (2008). Arbitrary Error Detection in Combinational Circuits by using Partitioning. Proc. of 23rd IEEE Int. Symp. on Defect and Fault Tolerance in VLSI, Cambridge, 361-369.

Keren O., Levin I., and Karpovsky M. (2008). Non-redundant Scheme for Arbitrary Error Detection in Combinational Circuits. 16 IFIP/IEEE Int. Conference on Very Large Scale Integration. Rhodes.

Levin I., Keren O. (2008). Split Multi-terminal Binary Decision Diagrams. Proc. of 8th International Workshop on Boolean Problems, Freiberg, 161-167.

Ostrovsky V., Levin V., Keren O. (2008). Designing of QCA Schemes by Boundary Functions. 8th International Workshop on Boolean Problems, Freiberg, , 67-73.

Varshavsky V., Marakhovsky V., Levin I., Saito H. (2007) Multiple-valued Logic Approach to Fuzzy Controllers Implementation, WSEAS Trans. on Electronics, Iss. 6, Vol. 4, . 1109-9445, pp. 109-133.

Keren O., Levin I., (2007) Linearization of Multi-Output Logic Functions by Ordering of the Autocorrelation Values. Facta Univ. Ser.: Elec. Energ., vol. 20, No. 3, pp. 479-498.

Levin I., Keren O., Ostrovsky V. (2007) Synthesis of Sequential Circuits by Using Linearization, FactaUniv. Ser.: Elec. Energ., vol. 20, No. 3, December 2007, pp. 461-477.

Levin I., Abramov B., Ostrovsky V. (2007) Reduction of Fault Latency in Sequential Circuits by using Decomposition, 22nd IEEE Int. Symp. on Defect and Fault Tolerance in VLSI Systems, Roma, 261-269.

Keren O., Levin I., Stankovic R. S. (2007), Use of Gray Coding for Implementation of Symmetric Functions, 15-th Annual IFIP VLSI Conference, Atlanta, October. 

Frenkel S., Pechinkin A., Chaplygin V., Levin I., (2007) A Mathematical Tool for Support of Fault-Tolerant Embedded Systems Design. ERCIM/DECOS Dependable Smart Systems, Lymbeck, Germany.

Kolberg, E., Reich, Y., and Levin, I., (2007) Design of Design methodology for autonomous robots, in RoboCup 2007 Symposium, July 9-10, 2007, Atlanta, USA .

Abramov B., Levin I., Ostrovsky V. (2007), CAD system for analysis of the behavior of faulty FSM, Proceedings of the Six International Conference on CAD of Discrete Devices, Minsk, November, Vol. 2, pp. 276-283. 

Abramov B., Ostrovsky V., Levin I. (2006) Designing Self-checking Circuits with Smooth Power Dissipation.  Proc. of the 24th IEEE Convention of Electrical and Electronics Eng. in Israel.

Levin I., Ostrovsky V., Keren O., Sinelnikov V. (2006) Cascade Scheme for Concurrent Errors Detection. Proc. of 9th EUROMICRO Conference on Digital System Design, pp. 359-368.

Levin I., Keren O., Kolotov G., Karpovsky M. (2006) Piecewise Linearization of Multi-output Functions. Proc. of the Int. Workshop on Spectral Methods and Multirate Signal Processing, September 2-3, Florence, pp. 345-353.

Levin I., Keren O., Ostrovsky V., Kolotov G. (2006) Concurrent Decomposition of Multi-terminal BDDs. Proc. of 7th Int. Workshop on Boolean Problems, Freiberg, September, pp. 165-169.

Keren O., Levin I., Stankovic R. S. (2006) Linearization of Functions Represented as a Set of Disjoint Cubes at the Autocorrelation Domain, Proc. of 7th Int. Workshop on Boolean Problems, Freiberg, pp. 137-144.

Keren O., Levin I., Stankovic R. S., (2006) Reduction of the Number of Paths in Binary Decision Diagrams by Linear Transformation of Variables, Proc. of 7th Int. Workshop on Boolean Problems, pp. 79-84.

Reich Y., Kolberg E., and Levin I., (2006) Designing Contexts for Learning Design, International Journal of Engineering Education, Vol. 22, No. 3, 489-495.

Ostrovsky V., Levin I., (2005) Implementation of Concurrent Checking Circuits by Independent Sub-circuits. Proceedings of 20th IEEE Int. Symp. on Defect and Fault Tolerance in VLSI Systems, California, USA, pp. 343-351.

Keren O., Levin I., (2005) Linearization of the Logic Functions Defined in SOP form. Proceedings of IEEE International Conference Digital Systems Design., Portugal, September.

Kolberg E., Reich Y., and Levin I. (2005) Transforming Design Education by Design, DTM2005-85390.

Reich Y. Kolberg E. Levin I. (2005) Designing Contexts for Learning design, in Proc. of Mudd Design Workshop V.

Reich Y. Kolberg E. Levin I. (2005) Designing Designers. Proceedings of International Conference on Engineering Design ICED 05, Melbourne, August 15-18, 2005.

Varshavsky, V., Marakhovsky, V., Levin I. (2005) CMOS Fuzzification Circuits for Linear Membership Functions, WSEAS Transactions on Systems, 4 (4), pp.238 -243.

Levin I., Stankovic R., Karpovsky M., Astola J. (2005) Construction of Planar BDDs by Using Linearization and Decomposition. Proc. of 14 Int. Workshop on Logic and Synthesis, Lake Arrowhead, California, pp. 132-139.

Levin, I., Talis, V. (2004). Using Spreadsheets for Teaching Principles of On-line Checking Logic Circuits. Spreadsheets in Education, 1 (3), 131-141.

Varshavsky, V., Levin, I., Marakhovsky, V., Ruderman, A., Kravchenko, N., (2004) CMOS Fuzzy Decision Diagram Implementation. WSEAS Transaction of Systems, 2 (3), 615-621.

Varshavsky, V., Marakhovsky V., Levin, I. (2004). Artificial Neurons Based on CMOS b-Driven Threshold Elements with Functional Inputs. WSEAS Transactions on Systems, 2 (3), 442-449.

Varshavsky V., Marakhovsky V., Levin I., Kravchenko N. (2004). Fuzzy Controllers CMOS Implementation, WSEAS Transaction on Circuits and Systems, 9 (3) 1762-1770.

Salzer H., Levin I. (2004). Spreadsheet based Logic Controller for Teaching Fundamentals of Requirements Engineering. Int. Journal on Engineering Education, Vol. 20, No. 6, 939 - 938.

Levin, I., Kolberg, E., Reich, Y. (2004). Robot Control Teaching with a State Machine Based Design Method, International Journal on Engineering Education, Vol. 20, No.2, 234 - 243.

Salzer, H., Levin, I. (2004). Atomic Requirements in Teaching Logic Control Implementation, International Journal on Engineering Education, 20(1), 46 - 51.

Levin, I., Karpovsky, M., Ostanin, S., Sinelnikov, V. (2004). Designing Circuits Detecting Different Types of Faults, WSEAS Transactions on Electronics, Issue 2, Volume 1, 396 - 403.

Levin, I., Levit, V., Salzer, H. (2004). Atomic Specifications and ControlWare Design, WSEAS Transactions on Computers, 3(3), 774 - 782.

Kolotov Y., Levin I., Ostrovsky V. (2004) Techniques for Formal Transformations of Binary Decision Diagrams. Proceedings of the 11th IEEE Int. Conference on Electronics, Circuits and Systems, Tel Aviv.

Varshavsky V., Levin I., Marakhovsky V., Ruderman A., Kravchenko N., (2004) Fuzzy Decision Diagram Realization by Analog CMOS Summing Amplifiers, 11th IEEE Int. Conf. on Electronics, Circuits and Systems.

Ostrovsky V., Perelman S., Levin I. (2004). Design Automation of FPGA based reliable Checkers. Proc. of the Fifth International Conf. on Computer-Aided Design of Discrete Devices (CAD DD-04) Minsk, Belarus, 63-71.

Perelman S., Ostrovsky V., Levin I. (2004) Design Automation of Reliable Checkers for Control Units. Proc. of the 23-th IEEE Convention of Electrical and Electronics Eng. in Israel, 122 - 125.

Kolotov Y., Levin, I., Ostrovsky V., Karpovsky M., (2004) Software Tool for BDD Optimizing by Using Autocorrelation Functions. Proc. of the 23-th IEEE Conv. of Electrical and Electronics Engineers in Israel, 129 - 132.

Varshavsky V., Marakhovsky V., Levin I., Kravchenko N., (2004). Functionally Complete Element for Fuzzy Control Hardware Implementation. Proc. the 47-th IEEE Midwest Symp. on Circuits and Systems, Hiroshima, Vol. 3, 263 - 266.

Varshavsky, V., Marakhovsky, V., Levin, I., Kravchenko, N. (2003). Summing Amplifier as a Multi-Valued Logical Element for Fuzzy Control. WSEAS Trans. of Circuits and Syst., 2(3), 625 - 631.

Kolberg, E., Reich, Y., Levin, I. (2003). Project-based High School Mechatronics Course, Int. Journal on Engineering Education. Special Issue on Mechatronics for Engineering Education, 19(4), 557 - 562.

Goot, R., Levin, I., Ostanin, S. (2003). Statistical Analysis of Decomposition Automata. Automatic Control and Computer Science. Vol. 37, No. 4, 6 - 13. 

Ostrovsky V., Levin I., Ostanin S. (2003). Synthesis of Self-checking Controllers Based on Modified (m, n)-code. Automatic Control and Computer Science, Vol. 37, No. 2, 48 - 55.

Varshavsky V., Levin I., Ostrovsky V, (2003). Increasing Implementability of B-driven Threshold Checkers, Proceedings of the 9th IEEE Int. On-line Testing Symposium, Kos, Greece, 158.

Matrosova A., Ostrovsky V., Levin I., Nikitin K. (2003). Designing FPGA based Self-Testing Checkers for m-out-of-n Codes, Proc.9th IEEE Int. On-line Testing Symp., Kos, Greece, 49 - 53.

Levin, T., Levin, I., (2003). Integrating hybrid modeling with system dynamics. 21st Int. Conf. of System Dynamics Society, New York, USA.

Varshavsky V., Marakhovsky V., Levin, I. (2002). CMOS based b-Driven Threshold Elements with functional inputs. Proc. of the 22-th IEEE Convention of Electrical and Electronics Engineers in Israel, Tel Aviv, 111-113.

Levin, I., Ostrovsky, V., Ostanin S. (2002). Self-healing Ability of Sequential Circuits. Proc. of the 22-th IEEE Convention of Electrical and Electronics Eng. in Israel, Tel Aviv, 114 -116.

Ostrovsky V., Levin I. (2002). Thrifty architectural solutions for single fault detection in discrete systems. Proceedings of the International Conference INFOTEX-2002, Sebastopol, Ukraine, 37-41.

Ostrovsky V., Levin I., S. Ostanin. (2002). Unidirectional Errors Detecting by Using Reduced m/n code, The 4-th Int. Conf. New Inf. Technologies in Complex Structures Investigation, Tomsk, Russia, 296 - 30.

Levin T., Levin, I. (2002). Hybrid Systems Modeling in Science and Technology Education. Journal of Computers in Mathematics & Science Teaching, Vol. 21, No. 4, 313 - 330.

Astafev, M., Levin, I., Matrosova, A., Sinelnikov, V. (2002). Self-Testing Automaton Networks: Their Design in Programmable Logical Matrices. Automation and Remote Control, 63(10), 1637-1652.

Goot R, Levin I., Ostanin S. (2002). Fault Latencies of Concurrent Checking FSMs. Proc. of EUROMICRO IEEE Symp. on Digital Systems Design. Dortmund, Germany, 175-179.

Levin I., Sinelnikov V., Karpovsky M., Ostanin S. (2002). Sequential Circuits Applicable for Detecting Different Types of Faults, Proc. 8th IEEE Int. On-line Test. Workshop, Isle of Bendor, France, 44 - 48.

Levin T., Levin I. (2002) Introducing Digital Design Methods to System Dynamics Education, Proc. of the 20th Int. Conference of the System Dynamics Society, Palermo, Italy.

Levin I., Talis V. (2002). Teaching Basics of Concurrent Errors Detection by Using Spreadsheet. In E. Mandado, J. Farina, M.J. Moure, A. A. Nogueriras, J. J. Andina, M. Pardo, and M. Valdes (Eds.), Microelectronics Education. Vigo, Spain: Marcombo Boixzreu Editors, 237-240.

Varshavsky, V., Yakovlev A., Marakhovsky V., Levin, I. (2002). Self-timing, Self-Checking and Self-recovery. Proc. Fourth Int. Conf. on Massively Parallel Computing Systems,  Ischia, Italy.

Levin I., Ostrovsky V., Ostanin S., Karpovsky M. (2002). Self-checking Sequential Circuits with Self-healing Ability. Proc. 12-th ACM Great Lake Symposium on VLSI, New York, 71-76.

Varshavsky, V., Levin, I. (2002). Organizing Local Behavior in Complex Systems. Proc. of Twentieth IASTED Conference, Applied Informatics AI 2002 Innsbruck, Austria, 103-105.

Efron U., Davidov I., Sinelnikov V., Pitkov R., Levin I. (2001). CMOS Liquid Crystal-based Image Transceiver Device Proc. of SPIE, 4306-29, 23-24.

Levin T., Levin I., Talis V. (2001). System Dynamics Learning through Separation of a Control Unit. Proc. of International Conference PATT-11. Harlem, Netherlands, 127-134.

Levin I., Matrosova A., Ostanin S. (2001). Survivable Self-checking Sequential Circuits. Proc. of IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems. DFT2001, San Francisco, October, 395-402.

Levin I., Karpovsky M., Sinelnikov V. (2001). Architecture of FPGA based Concurrent checking FSM. Proc. of IEEE Third Int. Electronic Circuits and Systems Conference, Bratislava, 63-68.

Levin I., Ostrovsky V. (2001). FSM based Checker for Sequential Circuit, Supplement of the 2001 International Conference on Dependable Systems and Networks, B-26, Goteborg, Sweden.

Levin I., Sinelnikov V, Karpovsky M. (2001). Synthesis of ASM-based Self-Checking Controllers. Proc. of EUROMICRO IEEE Symp. on Digital Systems Design. Architectures, Methods, and Tools, Warsaw, 87-93.

Matrosova, A., Levin I., Ostanin, S. (2000). Self-checking Synchronous FSM Network Design with Low Overhead. International Journal of VLSI Design, 11(1), 47-58.

Karpovsky M., Levin I., Sinelnikov V., Goot R. (2000). New Architecture for Sequential Machines with Self-Error Detection. Proc. of Int. Conf on New Inf. Technologies NITe'2000, Minsk, Belarus, 111-117.

Levin I, Lieberman E. (2000). Developing Analytical and Synthetic Thinking in Technology Education. Proc. of Int. Conference on Technology Education, Braunshweig, Germany.

Levin I. (2000). Design of Control Systems as a Learning Activity, Skhole, Numrro Hors Serie, Marseille, 391-401.

Levin I., Sinelnikov V. (1999) Self-checking of FPGA based Control Units. Proc. of 9th Great Lakes Symposium on VLSI, Ann Arbor, Michigan, IEEE press, 292-295.

Levin I., Matrosova A. Yu. Sinelnikov V., Ostanin S. A. (1999). Totally Self-Checking FPGA-based FSM. 5-th IEEE Int. On-line Testing Workshop, Rhodes, Compendium of papers, 11-15.

Levin I., Karpovsky M. (1998). On-line Self-Checking of Microprogram Control Units. 4-th IEEE International On-line Testing Workshop, Capri, Compendium of papers, 153-159.

Levin, I., Levit, V. (1998). Controlware for Learning with Mobile Robots. Computer Science Education, 8 (3), 181-196.

Mioduser, D., Levin I. (1996). Cognitive-conceptual Model for Integration Robotics and Control into the Curriculum. Computer Science Education, 7(2), 199-210.

Levin, I., Mioduser, D. (1996). A Multiple-Constructs Framework for Teaching Control Concepts, IEEE Transactions of Education, 39(4), 488 - 496.

Levin I., Mioduser D., Talis V. (1996). LEGO-EXCEL Cognitive Research Environment. Informatics and Education, Special Issue: Technology Education, 114 - 120.

Levin I., Cherniaev V. (1996). Matrix Model of a Fuzzy Controller. E. Levner (ed.) Intelligent Scheduling of Robots and Flexible Manufacturing Systems, Holon, Israel, 57 - 65.

Levin, I. (1996). Spreadsheet Learning Environment Based on Multiple valued Logic, Informatics and Education, Special Issue: Technology Education, 148-154.

Mioduser D., Levin I., Talis V. (1995). Cognitive-Conceptual Models for Defining Robot Control, Artificial Intelligence in Education, Association for Advancement of Computers in Education, Washington, 131-134.

Levin I., Mioduser D. (1995). Computer Implementation of Alternative Paradigms for Learning with Mobile Robots, Proc. of the International Workshop, Holon, Israel, 53-63.

Levner E., Kogan K., Levin I. (1995). Scheduling a Two-Machine Robotic Cell: A Solvable Case. Annals of Operations Research, 57, 217-232.

Abramovich, S., Levin, I. (1994). Spreadsheet in Teaching and Learning Topics in Calculus. International Journal of Mathematics in Science and Technology Education, 25(2), 105-126.

Levner E., Kogan K., Levin I. (1994) Simulation of Discrete-Continuous Scheduling Problems Arising in On-line Control of Robotic Cells. S. Morita et al. (eds.) New Directions in Simulation for Manufacturing and Communications, Operations Research Society Publishers, Tokyo, 470 - 475.

Levin I. (1994). The State Machine Paradigm and the Spreadsheet Learning Environment. A. J. Smith (ed.) Eng. Education, Increasing Students Participation Sheffield Hallam University, Sheffield, UK,  351-355.

 Levin, I. (1994). Behavioral Simulation of an Arithmetic Unit using the Spreadsheet. Int. Journal of Electrical Engineering Education, 31, 334-341.

Abramovich, S., Levin, I. (1993). Microcomputer-Based Discovering and Testing of Combinatorial Identities. Journal of Computers in Mathematics & Science Teaching, 12(3/4), 331-353.

Levin, I. (1993). Matrix Model of Logical Simulator within Spreadsheet. International Journal of Electrical Engineering Education.30 (3), 216-223.

Levin, I., Abramovich, S. (1992). Solving Equations within Spreadsheet, Journal of Computers in Mathematics & Science Teaching, 11(3/4), 337-345.

Ershov K., Kirshner N., Levin I., Faibusovich A. (1989). The Introduction to the Professional Orientation. Logo Language. Computer Science for Working Professions, Moscow, Nauka, 109-114.

Levin I., Faibusovich A. (1989). Global LOGO Comments, LOGO - Exchange, Vol. 8, No. 1, 31-32.

Levin I., Ershov K., Faibusovich A. (1988). Experience and Perspectives of LOGO in Leningrad Area. Achievements in Using Computers in Education. Znanie, Leningrad, 67-70.

Zarubina E., Levin I., Faibusovich A. (1988). Experience in using LOGO. Computer Science and Computer Literacy, Nauka, Moscow, 104-109.

Alexandrov M., Levin I., Savitsky U. (1988). Logical Control Algorithms for Cement Plant Output. Method of Construction. Cement, 7, 21-23.

Levin, I. (1987) Hierarchical Model of the Interaction of Microprogrammed Automata. Automatic Control and Computer Sciences, 21(3), 67-73.

Baranov S., Zhuravina L., Kozhina V., Mezhin N., Levin I., Peschansky V. (1986). Logical CAD System for Digital Units Design. In: Computer Aided Design, Mashinostroyenie, Moscow, 32-45.

Levin I. (1986). Decompositional Design of Automata Based on PLA with Memory. Automatic Control and Computer Sciences, Vol. 20, No. 2, 61-68.

Levin I. (1985). Automata Interaction in Decompositional Synthesis by PLA with Memory. Upravlyayuschye Systemy i Maschiny (USIM), 6, 65-69.

© Ilya Levin 2016