Zvi Retchkiman Königsberg

发表

Decision Process Petri Nets: Analysis and Optimization

Zvi Retchkiman Königsberg, Julio B. Clempner, 2005, Neural Parallel Sci. Comput..

Axiomatization, Computability and Stability for Discrete Event Time Algorithms

Zvi Retchkiman Königsberg, 2020, Computación y Sistemas.

Modelling and Verification Analysis of the Predator-Prey System via a First Order Logic Approach

Zvi Retchkiman Königsberg, 2017, ICSI.

Modeling, analysis and timetable design of a helicopter maintenance process based on timed event petri nets and max-plus algebra

Zvi Retchkiman Königsberg, 2010, Neural Parallel Sci. Comput..

Computability and Stability for Hybrid Algorithms

Nachum Dershowitz, Zvi Retchkiman Königsberg, 2019, ICSI.

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, 2011, Neural Parallel Sci. Comput..

Parallel Computer Processing Systems Are Better Than Serial Computer Processing Systems

Zvi Retchkiman Königsberg, 2011, CSEE.

The load balancing problem

Zvi Retchkiman Königsberg, 1999, Neural Parallel Sci. Comput..

Modelling and Verification Analysis of the Predator-Prey System via a Modal Logic Approach

Zvi Retchkiman Königsberg, 2018, ICSI.

MODELLING AND VERIFICATION ANALYSIS OF THE BIOLOGICAL INTERACTION BETWEEN SPECIES VIA A MODAL LOGIC APPROACH

Zvi Retchkiman Königsberg, 2018 .

Modeling the game of Arimaa with Linguistic Geometry

Zvi Retchkiman Königsberg, José Roberto Mercado Vega, 2009, 2009 IEEE Symposium on Computational Intelligence and Games.

The Biological Interaction Stability Problem

Zvi Retchkiman Königsberg, 2012, ICSI.

Modeling and Stability Analysis of a Communication Network System

Zvi Retchkiman Königsberg, 2015 .

Stability Problem for a Predator-Prey System

Zvi Retchkiman Königsberg, 2010, ICSI.

Analog Algorithms with Discontinuous States and Non-Unique Evolution Operators: Computability and Stability

Zvi Retchkiman Königsberg, 2021, Computación y Sistemas.

Modeling and Verication Analysis of Ecological Systems via a First Order Logic Approach

Zvi Retchkiman Königsberg, 2021, Computación y Sistemas.

Modelling and Verification Analysis of Cooperative and Non-Cooperative Games via a Modal Logic Approach

Zvi Retchkiman Königsberg, 2021 .

Modeling and Scheduling Design for a Class of Queuing Systems by means of timed Petri Nets and Max-Plus Algebra

Zvi Retchkiman Königsberg, 2011 .

A LINGUISTIC GEOMETRY MODEL FOR AN ARIMAA BOT

Zvi Retchkiman Königsberg, Roberto Mercado Vega, 2009 .

THE MODELING AND STABILITY PROBLEM FOR A COMMUNICATION CHANNEL SYSTEM WITH TRANSMITTER BREAKDOWN

Zvi Retchkiman Königsberg, 2014 .