Zvi Retchkiman Königsberg

15 papers Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
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)
Zvi Retchkiman Königsberg
2021 J jnl
Analog Algorithms with Discontinuous States and Non-Unique Evolution Operators: Computability and Stability.
Computación y Sistemas
Zvi Retchkiman Königsberg
2021 J jnl
Modeling and Verication Analysis of Ecological Systems via a First Order Logic Approach.
Computación y Sistemas
Zvi Retchkiman Königsberg
2021 J jnl
Modelling and Verification Analysis of Cooperative and Non-Cooperative Games via a Modal Logic Approach.
Computación y Sistemas
Zvi Retchkiman Königsberg
2020 J jnl
Axiomatization, Computability and Stability for Discrete Event Time Algorithms.
Computación y Sistemas
Zvi Retchkiman Königsberg
2019 — conf
Computability and Stability for Hybrid Algorithms.
ICSI (1)
Nachum Dershowitz, Zvi Retchkiman Königsberg
2018 — conf
Modelling and Verification Analysis of the Predator-Prey System via a Modal Logic Approach.
ICSI (1)
Zvi Retchkiman Königsberg
2017 — conf
Modelling and Verification Analysis of the Predator-Prey System via a First Order Logic Approach.
ICSI (1)
Zvi Retchkiman Königsberg
2012 — conf
The Biological Interaction Stability Problem.
ICSI (1)
Zvi Retchkiman Königsberg
2011 J jnl
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.
Zvi Retchkiman Königsberg
2011 — conf
Parallel Computer Processing Systems Are Better Than Serial Computer Processing Systems.
CSEE (1)
Zvi Retchkiman Königsberg
2010 J jnl
Modeling, analysis and timetable design of a helicopter maintenance process based on timed event petri nets and max-plus algebra.
Neural Parallel Sci. Comput.
Zvi Retchkiman Königsberg
2010 — conf
Stability Problem for a Predator-Prey System.
ICSI (1)
Zvi Retchkiman Königsberg
2009 — conf
Modeling the game of Arimaa with Linguistic Geometry.
CIG
José Roberto Mercado Vega, Zvi Retchkiman Königsberg
2005 J jnl
Decision Process Petri Nets: Analysis and Optimization.
Neural Parallel Sci. Comput.
Zvi Retchkiman Königsberg, Julio B. Clempner