A General Model for Memory-Based Finite-State Machines
IEEE Transactions on Computers
Approaches to multi-level sequential logic synthesis
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
General decomposition of sequential machines: relationships to state assignment
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
State assignment using a new embedding method based on an intersecting cube theory
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
A methodology for hardware verification based on logic simulation
Journal of the ACM (JACM)
A unified approach to the decomposition and re-decomposition of sequential machines
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Stochastic Automata Network of Modeling Parallel Systems
IEEE Transactions on Software Engineering
A unified approach to input-output encoding for FSM state assignment
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
FSM decomposition revisited: Algebraic structure theory applied to MCNC benchmark FSMs
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Recurrence equations and the optimization of synchronous logic circuits
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
ROM-based finite state machines with PLA address modifiers
EURO-DAC '92 Proceedings of the conference on European design automation
Fault detection with multiple observers
IEEE/ACM Transactions on Networking (TON)
Diversity-based inference of finite automata
Journal of the ACM (JACM)
An efficient procedure for the synthesis of fast self-testable controller structures
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Multi-level synthesis for safe replaceability
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Transformation and synthesis of FSMs for low-power gated-clock implementation
ISLPED '95 Proceedings of the 1995 international symposium on Low power design
High-level power modeling, estimation, and optimization
DAC '97 Proceedings of the 34th annual Design Automation Conference
OPTIMIST: state minimization for optimal 2-level logic implementation
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
An implementation of a state assignment heuristic
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Generalized Pair Algebra With Applications to Automata Theory
Journal of the ACM (JACM)
On Decompositions of Regular Events
Journal of the ACM (JACM)
Lattice Functions, Pair Algebras, and Finite-State Machines
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Toward a Formal Theory of Modeling and Simulation: Structure Preserving Morphisms
Journal of the ACM (JACM)
A rule based system for the optimal state assignment of controllers
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Wave-steering one-hot encoded FSMs
Proceedings of the 37th Annual Design Automation Conference
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Automata, formal languages abstract switching, and computability in a Ph.D. computer science program
Communications of the ACM
Proceedings of the conference on Design, automation and test in Europe
Graphical entry of FSMDs revisited: putting graphical models on a solid base
Proceedings of the conference on Design, automation and test in Europe
Closed Partition Lattice and Machine Decomposition
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Optimization of synchronous circuits
Logic Synthesis and Verification
Information theoretic aspects of data bases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Identifying Minimal Shift Counters: A Search Technique
IEEE Transactions on Computers
Model Minimization in Hierarchical Reinforcement Learning
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Application of the Information Measures to Input Support Selection in Functional Decomposition
RSCTC '98 Proceedings of the First International Conference on Rough Sets and Current Trends in Computing
Analysis and Synthesis of Information Systems with Information Relationships and Measures
RSCTC '98 Proceedings of the First International Conference on Rough Sets and Current Trends in Computing
Galois Connections and Fixed Point Calculus
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
A Holarchical Organized Design Assistant for Hierarchical Decompositions
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Solving Factored MDPs with Large Action Space Using Algebraic Decision Diagrams
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Logical Relations and Galois Connections
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Probabilistic Reversible Automata and Quantum Automata
COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
Sequential optimization in the absence of global reset
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Galois connections and fixed point calculus
Algebraic and coalgebraic methods in the mathematics of program construction
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Fast Controllers for Data Dominated Applications
EDTC '97 Proceedings of the 1997 European conference on Design and Test
Synthesis of p-valued asynchronous sequential circuits by using a general clock function
MVL '76 Proceedings of the sixth international symposium on Multiple-valued logic
Parallel and serial decompositions of multi-valued sequential machines
MVL '78 Proceedings of the eighth international symposium on Multiple-valued logic
Algebraic structure theory of stochastic machines
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Free groups and regular expressions
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
A unifying framework for the theory of iterative arrays of machines
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
Simulation of structured hardware designs
WSC '80 Proceedings of the 12th conference on Winter simulation
Software requirements in the 80's
ACM '80 Proceedings of the ACM 1980 annual conference
Uniform modular realization of sequential machines
ACM '68 Proceedings of the 1968 23rd ACM national conference
Events suppression technique for high performance VHDL simulation
HPC-ASIA '97 Proceedings of the High-Performance Computing on the Information Superhighway, HPC-Asia '97
The Partition Method for the Order - Insensitivity in a Synchronous Distributed Systems
ISCC '00 Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000)
Noninterference Equations for Nondeterministic Systems
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
Equivalence notions and model minimization in Markov decision processes
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Decomposition of Multiple-Valued Functions
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
Efficent suboptimal state assignment for large sequential machines
EURO-DAC '90 Proceedings of the conference on European design automation
State assignment of controllers for optimal area implementation
EURO-DAC '90 Proceedings of the conference on European design automation
EURO-DAC '91 Proceedings of the conference on European design automation
Fast and compact sequential circuits for the FPGA-based reconfigurable systems
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Reconfigurable systems
Effective and efficient FPGA synthesis through general functional decomposition
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Reconfigurable systems
Evolutionary Algorithms and Theirs Use in the Design of Sequential Logic Circuits
Genetic Programming and Evolvable Machines
A decomposition procedure for register-transfer level power management
CompSysTech '03 Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning
Safety of abstract interpretations for free, via logical relations and Galois connections
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Pipelining Sequential Circuits with Wave Steering
IEEE Transactions on Computers
Journal of Systems Architecture: the EUROMICRO Journal
A uniform approach to test computational complementarity
Acta Cybernetica
Principles of Sequential-Equivalence Verification
IEEE Design & Test
Parametrization of the Input-Output Image of Nonlinear Dynamic Systems
Automation and Remote Control
Information-driven circuit synthesis with the pre-characterized gate libraries
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Reconfigurable embedded systems: Synthesis, design and application
An application of functional decomposition in ROM-based FSM implementation in FPGA devices
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Reconfigurable embedded systems: Synthesis, design and application
A graphical approach to coset enumeration
ACM SIGSAM Bulletin
Decomposing Timed Push Down Automata
Fundamenta Informaticae
Design of Diagnosable Sequential Machines Utilizing Extra Outputs
IEEE Transactions on Computers
Tan-Like State Assignments ror Synchronous Sequential Machines
IEEE Transactions on Computers
Synthesis of Linear Sequential Machines with Unspecifed Outputs
IEEE Transactions on Computers
Transition Logic Circuits and a Synthesis Method
IEEE Transactions on Computers
On Easily Diagnosable Sequential Machines
IEEE Transactions on Computers
Totally Preset Checking Experiments for Sequential Machines
IEEE Transactions on Computers
Mixed Memory Type Realizations of Sequential Machines
IEEE Transactions on Computers
Synthesis of Finite State Algorithms in a Galois Field GF[pn]
IEEE Transactions on Computers
Realization of Fault-Tolerant Machines Linear Code Application
IEEE Transactions on Computers
Multiple Fault Detection in Combinational Circuits: Algorithms and Computational Results
IEEE Transactions on Computers
IEEE Transactions on Computers
IEEE Transactions on Computers
State Assignments for Asynchronous Sequential Machines
IEEE Transactions on Computers
A Characterization of Some Asynchronous Sequential Networks and State Assignments
IEEE Transactions on Computers
Sequential Machines Realizable with Delay Elements Only
IEEE Transactions on Computers
IEEE Transactions on Computers
On Delayed-Input Asynchronous Sequential Circuits
IEEE Transactions on Computers
An Algebraic Proof of the Paull-Unger Theorem
IEEE Transactions on Computers
Realizations of Sequential Machines Using Random Access Memory
IEEE Transactions on Computers
Generation of All Closed Partitions on the State Set of a Sequential Machine
IEEE Transactions on Computers
Double-Edge-Triggered Flip-Flops
IEEE Transactions on Computers
Inessential Errors in Sequential Machines
IEEE Transactions on Computers
Decomposition of Asynchronous Sequential Switching Circuits
IEEE Transactions on Computers
High Rate Realization of Finite-State Machines
IEEE Transactions on Computers
Structural Simplification and Decomposition of Asynchronous Sequential Circuits
IEEE Transactions on Computers
B70-5 Theories of Abstract Automata
IEEE Transactions on Computers
Delayed Universal Logic Modules and Sequential Machine Synthesis
IEEE Transactions on Computers
A Cellular Structure for Sequential Networks
IEEE Transactions on Computers
Algorithms for Multiple Shift Register Realizations of Sequential Machines
IEEE Transactions on Computers
Design of Asynchronous Unit Delays
IEEE Transactions on Computers
IEEE Transactions on Computers
Towards a New Theory of Sequential Switching Networks
IEEE Transactions on Computers
A Linear Decomposition for Sequential Machines
IEEE Transactions on Computers
Sequential Machine Implementations Using Universal Logic Modules
IEEE Transactions on Computers
A Realization Algorithm for Multiple Preset Experiments
IEEE Transactions on Computers
Synchronous and Asynchronous Procedures for the Synthesis of Master-Slave Circuits
IEEE Transactions on Computers
Synthesis of Multiple Sequential Machines Having Different Inputs
IEEE Transactions on Computers
Fault-Detection Experiments for Parallel-Decomposable Sequential Machines
IEEE Transactions on Computers
Structural Preserving Morphisms of Finite Automata and an Application to Graph Isomorphism
IEEE Transactions on Computers
The Search for a Definition of Partition Pair for Stochastic Automata
IEEE Transactions on Computers
Synthesis of Multiple-Input Change Asynchronous Machines Using Controlled Excitation and Flip-Flops
IEEE Transactions on Computers
Self-Diagnosing Cellular Implementations of Finite-State Machines
IEEE Transactions on Computers
On Modular Networks Satisfying the Shift-Register Rule
IEEE Transactions on Computers
Systematic Procedures for Realizing Synchronous Sequential Machines Using Flip-Flop Memory: Part I
IEEE Transactions on Computers
Diversity-based inference of finite automata
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
On the hardness of finding symmetries in Markov decision processes
Proceedings of the 25th international conference on Machine learning
Do You Really Mean What You Actually Enforced?
Formal Aspects in Security and Trust
Accelerating reinforcement learning through implicit imitation
Journal of Artificial Intelligence Research
A basis for the acquisition of procedures from protocols
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
SMDP homomorphisms: an algebraic approach to abstraction in semi-Markov decision processes
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Self-Synchronization of Asynchronous Sequential Circuits Employing a General Clock Function
IEEE Transactions on Computers
Markers and deterministic acceptors for non-deterministic languages
Journal of Automata, Languages and Combinatorics
Distributed online evolution: an algebraic problem?
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
FSM decomposition with application to FPGA synthesis
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
A characterization of automata and a direct product decomposition
Journal of Computer and System Sciences
Classification automaton and its construction using learning
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Branching vs. linear time: semantical perspective
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Assisted problem solving and decompositions of finite automata
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Method of accommodation to the defects in finite automata
Automation and Remote Control
Model minimization in Markov decision processes
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
On the Krohn-Rhodes cascaded decomposition theorem
Time for verification
Realization of fault-tolerant and Fail-Safe sequential machines
IEEE Transactions on Computers
Performance-driven synthesis in controller-datapath systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Decomposing controllers into non-conflicting distributed controllers
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Proceedings of the 2011 ACM Symposium on Research in Applied Computation
A unified design method utilizing decomposability and composability for secure systems
Proceedings of the 2011 ACM Symposium on Research in Applied Computation
Theoretical Computer Science
Fused state machines for fault tolerance in distributed systems
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
Decomposing Timed Push Down Automata
Fundamenta Informaticae
Hi-index | 0.18 |