You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (12)

Journals (0)

1-10 of 12 results for graph unfolding

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Unfoldings and Coverings of Weighted Graphs

Retricted access

Research article

First published 2022

Unfoldings and Coverings of Weighted Graphs

Bruno Courcelle

Fundamenta Informaticae

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

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

Select article: Detecting State Encoding Conflicts in STG Unfoldings Using SAT

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

Select article: Time-constrained loop scheduling with minimal resources

Retricted access

Research article

First published 2006-2

Time-constrained loop scheduling with minimal resources

Timothy W. O'Neil, Edwin H.-M. Sha

Journal of Embedded Computing

Select article: Multiple developing news stories identified and tracked by social insects and visualized using the new galactic streams and concurrent streams metaphors

Retricted access

Research article

First published 2015-2

Multiple developing news stories identified and tracked by social insects and visualized using the new galactic streams and concurrent streams metaphors

Stefan Sabo, Alena Kovarova, Pavol Navrat

International Journal of Hybrid Intelligent Systems

Select article: Network Models in Neuroimaging: A Survey of Multimodal Applications

Retricted access

Research article

First published 2018

Network Models in Neuroimaging: A Survey of Multimodal Applications

Matteo Mancini, Mara Cercignani

Fundamenta Informaticae

Select article: Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning

Retricted access

Research article

First published 2013-1

Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning

Pierre-Alain Reynier, Frédéric Servais

Fundamenta Informaticae

Select article: Hierarchical collision-free motion planning method for biped truss-climbing robots

Retricted access

Research article

First published 2025

Hierarchical collision-free motion planning method for biped truss-climbing robots

Shichao Gu, Shangbiao Wei, Yisheng Guan [...]

Transactions of the Institute of Measurement and Control

Select article: Research on folding suspension of multi-constrained rover based on the variation and fusion of rods and pairs

Open access

Research article

First published 2017-7

Research on folding suspension of multi-constrained rover based on the variation and fusion of rods and pairs

Fei Yang, Honghao Yue, Meng Li [...]

International Journal of Advanced Robotic Systems

Select article: COMBINING CCS AND PETRI NETS VIA STRUCTURAL AXIOMS

Retricted access

Research article

First published 1994-6

COMBINING CCS AND PETRI NETS VIA STRUCTURAL AXIOMS

Ugo Montanari, Daniel Yankelevich

Fundamenta Informaticae

1
2
10 / page

Article type

Publication date

Subjects

Access