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 (19)

Journals (0)

1-10 of 19 results for Büchi automata

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Coinductive Algorithms for Büchi Automata

Retricted access

Research article

First published 2021

Coinductive Algorithms for Büchi Automata

Denis Kuperberg, Laureline Pinault, Damien Pous

Fundamenta Informaticae

Select article: Nested Emptiness Search for Generalized Büchi Automata

Retricted access

Research article

First published 2006-4

Nested Emptiness Search for Generalized Büchi Automata

Heikki Tauriainen

Fundamenta Informaticae

Select article: A Sweep-Line Method for Büchi Automata-based Model Checking

Retricted access

Research article

First published 2014-4

A Sweep-Line Method for Büchi Automata-based Model Checking

Sami Evangelista, Lars Michael Kristensen

Fundamenta Informaticae

Select article: Markov Decision Processes and Deterministic Büchi Automata

Retricted access

Research article

First published 2002-3

Markov Decision Processes and Deterministic Büchi Automata

Danièle Beauquier

Fundamenta Informaticae

Select article: A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties

Retricted access

Research article

First published 2008-11

A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties

Hanifa Boucheneb, Hind Rakkay

Fundamenta Informaticae

Select article: Complexity of Topological Properties of Regular ω-Languages

Retricted access

Research article

First published 2008-2

Complexity of Topological Properties of Regular ω-Languages

Victor L. Selivanov, Klaus W. Wagner

Fundamenta Informaticae

Select article: Relative Nondeterministic Information Logic is EXPTIME-complete

Retricted access

Research article

First published 2007-1

Relative Nondeterministic Information Logic is EXPTIME-complete

Stéphane Demri, Ewa Orłowska

Fundamenta Informaticae

Select article: Decomposition Theorems for Probabilistic Automata over Infinite Objects

Free access

Research article

First published 1999-11

Decomposition Theorems for Probabilistic Automata over Infinite Objects

Robert D. Reisz

Informatica: An International Journal of Computing and Informatics

Select article: Multi-Valued MSO Logics OverWords and Trees

Retricted access

Research article

First published 2008-5

Multi-Valued MSO Logics OverWords and Trees

Manfred Droste, Werner Kuich, George Rahonis

Fundamenta Informaticae

Select article: Typical Paths of a Graph

Retricted access

Research article

First published 2011-6

Typical Paths of a Graph

Cewei Cui, Zhe Dang, Thomas R. Fischer

Fundamenta Informaticae

1
2
10 / page

Article type

Publication date

Subjects

Access