Zvi Retchkiman Königsberg

Orcid: 0000-0002-0435-0273

According to our database1, Zvi Retchkiman Königsberg authored at least 15 papers between 2005 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
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), 2023

2021
Modelling and Verification Analysis of Cooperative and Non-Cooperative Games via a Modal Logic Approach.
Computación y Sistemas, 2021

Modeling and Verication Analysis of Ecological Systems via a First Order Logic Approach.
Computación y Sistemas, 2021

Analog Algorithms with Discontinuous States and Non-Unique Evolution Operators: Computability and Stability.
Computación y Sistemas, 2021

2020
Axiomatization, Computability and Stability for Discrete Event Time Algorithms.
Computación y Sistemas, 2020

2019
Computability and Stability for Hybrid Algorithms.
Proceedings of the Advances in Swarm Intelligence - 10th International Conference, 2019

2018
Modelling and Verification Analysis of the Predator-Prey System via a Modal Logic Approach.
Proceedings of the Advances in Swarm Intelligence - 9th International Conference, 2018

2017
Modelling and Verification Analysis of the Predator-Prey System via a First Order Logic Approach.
Proceedings of the Advances in Swarm Intelligence - 8th International Conference, 2017

2012
The Biological Interaction Stability Problem.
Proceedings of the Advances in Swarm Intelligence - Third International Conference, 2012

2011
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., 2011

Parallel Computer Processing Systems Are Better Than Serial Computer Processing Systems.
Proceedings of the Advances in Computer Science, Environment, Ecoinformatics, and Education, 2011

2010
Modeling, analysis and timetable design of a helicopter maintenance process based on timed event petri nets and max-plus algebra.
Neural Parallel Sci. Comput., 2010

Stability Problem for a Predator-Prey System.
Proceedings of the Advances in Swarm Intelligence, First International Conference, 2010

2009
Modeling the game of Arimaa with Linguistic Geometry.
Proceedings of the 2009 IEEE Symposium on Computational Intelligence and Games, 2009

2005
Decision Process Petri Nets: Analysis and Optimization.
Neural Parallel Sci. Comput., 2005


  Loading...