Bernard P. Zeigler

According to our database1, Bernard P. Zeigler authored at least 196 papers between 1970 and 2018.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 1994, "For contributions to the theory of discrete event systems modeling and simulation.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
MBSE with/out Simulation: State of the Art and Way Forward.
Systems, 2018

Discrete Event System Specification Framework for Self-Improving Healthcare Service Systems.
IEEE Systems Journal, 2018

Iterative Specification as a Modeling and Simulation Formalism for I/O General Systems.
IEEE Systems Journal, 2018

multiPDEVS: A Parallel Multicomponent System Specification Formalism.
Complexity, 2018

Fundamental requirements and DEVS approach for modeling and simulation of complex adaptive system of systems: healthcare reform.
Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, 2018

Closure under coupling: concept, proofs, DEVS recent examples (wip).
Proceedings of the Theory of Modeling and Simulation Symposium, 2018

DEVS markov modeling and simulation: formal definition and implementation.
Proceedings of the Theory of Modeling and Simulation Symposium, 2018

Towards a theory of economic value for modeling and simulation: incremental cost of parallel simulation (wip).
Proceedings of the Theory of Modeling and Simulation Symposium, 2018

Service composition and scheduling in cloud-based simulation environment.
Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, 2018

2017
Temporal Modeling of Neural Net Input/Output Behaviors: The Case of XOR.
Systems, 2017

Activity-Based Credit Assignment Heuristic for Simulation-Based Stochastic Search in a Hierarchical Model Base of Systems.
IEEE Systems Journal, 2017

How to apply Amdahl's law to multithreaded multicore processors.
J. Parallel Distrib. Comput., 2017

Combining DEVS and model-checking: concepts and tools for integrating simulation and analysis.
IJSPM, 2017

DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems.
IJSPM, 2017

Using the Parallel DEVS Protocol for General Robust Simulation with Near Optimal Performance.
Computing in Science and Engineering, 2017

Why should we develop simulation models in pairs?
Proceedings of the 2017 Winter Simulation Conference, 2017

Generic architecture for interactive mobile simulation of parallel Devs models: A missile defense application.
Proceedings of the 2017 Winter Simulation Conference, 2017

Hierarchical Markov decision process based on DEVS formalism.
Proceedings of the 2017 Winter Simulation Conference, 2017

The state of innovation in modeling and simulation: The last 50 years.
Proceedings of the 2017 Winter Simulation Conference, 2017

System entity structure and model base framework in model based engineering of simulations for technical systems.
Proceedings of the Symposium on Model-driven Approaches for Simulation Engineering, Mod4Sim 2017, Virginia Beach, VA, USA, April 23, 2017

A Framework for Rapid Configuration of Collaborative Aviation System-of-Systems Simulations.
Proceedings of the Modelling and Simulation for Autonomous Systems, 2017

2016
Emergence at the Fundamental Systems Level: Existence Conditions for Iterative Specifications.
Systems, 2016

System entity structure extension to integrate abstraction hierarchies and time granularity into DEVS modeling and simulation.
Simulation, 2016

Some modeling & simulation perspectives on emergence in system-of-systems.
Proceedings of the Modeling and Simulation of Complexity in Intelligent, 2016

Extended variability modeling using system entity structure ontology within MATLAB/Simulink.
Proceedings of the 49th Annual Simulation Symposium, 2016

2015
What's the best possible speedup achievable in distributed simulation: Amdahl's law reconstructed.
Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

Integrating web-based simulation on IT systems with finite probabilistic DEVS.
Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

SES extension to integrate abstraction hierarchy into DEVS modeling and simulation.
Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

Towards a probabilistic interpretation of validity for simulation models.
Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

2014
Specification of dynamic structure discrete event systems using single point encapsulated control functions.
IJMSSC, 2014

Expanding DEVS and SES applicability: using M&S kernels within IT systems.
Proceedings of the 2014 Spring Simulation Multiconference, 2014

Modeling attention switching in resource-constrained complex intelligent dynamical systems (RCIDS).
Proceedings of the 2014 Spring Simulation Multiconference, 2014

The role of Modeling and Simulation in coordination of health care.
Proceedings of the 4th International Conference On Simulation And Modeling Methodologies, 2014

2013
Refounding of the activity concept? Towards a federative paradigm for modeling and simulation.
Simulation, 2013

Linking information and energy - activity-based energy-aware information processing.
Simulation, 2013

System Entity Structures for Suites of simulation Models.
IJMSSC, 2013

Creating suites of models with system entity structure: global warming example.
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

