
RALib
 Referenced in 2 articles
[sw16256]
 library for active learning algorithms for register automata (a form of extended finite state machines...

Symbolic automata
 Referenced in 5 articles
[sw13262]
 transducers with registers. Constraint solving is used when composing and minimizing automata, and a much...

coneqct
 Referenced in 2 articles
[sw40190]
 emptiness problem for freshregister pushdown automata. An evaluation demonstrates that our tool works well...

DEQ
 Referenced in 0 articles
[sw34234]
 Equivalence Checker for Deterministic Register Automata. Register automata are one of the most studied automata ... present an equivalence checker for deterministic register automata, called DEQ, based on a recent polynomial...

PECANS
 Referenced in 6 articles
[sw02161]
 implement the proposed approach. The developed cellular automata network language (CANL) consists mainly ... periodically defined transformations on polydimensional abstract registers...

CASTREAM
 Referenced in 2 articles
[sw15302]
 Both Hardware and Software. A new Cellular Automata based stream cipher is presented which ... streams. Unlike Nonlinear Feedback Shift Register (NFSR) based nonlinear combiners, it combines ... blocks using parallel evolution of Cellular Automata (CA) and small CA based Sboxes...

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

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

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

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

SageMath
 Referenced in 2033 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

Modula
 Referenced in 197 articles
[sw01224]
 The Modula programming language is a descendant of...

McEliece
 Referenced in 264 articles
[sw02076]
 Practical power analysis attacks on software implementations of...

CSPARQL
 Referenced in 8 articles
[sw02088]
 CSPARQL: a continuous query language for RDF...

BLAST
 Referenced in 129 articles
[sw02937]
 BLAST (Berkeley Lazy Abstraction Software verification Tool) is...

CUDA
 Referenced in 1336 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

SSC2
 Referenced in 9 articles
[sw03430]
 The softwareoriented stream cipher SSC2 SSC2 is...

PVS
 Referenced in 634 articles
[sw03484]
 PVS is a verification system: that is, a...

Daikon
 Referenced in 44 articles
[sw04319]
 The Daikon system for dynamic detection of likely...