
Antichains
 Referenced in 33 articles
[sw20208]
 automata, and the emptiness problem for alternating finite automata...

LTL2BA
 Referenced in 100 articles
[sw10956]
 automata from Linear Time Logic (LTL) formulae. This algorithm generates a very weak alternating...

JPAX
 Referenced in 29 articles
[sw09906]
 driven monitoring process. Alternatively, temporal specifications can be translated into automata or algorithms that...

TravMC2
 Referenced in 5 articles
[sw20008]
 higherorder model checking for alternating parity tree automata. Higherorder model checking ... using trivial tree automata i.e. Buechi tree automata all of whose states are final. Building ... which supports properties specified using alternating parity tree automata (or equivalently monadic second order logic...

ltl3tela
 Referenced in 1 article
[sw37532]
 selfloop alternating automata with generic acceptance and back. Selfloop alternating automata (SLAA) with ... formalisms also known as very weak alternating automata (VWAA). They are often used...

Binary Multirelations
 Referenced in 1 article
[sw32214]
 power set. Applications include alternating automata, models and logics for games, program semantics with dual...

PESTS
 Referenced in 2 articles
[sw35864]
 finitestate automata that can be used as an alternative to natural projection...

MORPHIX
 Referenced in 2 articles
[sw32880]
 presents an alternative approach to the use of the Finite State Automata for morphology...

RE2
 Referenced in 3 articles
[sw10266]
 fast, safe, threadfriendly alternative to backtracking regular expression engines like those used in PCRE ... time on even small inputs. RE2 uses automata theory to guarantee that regular expression searches...

HighSpec
 Referenced in 1 article
[sw09750]
 specifying data structures and Timed Automata’s in modelling dynamic and realtime behaviors, OZTA ... also generate LaTeX document as an alternative media for the spread and read of established...

DyverseRBT
 Referenced in 1 article
[sw41812]
 Automated generation of hybrid automata for multirigidbody mechanical systems and its application ... time. For this purpose, we propose an alternative abstraction of multirigidbody (MRB) mechanical...

ATLAS
 Referenced in 199 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

CGAL
 Referenced in 384 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Cinderella
 Referenced in 153 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...

Dafny
 Referenced in 72 articles
[sw00183]
 Dafny is an imperative objectbased language with...

GAP
 Referenced in 3154 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gfun
 Referenced in 144 articles
[sw00344]
 The gfun package provides tools for determining and...

Grail
 Referenced in 22 articles
[sw00374]
 Grail is a symbolic computation environment for finite...

Magma
 Referenced in 3296 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...