DEVS modeling and simulation methodology with MS4 Me software tool.
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Discrete event system specification, synthesis, and optimization of low-power FPGA-based embedded systems.
Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

Guide to Modeling and Simulation of Systems of Systems.
Simulation Foundations, Methods and Applications, Springer, ISBN: 978-0-85729-865-2, 2013

Guide to Modeling and Simulation of Systems of Systems - User's Reference.
Springer Briefs in Computer Science, Springer, ISBN: 978-1-4471-4569-1, 2013

2012
System theoretic foundations of modeling and simulation: a historic perspective and the legacy of A Wayne Wymore.
Simulation, 2012

A modeling and simulation-based methodology to support dynamic negotiation for web service applications.
Simulation, 2012

Frontier modeling support environment: flexibility to adapt to diverse stakeholders.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

Simulation model standardization through web services: interoperation and federation on the DEVS/SOA platform.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

Activity-based credit assignment (ACA) in hierarchical simulation.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

Ontology-based marketplace for supporting negotiation in different scientific applications.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

2011
The Activity-tracking paradigm in discrete-event modeling and simulation: The case of spatially continuous distributed systems.
Simulation, 2011

A new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations.
Simulation Modelling Practice and Theory, 2011

Towards a methodological approach to identify future M&S standard needs.
Proceedings of the Winter Simulation Conference 2011, 2011

Automating DEVS over data distribution service for high performance and interoperability.
Proceedings of the 2011 Spring Simulation Multi-conference, 2011

2010
Web-based Distributed Network Analyzer using a System Entity Structure over a Service-oriented Architecture.
Simulation, 2010

SES-based ontological process for high level information fusion.
Proceedings of the 2010 Spring Simulation Multiconference, 2010

Comprehensive on-chip traffic generator model for SoC design and synthesis.
Proceedings of the 2010 Spring Simulation Multiconference, 2010

2009
Artificial Intelligence in Modeling and Simulation.
Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Reachability Graph of Finite and Deterministic DEVS Networks.
IEEE Trans. Automation Science and Engineering, 2009

eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation.
Simulation, 2009

DEVS/SOA: A Cross-Platform Framework for Net-centric Modeling and Simulation in DEVS Unified Process.
Simulation, 2009

DEVS Namespace for Interoperable DEVS/SOA.
Proceedings of the 2009 Winter Simulation Conference, 2009

Automating the DEVS modeling and simulation interface to web services.
Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

Interoperability between DEVS simulators using service oriented architecture and DEVS namespace.
Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

2008
Expressiveness of verifiable hierarchical clock systems.
Int. J. General Systems, 2008

Extending DEVS to support multiple occurrence in component-based simulation.
Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, 2008

System Entity Structure for XML Meta Data Modeling; Application to the US Climate Normals.
Proceedings of the 17th International Conference on Software Engineering and Data Engineering (SEDE-2008), June 30, 2008

DEVS model composition by system entity structure.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2008

Design of A QoS-Aware Service Composition and Management System in Peer-to-Peer Network Aided by DEVS.
Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

A Method for Generating Synthetic Air Tracks.
Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

2007
On the stability and performance of discrete event methods for simulating continuous systems.
J. Comput. Physics, 2007

DEVSML: automating DEVS execution over SOA towards transparent simulators.
Proceedings of the 2007 Spring Simulation Multiconference, 2007

DEVS/NS-2 environment: integrated tool for efficient networks modeling and simulation.
Proceedings of the 2007 Spring Simulation Multiconference, 2007

Complex system simulation: DEVS implementation of the valley fever model.
Proceedings of the 2007 Spring Simulation Multiconference, 2007

Experimental frame structuring and aggregation of source data: application to US climate normals.
Proceedings of the 2007 Spring Simulation Multiconference, 2007

DEVS-based simulation web services for net-centric T&E.
Proceedings of the 2007 Summer Computer Simulation Conference, 2007

A Generic Pattern for Modifying Traditional PDE Solvers to Exploit Heterogeneity in Asynchronous Behavior.
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation, 2007

DEVS Systems-Theory Framework for Reusable Testing of I/O Behaviors in Service Oriented Architectures.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

Exploiting the Concept of Activity for Dynamic Reconfiguration of Distributed Simulation.
Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications, 2007

2006
Cost-based Partitioning for Distributed and Parallel Simulation of Decomposable Multiscale Constructive Models.
Simulation, 2006

Strengthening OV-6a semantics with rule-based meta-models in DEVS/DoDAF based life-cycle architecture development.
Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

2005
Model continuity in the design of dynamic distributed real-time systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2005

Discrete Event Multi-level Models for Systems Biology.
Trans. Computational Systems Biology, 2005

