Wellner, G., & Levin, I. (2023). Ihde meets Papert: combining postphenomenology and constructionism for a future agenda of philosophy of education in the era of digital technologies. Learning, Media and Technology, 1-14.
G. Shamir, G. Wellner, I. Levin. (2022) Postphenomenological Studies of Machine Learning Education in Elementary School, EDULEARN 2022.
M. Marom, G. Wellner, I. Levin. (2022), Epistemiology and Education in the Digital Agе – A Postphenomenological View, EDULEARN 2022.
G. Shamir, I. Levin, Teaching machine learning in elementary school, International Journal of Child-Computer Interaction, Volume 31, 2022, 100415, ISSN 2212-8689, https://doi.org/10.1016/j.ijcci.2021.100415.
Uvarov, A. Y., Vikhrev, V. V., Vodopyan, G. M., Dvoretskaya, I. V., Coceac, E., Levin, I. (2021). Schools in an evolving digital environment: digital renewal and its maturity. Informatics and Education, (6) (in Russian).
M. Marom, I. Levin. (2021), Transformations of Teachers’ Consciousness in the Digital Age: an Existentialist Perspective, EDULEARN 2021.
G. Shamir, I. Levin. (2021), Fostering Computational Thinking in Remote Learning Settings, EDULEARN 2021.
Shamir, G., Levin, I. Neural Network Construction Practices in Elementary School. Künstl Intell (2021). https://doi.org/10.1007/s13218-021-00729-3.
Levin, I.; Mamlok, D. (2021), Culture and Society in the Digital Age. Information, 12, 68. https://doi.org/10.3390/ info12020068.
G. Shamir, I. Levin. (2020) Transformations of Computational Thinking Practices in Elementary School on the Base if Artificial Intelligence Technologies, EDULEARN 2020.
R. Kupriyanov, A. Uvarov, M. Makarova, P. Unruh, G. Vodopyan, I. Levin. (2020). Intelligent Tool for Developing Student’s Social Skills. EDULEARN20.
Yankovskaya, A. E., Levin, I. S., & Fuks, I. L. (2019). Mixed diagnostic tests structure for learning and testing systems. № 49. С. 101-109. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000672398
Tsybulsky,
D., & Levin, I. (2019). Science teachers' worldviews in the age of
the digital revolution: Structural and content analysis. Teaching and
Teacher Education, 86, 102921.
Shamir, G., Tsybulsky, D. & Levin, I. (2019). Introducing computational thinking practices in learning science of elementary school. Proceedings of the Informing Science and Information Technology Education Conference [InSite2019]. Jerusalem, Israel.
Koren, N., Tsybulsky, D., & Levin, I. (2019) Teachers and Technology - Be Aware or Beware?. Int. Conference "New Perspectives in Science Education”, Florence, 21-22 March.
Gero, A., Tsybulsky, D. and Levin, I. (2019). Research and design triads in the digital epoch: implications for science and technology education. GLOBAL JOURNAL OF ENGINEERING EDUCATION (GJEE), Vol.21, No.1.
Gero, A., & Levin, I. (2018) Computational thinking and constructionism: creating difference equations in spreadsheets, International Journal of Mathematical Education in Science and Technology, DOI: 10.1080/0020739X.2018.1501827
Gero, A., & Levin, I. (2018) Construction of Difference Equations in Spreadsheets as a means of Developing Computational Thinking among Students. EDULEARN18.
Levin, I., & Tsybulsky, D. (2017). The Constructionist Learning Approach in the Digital Age. Creative Education, 8(15), 2463-2475. PDF.
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.
Kostuk, U., Levin, I., Fucks A. L., Fucks I. L., & Yankovskya, Mass open online courses are a modern concept in education and training. Bulletin of Tomsk State University. Management, Computer Engineering and Computer Science, (1 (26)) (in Russian).
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.
Kolberg E., Reich Y. and Levin I. (2007). Express engineering change management. Guidelines for a Decision Support Method Adapted to NPD Processes.
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). Spreadsheets in teaching and learning topics in calculus. International Journal of Mathematical Education in Science and Technology, 25(2), 263-275.
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.