Sage Journals: Discover world-class research

Retricted access

Research article

First published 2008-6

On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs

Javier Esparza, Petr Jančar, Alexander Miller

Fundamenta Informaticae

Retricted access

Research article

First published 2007-6

Improved Decomposition of Signal Transition Graphs

W. Vogler, B. Kangsah

Fundamenta Informaticae

Retricted access

Research article

First published 2004-9

A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs

Javier Esparza

Fundamenta Informaticae

Retricted access

Research article

First published 2006-4

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Retricted access

Research article

First published 2004-9

Detecting State Encoding Conflicts in STG Unfoldings Using SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Retricted access

Research article

First published

A Novel Method for Signal Transduction Network Inference from Indirect Experimental Evidence

Réka Albert, Bhaskar DasGupta, Riccardo Dondi [...]

Journal of Computational Biology

Retricted access

Research article

First published 2011-3

Flat Arbiters

Andrey Mokhov, Victor Khomenko, Alex Yakovlev

Fundamenta Informaticae

Retricted access

Research article

First published 2024-10

Improved GNN based on Graph-Transformer: A new framework for rolling mill bearing fault diagnosis

Dongxiao Hou, Bo Zhang, Jiahui Chen [...]

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2022-02-02

Learning intents behind interactions with high-order graph for session-based intelligent recommendation

Jianfeng Wang, Ruomei Wang, Shaohui Liu

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 1967-11

A comparison of two digital methods of EEG simulation

Edward K. Bower, Samuel J. Dwyer, Gladwyn V. Lago

SIMULATION

Search results