Dynamic Multiplexing and High-Performance Modeling in Distributed Simulation.
Simulation, 2005

Variable Structure in DEVS Component-Based Modeling and Simulation.
Simulation, 2005

A simulation-based virtual environment to study cooperative robotic systems.
Integrated Computer-Aided Engineering, 2005

Enhancing DoDAF with a DEVS-based system lifecycle development process.
Proceedings of the IEEE International Conference on Systems, 2005

Discrete event simulation of large-scale spatial continuous systems.
Proceedings of the IEEE International Conference on Systems, 2005

Robots in the loop: supporting an incremental simulation-based design process.
Proceedings of the IEEE International Conference on Systems, 2005

2004
Forest Fire Spread and Suppression in DEVS.
Simulation, 2004

Model Continuity to Support Software Development for Distributed Robotic Systems: A Team Formation Example.
Journal of Intelligent and Robotic Systems, 2004

04041 Abstracts Collection - Component-Based Modeling and Simulation.
Proceedings of the Component-Base Modeling and Simulation, 18.-23. January 2004, 2004

Continuity and Change (Activity) Are Fundamentally Related in DEVS Simulation of Continuous Systems.
Proceedings of the Artificial Intelligence and Simulation, 2004

2003
The RTDEVS/CORBA Environment for Simulation-Based Design of Distributed Real-Time Systems.
Simulation, 2003

V-Lab® - A Distributed Intelligent Discrete-Event Environment for Autonomous Agents Simulationi.
Intelligent Automation & Soft Computing, 2003

DEVS Today: Recent Advances in Discrete Event-Based Information Technology.
Proceedings of the 11th International Workshop on Modeling, 2003

Discrete Event Solution of Gas Dynamics within the DEVS Framework.
Proceedings of the Computational Science - ICCS 2003, 2003

Distributing Simulation Work Based on Component Activity: A New Approach to Partitioning Hierarchical DEVS Models.
Proceedings of the 1st International Workshop on Challenges of Large Applications in Distributed Environments, 2003

2002
DEVS-DOC: a modeling and simulation environment enabling distributed codesign.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2002

Message from the Vice President of Publications of The Society for Modeling and Simulation International.
Simulation, 2002

Quantization-based filtering in distributed discrete event simulation.
J. Parallel Distrib. Comput., 2002

Space-Based Communication Data Management in Scalable Distributed Simulation.
J. Parallel Distrib. Comput., 2002

2001
Society's Uptake of M&S: An Autocatalytic Cycle.
Simulation, 2001

Message from the Vice President of Publications.
Simulation, 2001

The Society for Computer Simulation Reinvents Itself.
Simulation, 2001

Design and Development of Data Distribution Management Environment.
Simulation, 2001

Interface for scalable DEVS and distributed container object specifications.
Proceedings of the IEEE International Conference on Systems, 2001

Development of DEVS/GDDM environment: realization of space-based data management.
Proceedings of the IEEE International Conference on Systems, 2001

DEVS-on-a-chip: implementing DEVS in real-time Java on a tiny Internet interface for scalable factory automation.
Proceedings of the IEEE International Conference on Systems, 2001

Design and implementation of distributed real-time DEVS/CORBA.
Proceedings of the IEEE International Conference on Systems, 2001

Devs Modeling And Simulation: A New Layer Of Middleware.
Proceedings of the 3rd Annual International Workshop on Active Middleware Services (AMS 2001), 2001

2000
Collaborative distributed network system: a lightweight middleware supporting collaborative DEVS modeling.
Future Generation Comp. Syst., 2000

A Codesign Approach for Distributed Systems.
IEEE Computer, 2000

Theory of Quantized Systems: Devs Simulation of Perceiving Agents.
Cybernetics and Systems, 2000

Distributed simulation: creating distributed simulation using DEVS M&S environments.
Proceedings of the 32nd conference on Winter simulation, WSC 2000, 2000

Conceptions of curriculum for simulation education: panel.
Proceedings of the 32nd conference on Winter simulation, WSC 2000, 2000

Models and representation of their ownership.
Proceedings of the 32nd conference on Winter simulation, WSC 2000, 2000

1999
Exploiting HLA and DEVS To Promote Interoperability and Reuse in Lockheed's Corporate Environment.
Simulation, 1999

A Word from the Editor-in-Chief of TRANSACTIONS.
Simulation, 1999

Distributed supply chain simulation in a DEVS/CORBA execution environment.
Proceedings of the 31st conference on Winter simulation: Simulation, 1999

Theory of modeling and design - integrating discrete event and continous complex dynamic systems (2. ed.).
Academic Press, ISBN: 978-0-12-778455-7, 1999

1998
Object-oriented business process modeling and simulation: A discrete event system specification framework.
Simul. Pr. Theory, 1998

Multimodels and Dynamic Structure Models: An Integration of DSDE/DEVS and OOPM.
Proceedings of the 30th conference on Winter simulation, WSC 1998, 1998

A Group-Based Approach for Distributed Model Construction.
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997
Simulation of intelligent hierarchical flexible manufacturing: batch job routing in operation overlapping.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 1997

Design, analysis, and implementation of a telemedicine remote consultation and diagnosis session playback using discrete event system specification.
IEEE Trans. Information Technology in Biomedicine, 1997

DEVS Formalism as a Framework for Advanced Distributed Simulation.
Proceedings of the 1st International Workshop on Distributed Interactive Simulation and Real-Time Applications (DIS-RT '97), 1997

Objects and systems - principled design with implementations in C++ and Java.
Undergraduate texts in computer science, Springer, ISBN: 978-0-387-94781-5, 1997

1996
A knowledge-based simulation environment for hierarchical flexible manufacturing.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 1996

Designing fuzzy logic controllers using a multiresolutional search paradigm.
IEEE Trans. Fuzzy Systems, 1996

A Framework for Multiresolution Optimization in a Parallel/Distributed Environment: Simulation of Hierarchical GAs.
J. Parallel Distrib. Comput., 1996

Hierarchical Distributed Genetic Algorithms: A Fuzzy Logic Controller Design Application.
IEEE Expert, 1996

Abstraction Mechanisms in Discrete-Event Inductive Modeling.
Proceedings of the 28th conference on Winter simulation, 1996

Design of High Level Modelling / High Performance Simulation Environments.
Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, 1996

DEVS-C++: A High Performance Modelling and Simulation Environment.
Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

1995
Modeling and Simulation of Intelligent Control in Process Engineering.
Proceedings of the EUROSIM'96, 1995

DEVS-Based Endomorphic Agents: Control Through Deliberative and Reactive Planning.
Proceedings of the Computer Aided Systems Theory, 1995

1994
Hierarchical model-based diagnosis for high autonomy systems.
Journal of Intelligent and Robotic Systems, 1994

Parallel DEVS: a parallel, hierarchical, modular, modeling formalism.
Proceedings of the 26th conference on Winter simulation, 1994

DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems.
Proceedings of the Hybrid Systems II, 1994

Inductive Modeling: A Framework Marrying Systems Theory and Non-monotonic Reasoning.
Proceedings of the Hybrid Systems II, 1994

Fundamental Systems Concepts: "The Right Stuff" for 21st Century Technology.
Proceedings of the Computer Aided System Theory, 1994

On the Expressibility of Discrete Event Specified Systems.
Proceedings of the Computer Aided System Theory, 1994

1993
Abstracting event-based control models for high autonomy systems.
IEEE Trans. Systems, Man, and Cybernetics, 1993

Extending the DEVS-Scheme knowledge-based simulation environment for real-time event-based control.
IEEE Trans. Robotics and Automation, 1993

A Simulation Environment for Intelligent Machine Architectures.
J. Parallel Distrib. Comput., 1993

Frameworks for evaluating discrete event dynamic systems.
Discrete Event Dynamic Systems, 1993

Extending the DEVS formalism for massively parallel simulation.
Discrete Event Dynamic Systems, 1993

DEVS formalism and methodology: unity of conception/diversity of application.
Proceedings of the 25th Winter Simulation Conference, 1993

Hierarchical modeling for discrete event simulation (panel).
Proceedings of the 25th Winter Simulation Conference, 1993

Representing and constructing system specifications using the system entity structure concepts.
Proceedings of the 25th Winter Simulation Conference, 1993

Object-Oriented Paradigms for Model Development Environments.
Proceedings of the MASCOTS '93, 1993

Asynchronous Genetic Algorithms on Parallel Computers.
Proceedings of the 5th International Conference on Genetic Algorithms, 1993

1992
Symbolic discrete event system specification.
IEEE Trans. Systems, Man, and Cybernetics, 1992

A Multimodel Methodology for Qualitative Model Engineering.
ACM Trans. Model. Comput. Simul., 1992

Endomorphic modeling concepts for high-autonomy architectures.
Applied Artificial Intelligence, 1992

1991
Model Base Management for Multifacetted Systems.
ACM Trans. Model. Comput. Simul., 1991

Qualitative physics: towards the automation of systems problem solving.
J. Exp. Theor. Artif. Intell., 1991

Object-Oriented Modeling and Discrete-Event Simulation.
Advances in Computers, 1991

Abstraction morphisms for world modelling in high autonomy systems.
Proceedings of the 23th Winter Simulation Conference, 1991

1990
System entity structuring and model base management.
IEEE Trans. Systems, Man, and Cybernetics, 1990

Mapping Hierarchical Discrete Event Models to Multiprocessor Systems: Concepts, Algorithm, and Simulation.
J. Parallel Distrib. Comput., 1990

AIDECS: An AI-based, distributed environmental control system for self-sustaining habitats.
AI in Engineering, 1990

A five level hierarchy for the management of simulation models.
Proceedings of the 22th Winter Simulation Conference, 1990

1989
Hierarchical, modular modelling in DEVS-scheme.
Proceedings of the 21st Winter Simulation Conference, 1989

Hierarchical scheduling in an intelligent environmental control system.
IEA/AIE (1), 1989

Systems Theory Challenges in the Simulation of Variable Structure and Intelligent Systems.
Proceedings of the Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26, 1989

Modelling and Simulation of Non-Homogeneous Models.
Proceedings of the Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26, 1989

1988
Entity Structure Based Design Methodology: A LAN Protocol Example.
IEEE Trans. Software Eng., 1988

DEVS Formalism: A Framework for Hierarchical Model Development.
IEEE Trans. Software Eng., 1988

Design of a simulation environment for laboratory management by robot organizations.
Journal of Intelligent and Robotic Systems, 1988

Book review.
Journal of Intelligent and Robotic Systems, 1988

Towards an implementation of a knowledge-based system design and simulation environment.
Proceedings of the 20th conference on Winter simulation, 1988

Design of an AI-Based Self-Sustaining Habitats Control System.
IEA/AIE (Vol. 2), 1988

1987
Knowledge representation from Newton to MINSKY and beyond.
Applied Artificial Intelligence, 1987

The DEVS formalism: hierarchical, modular systems specification in an object oriented framework.
Proceedings of the 19th conference on Winter simulation, 1987

1986
Multifaceted, multiparadigm modeling perspectives: tools for the 90's.
Proceedings of the 18th conference on Winter simulation, WSC 1986, 1986

Hierarchical modular modeling/knowledge representation.
Proceedings of the 18th conference on Winter simulation, WSC 1986, 1986

Knowledge-based design of LANs using system entity structure concepts.
Proceedings of the 18th conference on Winter simulation, WSC 1986, 1986

1985
Concepts for knowledge-based system design environments.
Proceedings of the 17th conference on Winter simulation, 1985

Performance evaluation of hierarchical distributed simulators.
Proceedings of the 17th conference on Winter simulation, 1985

Towards a Theory of Adaptive Computer Architectures.
Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

1984
Abstraction in methodology: A framework for computer support.
Inf. Process. Manage., 1984

Distributed Simulation of Cellular Discrete Time Models.
IMACS European Simulation Meeting, 1984

1983
Simulation methodology: Lessons of the Past, Challenges for the Future.
Proceedings of the 15th conference on Winter simulation, 1983

1982
Comments on M. S. Elzas.
Proceedings of the Adequate Modeling of Systems, 1982

Comments on T. I. Ören.
Proceedings of the Adequate Modeling of Systems, 1982

1981
Impact of general systems orientation: Present and future.
Proceedings of the 13th conference on Winter simulation, 1981

General system theories (Panel Session).
Proceedings of the 13th conference on Winter simulation, 1981

1977
Canonical realization of general time systems.
Inf. Sci., 1977

1976
Theory of Modeling and Simulation
John Wiley, 1976

1975
Maximally Independent Sets, Minimal Generating Sets, and Irreducibles.
Mathematical Systems Theory, 1975

Statistical Simplification of Neural Nets.
International Journal of Man-Machine Studies, 1975

1973
Every Discrete Input Machine is Linearly Simulatable.
J. Comput. Syst. Sci., 1973

1972
Proof of A Conjecture by A. W. Burks and H. Want: Some Relations between Net Cycles and States Cycles
Information and Control, October, 1972

Toward a Formal Theory of Modeling and Simulation: Structure Preserving Morphisms.
J. ACM, 1972

1971
Feedback in Homomorphic Realizations.
IEEE Trans. Computers, 1971

A Note on Series Parallel Irreducibility.
Mathematical Systems Theory, 1971

1970
Series-Parallel Irreducibility: Machine Oriented Definitions and Proofs
Proceedings of the 11th Annual Symposium on Switching and Automata Theory, 1970


  Loading...