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

Journals (0)

1-10 of 1710 results for branching time

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: An Axiomatization for Regular Processes in Timed Branching Bisimulation

Retricted access

Research article

First published 1997-12

An Axiomatization for Regular Processes in Timed Branching Bisimulation

Wan Fokkink

Fundamenta Informaticae

Select article: Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief

Free access

Research article

First published 2007-2

Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics

Select article: Branching of the radial expansion history during inflation of a non-linear incompressible isotropic time-dependent thick-walled sphere

Retricted access

Other

First published 2011-7

Branching of the radial expansion history during inflation of a non-linear incompressible isotropic time-dependent thick-walled sphere

Alan Wineman

Mathematics and Mechanics of Solids

Select article: Is Timed Branching Bisimilarity a Congruence Indeed?

Retricted access

Research article

First published 2008-9

Is Timed Branching Bisimilarity a Congruence Indeed?

Wan Fokkink, Jun Pang, Anton Wijs

Fundamenta Informaticae

Select article: On Average Time Complexity of Decision Trees and Branching Programs

Retricted access

Research article

First published 1999-9

On Average Time Complexity of Decision Trees and Branching Programs

Igor Chikalov

Fundamenta Informaticae

Select article: From Branching to Linear Time,Coalgebraically

Retricted access

Research article

First published 2017-3-3

From Branching to Linear Time,Coalgebraically

Corina Cîrstea

Fundamenta Informaticae

Select article: Branching during axial compression histories of solid cylinders of time-dependent materials

Retricted access

Research article

First published 2023-1

Branching during axial compression histories of solid cylinders of time-dependent materials

Anthony M Waas, Alan S Wineman

Mathematics and Mechanics of Solids

Select article: Branching-Time Model Checking Gap-Order Constraint Systems

Retricted access

Research article

First published 2016-3-4

Branching-Time Model Checking Gap-Order Constraint Systems

Richard Mayr, Patrick Totzke

Fundamenta Informaticae

Select article: Ageing Properties of the Time to Extinction of a MultiType Branching Process

Retricted access

Research article

First published 1989-9

Ageing Properties of the Time to Extinction of a MultiType Branching Process

V. G. Gadag, U. V. NaikNimbalkar, M.B. Rajarshi

Calcutta Statistical Association Bulletin

Select article: A Polynomial-Time Construction of a Hitting Set for Read-Once Branching Programs of Width 3

Retricted access

Research article

First published 2021

A Polynomial-Time Construction of a Hitting Set for Read-Once Branching Programs of Width 3

Jiří Šíma, Stanislav Žák

Fundamenta Informaticae

1
2
3
•••
171
10 / page

Article type

Publication date

Subjects

Access