
UNITY
 Referenced in 185 articles
[sw13461]
 form of a set of coupled state transition systems. Mechanical methods for mapping the transition ... formal assertions, permitting formal verification of the transition systems, and second into an executable program ... independently verify the correctness of the transition systems: one can specify properties formally that...

GAUSSIAN
 Referenced in 194 articles
[sw06118]
 experimentally such as shortlived intermediates and transition structures...

CafeOBJ
 Referenced in 171 articles
[sw06232]
 firstorder description of underlying state transition systems. By capturing a set of states...

PYTHIA8
 Referenced in 139 articles
[sw09347]
 first main one after this transition, and does not yet in every respect replace...

VisualUTA
 Referenced in 109 articles
[sw16231]
 preorder and a strongly complete and negatively transitive relation. The UTA^GMS method is intended...

StateFlow
 Referenced in 44 articles
[sw04350]
 combine graphical and tabular representations, including state transition diagrams, flow charts, state transition tables...

ASIFT
 Referenced in 34 articles
[sw02778]
 distortions measured by a new parameter, the transition tilt. Stateoftheart methods hardly ... exceed transition tilts of 2 (SIFT), 2.5 (HarrisAffine and HessianAffine) and 10 (MSER ... ASIFT can handle transition tilts up 36 and higher...

msm
 Referenced in 53 articles
[sw08096]
 observed processes, and censored states. Both Markov transition rates and the hidden Markov output process...

REVEAL
 Referenced in 28 articles
[sw36999]
 models of genetic networks. Trajectories, or state transition tables of Boolean nets, resemble time series ... unequivocal and exact for complete state transition tables. We implemented this REVerse Engineering ALgorithm (REVEAL ... element), the analysis of incomplete state transition tables (100 state transition pairs...

Petrify
 Referenced in 26 articles
[sw09784]
 initial Petri net and produces a transition system (TS). In the initial TS, all transitions ... event. The TS is then transformed and transitions relabeled to fulfill the conditions required ... petrify can also be interpreted as Signal Transition Graphs describing the behavior of asynchronous controllers ... application called draw_astg to draw Signal Transition Graphs in several graphic formats...

HDECAY
 Referenced in 45 articles
[sw00401]
 other decay widths are calculated analytically. The transition between offshell and onshell decays...

MANIFOLD
 Referenced in 30 articles
[sw02900]
 transition system semantics for the controldriven coordination language MANIFOLD Coordination languages ... MANIFOLD, based on a twolevel transition system model: the first level is used...

GAMESS
 Referenced in 40 articles
[sw03002]
 gradients are available, for automatic geometry optimization, transition state searches, or reaction path following. Computation...

elsA
 Referenced in 39 articles
[sw07602]
 Large Eddy Simulation (LES). Various transition models are also available for complex geometry configurations. elsA...

FAST
 Referenced in 38 articles
[sw21268]
 FAST: Fast Acceleration of Symbolic Transition Systems. fast is a tool for the analysis...

MCF
 Referenced in 27 articles
[sw05167]
 network simplex implementation: Vehicle scheduling in public transit and Lagrangean pricing This paper investigates ... vehicle scheduling problems arising in public mass transit. We develop a column generation technique that...

Mesquite
 Referenced in 36 articles
[sw10590]
 mesh quality on and near boundaries, Improve transitions across internal boundaries, Align meshes with vector...

SPOT
 Referenced in 25 articles
[sw09473]
 SPOT: an extensible model checking library using transitionbased generalized Büchi automata. SPOT (SPOT produces ... build a model checker. It relies on transitionbased generalized Büchi automata (TGBA) and does...

MARCA
 Referenced in 32 articles
[sw00547]
 large Markov chains and to compute transitent probability distributions of the chain at different times...

GraphLog
 Referenced in 32 articles
[sw20098]
 stratified linear Datalog, first order logic with transitive closure, and nondeterministic logarithmic space (assuming...