Decision Process Petri Nets: Analysis and Optimization. - Zvi Retchkiman Königsberg; Julio B. Clempner (Neural Parallel Sci. Comput., 2005)

Modeling the game of Arimaa with Linguistic Geometry. - José Roberto Mercado Vega; Zvi Retchkiman Königsberg (CIG, 2009)

Stability Problem for a Predator-Prey System. - Zvi Retchkiman Königsberg (ICSI (1), 2010)

Modeling, analysis and timetable design of a helicopter maintenance process based on timed event petri nets and max-plus algebra. - Zvi Retchkiman Königsberg (Neural Parallel Sci. Comput., 2010)

Parallel Computer Processing Systems Are Better Than Serial Computer Processing Systems. - Zvi Retchkiman Königsberg (CSEE (1), 2011)

A mixed lyapunov-max-plus algebra approach to the stability problem for discrete event dynamical systems modeled with timed petri nets. - Zvi Retchkiman Königsberg (Neural Parallel Sci. Comput., 2011)

The Biological Interaction Stability Problem. - Zvi Retchkiman Königsberg (ICSI (1), 2012)

Modelling and Verification Analysis of the Predator-Prey System via a First Order Logic Approach. - Zvi Retchkiman Königsberg (ICSI (1), 2017)

Modelling and Verification Analysis of the Predator-Prey System via a Modal Logic Approach. - Zvi Retchkiman Königsberg (ICSI (1), 2018)

Computability and Stability for Hybrid Algorithms. - Nachum Dershowitz; Zvi Retchkiman Königsberg (ICSI (1), 2019)

Axiomatization, Computability and Stability for Discrete Event Time Algorithms. - Zvi Retchkiman Königsberg (Computación y Sistemas, 2020)

Analog Algorithms with Discontinuous States and Non-Unique Evolution Operators: Computability and Stability. - Zvi Retchkiman Königsberg (Computación y Sistemas, 2021)

Modeling and Verication Analysis of Ecological Systems via a First Order Logic Approach. - Zvi Retchkiman Königsberg (Computación y Sistemas, 2021)

Modelling and Verification Analysis of Cooperative and Non-Cooperative Games via a Modal Logic Approach. - Zvi Retchkiman Königsberg (Computación y Sistemas, 2021)

A Logical Deductive Approach to Analyze and Synthesize a Class of Linguistic Expressions Using Rabbi Moshe Chaim Luzzatto 21 Logical Names. - Zvi Retchkiman Königsberg (Computación y Sistemas (CyS), 2023)