
SATLIB
 Referenced in 57 articles
[sw02107]
 collecting SAT problem instances, algorithms, and empirical characterisations of the algorithms’ performance...

SafeDpi
 Referenced in 13 articles
[sw01989]
 natural contextually defined behavioural equivalence can be characterised coinductively, using bisimulations based on typed actions ... characterisation is based on the idea of knowledge acquisition by a testing environment and makes...

CoALP
 Referenced in 17 articles
[sw16105]
 dialect, CoALP, of logic programming, characterised by guarded lazy corecursion and parallelism...

Petruchio
 Referenced in 15 articles
[sw04394]
 process creation. The property of structural stationarity characterises the processes mapped to finite nets...

ileanCoP
 Referenced in 15 articles
[sw09757]
 calculus is based on a clausal matrix characterisation for intuitionistic logic, which we prove correct...

TAS
 Referenced in 11 articles
[sw04900]
 calculi and transformation systems. The calculi are characterised by a certain class of theorems...

COCA
 Referenced in 8 articles
[sw05004]
 from the lack of information about the characterising number of extreme points of the error...

Konclude
 Referenced in 8 articles
[sw12474]
 ontologies. The supported ontology language is formally characterised by the Description Logic (DL) SROIQV...

Helanal
 Referenced in 5 articles
[sw29681]
 helices from the PDB files and then characterises the overall geometry of each helix ... program can also be used to characterise the helix start and end as well...

CVPP
 Referenced in 7 articles
[sw00179]
 Therefore, CVPP also contains the means to characterise a given behavioural formula...

BioShape
 Referenced in 7 articles
[sw08522]
 phenomena are inherently multiscale, i.e., they are characterised by interactions involving different scales...

ACTLW
 Referenced in 7 articles
[sw21031]
 operators are derived from them. Fixedpoint characterisation of the operators together with symbolic algorithms...

StreamKrimp
 Referenced in 6 articles
[sw28421]
 StreamKrimp algorithm, whichuses the Krimp algorithm to characterise probability distributions with code tables. With these...

MarCaSPiS
 Referenced in 5 articles
[sw06957]
 realtime bounds in the logical characterisation of the behaviours of interest. Moreover, SoSL...

AgsyHOL
 Referenced in 4 articles
[sw13302]
 based on backtracking and is characterised by a typically small search state, making...

OPERAS
 Referenced in 4 articles
[sw30593]
 range of domains, with some of them characterised as mission critical. It is therefore implied...

iisignature
 Referenced in 4 articles
[sw32898]
 vectors calculated from a path that characterise its shape. They come from the theory...

BetaSim
 Referenced in 3 articles
[sw01379]
 simulation modelling is followed by a brief characterisation of Beta and its suitability for work...

ptemcee
 Referenced in 3 articles
[sw26502]
 replacement for emcee.If you’re trying to characterise awkward, multimodal probability distributions, then ptemcee...

PROTEUS
 Referenced in 3 articles
[sw34691]
 applications. Many realistic fluid flow problems are characterised by high Reynolds numbers and complex moving...