
REDLIB
 Referenced in 5 articles
[sw21175]
 TCTL modelchecking of densetime automata with multiple fairness assumptions. REDLIB uses...

Vcsn
 Referenced in 1 article
[sw21339]
 broadest possible sense: finite automata with multiple tapes — often called transducers then — or even more ... generally finite automata with multiplicity, that is, automata that not only accept sequences of symbols ... framework is the set of automata with multiplicity over any semiring: a general algorithm...

JAFMAS
 Referenced in 4 articles
[sw07882]
 conversations represented by automata models. JAFMAS classes support each agent with multiple threads...

STANSE
 Referenced in 2 articles
[sw26812]
 described in an automatabased formalism, ThreadChecker detects deadlocks among multiple threads, LockChecker finds locking...

mctau
 Referenced in 2 articles
[sw07213]
 formal semantics in terms of stochastic timed automata, an overarching formalism of which several well ... formalism, multiplesolution approach. In this paper, we focus on networks of timed automata...

biXid
 Referenced in 9 articles
[sw12667]
 phases use a variant of finite tree automata for performing a onepass scan ... parse tree and thus results in multiple possible outputs that may have different structures.We have...

SReach
 Referenced in 3 articles
[sw20158]
 uncertainty. The second one is probabilistic hybrid automata with additional randomness for both transition probabilities ... additional benchmarks for nonlinear hybrid systems with multiple probabilistic system parameters...

countmotif
 Referenced in 1 article
[sw14363]
 number of reads which are combined using multiple alignment techniques to produce sequences. During this ... sequences. An algorithm based on Deterministic Finite Automata (DFA) and Markov Chain Embedding...

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

AUTOMATE
 Referenced in 12 articles
[sw00059]
 AUTOMATE, a computing package for automata and finite...

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

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

FAST16
 Referenced in 5 articles
[sw00262]
 FAST16: A software program for factorizing polynomials over...

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

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

gmp
 Referenced in 231 articles
[sw00363]
 GMP is a free library for arbitrary precision...

LANGAGE
 Referenced in 34 articles
[sw00501]
 LANGAGE: A Maple package for automaton characterization of...

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

MapReduce
 Referenced in 201 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

MARCA
 Referenced in 30 articles
[sw00547]
 MARCA: Markov chain analyzer, a software package for...