Zvi Retchkiman Königsberg

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 8

Top Topics

Transitive Closure

Inference Rules

Top Venues

Computación y Sistemas

Computación y Sistemas (CyS)

Publications

Zvi Retchkiman Königsberg
A Logical Deductive Approach to Analyze and Synthesize a Class of Linguistic Expressions Using Rabbi Moshe Chaim Luzzatto 21 Logical Names. Computación y Sistemas (CyS) 27 (4) (2023)
Zvi Retchkiman Königsberg
Analog Algorithms with Discontinuous States and Non-Unique Evolution Operators: Computability and Stability. Computación y Sistemas 25 (1) (2021)
Zvi Retchkiman Königsberg
Modelling and Verification Analysis of Cooperative and Non-Cooperative Games via a Modal Logic Approach. Computación y Sistemas 25 (3) (2021)
Zvi Retchkiman Königsberg
Modeling and Verication Analysis of Ecological Systems via a First Order Logic Approach. Computación y Sistemas 25 (2) (2021)
Zvi Retchkiman Königsberg
Axiomatization, Computability and Stability for Discrete Event Time Algorithms. Computación y Sistemas 24 (4) (2020)
Nachum Dershowitz, Zvi Retchkiman Königsberg
Computability and Stability for Hybrid Algorithms. ICSI (1) (2019)
Zvi Retchkiman Königsberg
Modelling and Verification Analysis of the Predator-Prey System via a Modal Logic Approach. ICSI (1) (2018)
Zvi Retchkiman Königsberg
Modelling and Verification Analysis of the Predator-Prey System via a First Order Logic Approach. ICSI (1) (2017)
Zvi Retchkiman Königsberg
The Biological Interaction Stability Problem. ICSI (1) (2012)
Zvi Retchkiman Königsberg
A mixed lyapunov-max-plus algebra approach to the stability problem for discrete event dynamical systems modeled with timed petri nets. Neural Parallel Sci. Comput. 19 (1-2) (2011)
Zvi Retchkiman Königsberg
Parallel Computer Processing Systems Are Better Than Serial Computer Processing Systems. CSEE (1) (2011)
Zvi Retchkiman Königsberg
Stability Problem for a Predator-Prey System. ICSI (1) (2010)
Zvi Retchkiman Königsberg
Modeling, analysis and timetable design of a helicopter maintenance process based on timed event petri nets and max-plus algebra. Neural Parallel Sci. Comput. 18 (1) (2010)
José Roberto Mercado Vega, Zvi Retchkiman Königsberg
Modeling the game of Arimaa with Linguistic Geometry. CIG (2009)
Zvi Retchkiman Königsberg, Julio B. Clempner
Decision Process Petri Nets: Analysis and Optimization. Neural Parallel Sci. Comput. 13 (2005)
Zvi Retchkiman Königsberg
The load balancing problem. Neural Parallel Sci. Comput. 7 (4) (1999)