Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Akio INABA

Transformation Algorithm From Ladder Diagram to SFC Using Temporal Logic

IEEJ Transactions on Industry Applications
Electronic EngineeringIndustrialElectricalManufacturing Engineering
1997English

Related publications

A New Translation Algorithm From Ladder Diagrams to Instruction Lists

IFAC Proceedings Volumes
2008English

Phase Diagram of the Two-Leg Kondo Ladder

Physical Review B
2004English

Design and Implementation for Ladder Diagram in Hydropower Simulation System Based on All Paths Searching Algorithm

International Journal of Communications, Network and System Sciences
2009English

Using Logic Regression Algorithm to Analyze and Predict NBA Game Data

DEStech Transactions on Computer Science and Engineering
2018English

Temporal Verification by Diagram Transformations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Synthesizing Adaptive Test Strategies From Temporal Logic Specifications

2016English

Finding State Solutions to Temporal Logic Queries

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

242-a/Lerf Programmable Logic Controller Ladder. Revision 1

1995English

Fly-By-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy